User`s guide

16 Model Objects That Receive Model Coverage
16-30
• The number of time steps that each element of the trigger port 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.
If the trigger port is a vector, the software measures MCDC coverage for the trigger port
only. Because the trigger port of the referenced model is an OR of the vector inputs, if,
during at least one time step, each vector trigger port is exclusively true and if, during at
least one time step, all vector trigger port inputs are false, MCDC coverage is 100%. The
software treats each element of the vector as a separate condition for MCDC coverage
measurement.
Triggered Subsystem
The Triggered Subsystem block receives decision, condition, and MCDC coverage.
Decision coverage measures:
• The number of time steps that the block is triggered, indicating a true decision.
• The number of time steps that the block is not triggered, 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
trigger input only if the trigger input is a vector. For the trigger input, condition coverage
measures:
• The number of time steps that each element of the trigger edge is true.
• The number of time steps that each element of the trigger edge 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.
If the trigger input is a vector, the software measures MCDC coverage for the trigger
input only. Because the trigger edge of the subsystem is an OR of the vector inputs, if,
during at least one time step, each vector trigger edge input is exclusively true and if,
during at least one time step, all vector trigger edge inputs are false, MCDC coverage is