User`s guide

Model Objects That Receive Coverage
16-21
In the Coverage Settings dialog box, select the referenced models for which you want to
report coverage. The software generates a coverage report for each referenced model you
select.
If your model contains multiple instances of the same referenced model, the software
records coverage for all instances of that model where the simulation mode of the Model
block is set to Normal. The coverage report for that referenced model combines the
coverage data for all Normal mode instances of that model.
The coverage reports for referenced models are linked from a summary report for the
parent model.
Note: For details on how to select referenced models to report coverage, see “Coverage for
referenced models” on page 17-4.
Multiport Switch
The Multiport Switch block receives decision coverage based on passing each input,
excluding the first control input, to the output of the block.
For decision coverage based on passing each input, excluding the first control input, to
the output of the block, the coverage measures the number of time steps that each input
is passed to the block output. The number of decision points is based on the number of
inputs to the block and whether the control input is scalar or vector.
If all inputs, excluding the first control input, are passed to the block output for at least
one time step, decision coverage is 100%. Otherwise, the Simulink Verification and
Validation software reports coverage as the number of inputs passed to the output during
at least one time step, divided by the total number of inputs minus one.
If you select the Saturate on integer overflow coverage metric, the Multiport Switch
block receives saturate on integer overflow coverage. For more information, see “Saturate
on Integer Overflow Coverage”. The software treats each element of a vector or matrix as
a separate coverage measurement.
PID Controller, PID Controller (2 DOF)
If you select the Saturate on integer overflow coverage metric, the PID Controller
and PID Controller (2 DOF) blocks receive saturate on integer overflow coverage. For