User`s guide

16 Model Objects That Receive Model Coverage
16-24
• the number of times that the specified relational operation was false.
The Relational Operator block contains a comparison between its inputs. Therefore, if
you select the Relational Boundary coverage metric, the Relational Operator block
receives relational boundary coverage. For more information, see “Relational Boundary
Coverage”.
Relay
The Relay block receives decision coverage. The Simulink Verification and Validation
software reports decision coverage for the Switch on point and the Switch off point
parameters.
For the Switch on point, decision coverage measures:
• The number of consecutive time steps that the block input is greater than or equal to
the Switch on point, indicating a true decision.
• The number of consecutive time steps that the block input is less than the Switch on
point, indicating a false decision.
For the Switch off point, decision coverage measures:
• The number of consecutive time steps that the block input is less than or equal to the
Switch off point, indicating a true decision.
• The number of consecutive time steps that the block input is greater than the Switch
off point, indicating a false decision.
The software does not measure Switch off point coverage for a time step when the
switch on threshold is true. Therefore, the total number of Switch off point decisions
equals the number of time steps that the Switch on point 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 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 Relay block contains an implicit comparison of its second input with a threshold
value. Therefore, if you select the Relational Boundary coverage metric, the Relay
block receives relational boundary coverage. For more information, see “Relational
Boundary Coverage”.