User`s guide

Model Objects That Receive Coverage
16-23
Rate Limiter
The Rate Limiter block receives decision coverage. The Simulink Verification and
Validation software reports decision coverage for the Rising slew rate and Falling
slew rate parameters.
For the Rising slew rate, decision coverage measures:
• The number of time steps that the block input changes more than or equal to the
rising rate, indicating a true decision.
• The number of time steps that the block input changes less than the rising rate,
indicating a false decision.
For the Falling slew rate, decision coverage measures:
• The number of time steps that the block input changes less than or equal to the
falling rate, indicating a true decision.
• The number of time steps that the block input changes more than the falling rate,
indicating a false decision.
The software does not measure Falling slew rate coverage for a time step when the
Rising slew rate is true. Therefore, the total number of Falling slew rate decisions
equals the number of time steps that the Rising slew rate 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 Rate Limiter block implicitly compares the derivative of the input signal with
an upper and lower limit value. Therefore, if you select the Relational Boundary
coverage metric, the Rate Limiter block receives relational boundary coverage. For more
information, see “Relational Boundary Coverage”.
Relational Operator
The Relational Operator block receives condition coverage.
Condition coverage measures:
• the number of times that the specified relational operation was true.