User`s guide

16 Model Objects That Receive Model Coverage
16-14
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 software measures condition coverage for the enable input and for the trigger input
separately:
• For the enable input, condition coverage measures the number of time steps the
enable input is true and the number of time steps the enable input is false.
• For the trigger input, condition coverage measures the number of time steps the
trigger edge occurs, indicating true, and the number of time steps the trigger edge
does not occur, indicating false.
The software reports condition coverage based on the total number of possible conditions
and how many conditions are true for at least one time step and how many are false
for at least one time step. The software treats each element of a vector as a separate
condition coverage measurement.
The software measures MCDC coverage for the enable input and for the trigger input in
combination. Because the enable input of the subsystem is an AND of these two inputs,
MCDC coverage is 100% if all of the following occur:
• During at least one time step, both inputs are true.
• During at least one time step, the enable input is true and the trigger edge is false.
• During one time step, the enable input is false and the trigger edge is true.
The software treats each vector element as a separate MCDC coverage measurement. It
measures each trigger edge element against each enable input element. However, if the
number of elements in both the trigger and enable inputs exceeds 12, the software does
not report MCDC coverage.
Fcn
The Fcn block receives condition and MCDC coverage. The Simulink Verification and
Validation software reports condition or MCDC coverage for Fcn blocks only if the top-
level operator is Boolean (&&, ||, or !).
Condition coverage is based on input values or arithmetic expressions that are inputs to
Boolean operators in the block. The condition coverage measures:
• The number of time steps that each input to a Boolean operator is true (not equal to
zero).