User`s guide

Model Objects That Receive Coverage
16-15
• The number of time steps that each input to a Boolean operator is false (equal to
zero).
If all Boolean operator inputs are false for at least one time step and true for at least one
time step, condition coverage is 100%. Otherwise, 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 Boolean expressions within the Fcn block.
If, during at least one time step, each condition independently sets the output of the
expression to true and if, during at least one time step, each condition independently sets
the output of the expression to false, MCDC coverage is 100%. Otherwise, the software
reports MCDC coverage based on the total number of possible conditions and how many
times each condition independently sets the output to true during at least one time step
and how many conditions independently set the output to false during at least one time
step.
If the Fcn block contains a relational operation and you select the Relational Boundary
coverage metric, the Fcn block receives relational boundary coverage. For more
information, see “Relational Boundary Coverage”.
For Iterator, For Iterator Subsystem
The For Iterator block and For Iterator Subsystem receive decision coverage. The
Simulink Verification and Validation software measures decision coverage for the loop
condition value, which is determined by one of the following:
• The iteration value being at or below the iteration limit, indicated as true.
• The iteration value being above the iteration limit, indicated as false.
The software reports the total number of times that each loop condition evaluates to true
and to false. If the loop condition evaluates to true at least once and false at least once,
decision coverage is 100%. If no loop conditions are true, or if no loop conditions are false,
decision coverage is 50%.
Gain
If you select the Saturate on integer overflow coverage metric, the Gain block receives
saturate on integer overflow coverage. For more information, see “Saturate on Integer
Overflow Coverage”.