User`s guide

16 Model Objects That Receive Model Coverage
16-28
• The number of time steps that the control input evaluates to true.
• The number of time steps the control input evaluates to false.
The number of decision points is based on whether the control input is scalar or vector.
If you select the Saturate on integer overflow coverage metric, the 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.
The Switch block contains an implicit comparison of its second input with a threshold
value. Therefore, if you select the Relational Boundary coverage metric, the Switch
block receives relational boundary coverage. For more information, see “Relational
Boundary Coverage”.
SwitchCase, SwitchCase Action Subsystem
The SwitchCase block and SwitchCase Action Subsystem receive decision coverage. The
Simulink Verification and Validation software measures decision coverage individually
for each switch case defined in the block and also for the default case. The number of
decision outcomes is equal to the number of case conditions plus one for the default
case, if one is defined.
The software reports the total number of time steps that each case evaluates to true. If
each case, including the default case, evaluates to true at least once, decision coverage
is 100%. The software determines the decision coverage by the number of cases that
evaluate true for at least one time step divided by the total number of cases.
If the SwitchCase block does not contain a default case, the software measures decision
coverage for the number of time steps in which none of the cases evaluated to true. In the
coverage report, this coverage is reported as implicit-default.
Test Condition
The Test Condition block receives Simulink Design Verifier coverage. Simulink Design
Verifier coverage is based on the points and intervals defined in the block dialog box.
Simulink Design Verifier coverage measures the number of time steps that each point or
interval defined in the block is satisfied. The total number of objective outcomes is based
on the number of points or intervals defined in the Test Condition block.