User`s guide

Model Objects That Receive Coverage
16-31
100%. The software treats each element of the vector as a separate condition for MCDC
coverage measurement.
Truth Table
The Truth Table block is a Stateflow block that enables you to use truth table logic
directly in a Simulink model. The Truth Table block receives condition, decision, and
MCDC coverage. For more information on model coverage with Stateflow truth tables,
see “Model Coverage for Stateflow Truth Tables”.
Unary Minus
If you select the Saturate on integer overflow coverage metric, the Unary Minus block
receives saturate on integer overflow coverage. For more information, see “Saturate on
Integer Overflow Coverage”. The software treats each element of a vector or matrix as a
separate coverage measurement.
Weighted Sample Time Math
If you select the Saturate on integer overflow coverage metric, the Weighted Sample
Time Math block receives saturate on integer overflow coverage. For more information,
see “Saturate on Integer Overflow Coverage”. The software treats each element of a
vector or matrix as a separate coverage measurement.
While Iterator, While Iterator Subsystem
The While Iterator block and While Iterator Subsystem receive decision coverage.
Decision coverage is measured for the while condition value, which is determined by the
while condition being satisfied (true), or the while condition not being satisfied (false).
Simulink Verification and Validation software reports the total number of times that
each while condition evaluates to true and to false. If the while condition evaluates
to true at least once, and false at least once, decision coverage for the while condition
is 100%. If no while conditions are true, or if no while conditions are false, decision
coverage is 50%.
If the iteration limit is exceeded (true) or is not exceeded (false), the software measures
decision coverage independently. If the iteration limit evaluates to true at least once, and
false at least once, decision coverage for the iteration limit is 100%. If no iteration limits
are true, or if no iteration limits are false, decision coverage is 50%. If you set Maximum