User`s guide

Model Objects That Receive Coverage
16-17
increasing white-to-green color scale, with six evenly spaced data ranges starting with
zero, indicates the number of time steps that the software measures each interpolation or
extrapolation point.
The software determines a percentage of total coverage by measuring the total
interpolation and extrapolation points that achieve a measurement of at least one time
step during simulation between a break point or beyond the end points.
If you select the Saturate on integer overflow, the Interpolation Using Prelookup
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.
Library-Linked Objects
Simulink blocks and Stateflow charts that are linked to library objects receive the same
coverage that they would receive if they were not linked to library objects. The Simulink
Verification and Validation software records coverage individually for each library object
in the model. If your model contains multiple instances of the same library object, each
instance receives its own coverage data.
Logical Operator
The Logical Operator block receives condition and MCDC coverage. The Simulink
Verification and Validation software measures condition coverage for each input to the
block. The condition coverage measures:
• The number of time steps that each input is true (not equal to zero).
• The number of time steps that each input is false (equal to zero).
If all block inputs are false for at least one time step and true for at least one time step,
the software condition coverage is 100%. Otherwise, the software reports the condition
coverage based on the total number of possible conditions and how many are true at least
one time step and how many are false at least one time step.
The software measures MCDC coverage for all inputs to the block. If, during at least
one time step, each condition independently sets the output of the block to true and
if, during at least one time step, each condition independently sets the output of the
block to false, MCDC coverage is 100%. Otherwise, the software reports the MCDC
coverage based on the total number of possible conditions and how many times each one