User`s guide

16 Model Objects That Receive Model Coverage
16-12
• External reset
• Limit output
If you set External reset to none, the Simulink Verification and Validation software
does not report decision coverage for the reset decision. Otherwise, the decision coverage
measures:
• The number of time steps that the block output is reset, indicating a true decision.
• The number of time steps that the block output is not reset, indicating a false
decision.
If you do not select Limit output, the software does not report decision coverage for that
decision. Otherwise, the software reports decision coverage for the Lower saturation
limit and the Upper saturation limit.
For the Upper saturation limit, decision coverage measures:
• The number of time steps that the integration result is greater than or equal to the
upper limit, indicating a true decision.
• The number of time steps that the integration result is less than the upper limit,
indicating a false decision.
For the Lower saturation limit, decision coverage measures
• The number of time steps that the integration result is less than or equal to the lower
limit, indicating a true decision.
• The number of time steps that the integration result is greater than the lower limit,
indicating a false decision.
For a time step when the upper limit is true, the software does not measure Lower
saturation limit coverage. Therefore, the total number of lower limit decisions equals
the number of time steps that the upper limit is false.
If you select the Saturate on integer overflow coverage metric, the Discrete-Time
Integrator block receives saturate on integer overflow coverage. For more information,
see “Saturate on Integer Overflow Coverage”.
Discrete Transfer Fcn
If you select the Saturate on integer overflow coverage metric, the Discrete Transfer
Fcn block receives saturate on integer overflow coverage. For more information, see
“Saturate on Integer Overflow Coverage”.