User`s guide

Model Objects That Receive Coverage
16-13
Dot Product
If you select the Saturate on integer overflow coverage metric, the Dot Product block
receives saturate on integer overflow coverage. For more information, see “Saturate on
Integer Overflow Coverage”.
Enabled Subsystem
The Enabled Subsystem block receives decision, condition, and MCDC coverage.
Decision coverage measures:
• The number of time steps that the block is enabled, indicating a true decision.
• The number of time steps that the block is disabled, indicating a false decision.
If at least one time step is true and at least one time step is false, decision coverage is
100%. If no time steps are true, or if no time steps are false, decision coverage is 50%.
The Simulink Verification and Validation software measures condition coverage for the
enable input only if the enable input is a vector. For the enable input, condition coverage
measures the number of time steps each element of the enable input is true and the
number of time steps each element of the enable input is false. The software reports
condition coverage based on the total number of possible conditions and how many are
true for at least one time step and how many are false for at least one time step.
The software measures MCDC coverage for the enable input only if the enable input
is a vector. Because the enable of the subsystem is an OR of the vector inputs, MCDC
coverage is 100% if, during at least one time step, each vector enable input is exclusively
true and if, during at least one time step, all vector enable inputs are false. For MCDC
coverage measurement, the software treats each element of the vector as a separate
condition.
Enabled and Triggered Subsystem
The Enabled and Triggered Subsystem block receives decision, condition, and MCDC
coverage. Decision coverage measures:
• The number of time steps that a trigger edge occurs while the block is enabled,
indicating a true decision.
• The number of time steps that a trigger edge does not occur while the block is
enabled, or the block is disabled, indicating a false decision.