User`s guide

16 Model Objects That Receive Model Coverage
16-10
Data Type Conversion
If you select the Saturate on integer overflow coverage metric, the Data Type
Conversion block receives saturate on integer overflow coverage. For more information,
see “Saturate on Integer Overflow Coverage”.
Dead Zone
The Dead Zone block receives decision coverage. The Simulink Verification and
Validation software reports decision coverage for these parameters:
• Start of dead zone
• End of dead zone
The Start of dead zone parameter specifies the lower limit of the dead zone. For the
Start of dead zone parameter, decision coverage measures:
• The number of time steps that the block input is greater than or equal to the lower
limit, indicating a true decision.
• The number of time steps that the block input is less than the lower limit, indicating a
false decision.
The End of dead zone parameter specifies the upper limit of the dead zone. For the
End of dead zone, decision coverage measures:
• The number of time steps that the block input is greater than the upper limit,
indicating a true decision.
• The number of time steps that the block input is less than or equal to the upper limit,
indicating a false decision.
When the upper limit is true, the software does not measure Start of dead zone
coverage for that time step. Therefore, the total number of Start of dead zone decisions
equals the number of time steps that the End of dead zone is false.
If you select the Saturate on integer overflow coverage metric, the Dead Zone block
receives saturate on integer overflow coverage. For more information, see “Saturate on
Integer Overflow Coverage”.
The Dead Zone 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 Dead Zone block receives relational boundary coverage. For more information, see
“Relational Boundary Coverage”.