User`s guide

16 Model Objects That Receive Model Coverage
16-26
• C++ class templates are not instrumented for coverage.
Saturation
The Saturation block receives decision coverage. The Simulink Verification and
Validation software reports decision coverage for the Lower limit and Upper limit
parameters.
For the Upper limit, decision coverage measures:
• The number of time steps that the block input is greater than or equal to the upper
limit, indicating a true decision.
• The number of time steps that the block input is less than the upper limit, indicating
a false decision.
For the Lower limit, decision coverage measures:
• The number of time steps that the block input is greater than the lower limit,
indicating a true decision.
• The number of time steps that the block input is less than or equal to the lower limit,
indicating a false decision.
The software does not measure Lower limit coverage for a time step when the upper
limit is true. Therefore, the total number of Lower limit decisions equals the number of
time steps that the Upper limit is false.
If at least one time step is true and at least one time step is false, decision coverage for
each of the two individual decisions for the Saturation block is 100%. If no time steps
are true, or if no time steps are false, decision coverage is 50%. The software treats each
element of a vector or matrix as a separate coverage measurement.
The Saturation block contains an implicit comparison of the input with an upper and
lower limit value. Therefore, if you select the Relational Boundary coverage metric,
the Saturation block receives relational boundary coverage. For more information, see
“Relational Boundary Coverage”.
Saturation Dynamic
If you select the Saturate on integer overflow coverage metric, the Saturation
Dynamic block receives saturate on integer overflow coverage. For more information, see