User`s guide

Model Objects That Receive Coverage
16-29
If all points and intervals defined in the block are satisfied for at least one time step,
Simulink Design Verifier coverage is 100%. Otherwise, the Simulink Verification and
Validation software reports coverage as the number of points and intervals satisfied
during at least one time step, divided by the total number of points and intervals defined
for the block.
Test Objective
The Test Objective block receives Simulink Design Verifier coverage. Simulink Design
Verifier coverage is based on the points and intervals defined in the block dialog box.
Simulink Design Verifier coverage measures the number of time steps that each point or
interval defined in the block is satisfied. The total number of objective outcomes is based
on the number of points or intervals defined in the Test Objective block.
If all points and intervals defined in the block are satisfied for at least one time step,
Simulink Design Verifier coverage is 100%. Otherwise, the Simulink Verification and
Validation software reports coverage as the number of points and intervals satisfied
during at least one time step, divided by the total number of points and intervals defined
for the block.
Triggered Models
A Model block can reference a model that contains edge-based trigger ports at the root
level of the model. Triggered models receive decision, condition, and MCDC coverage.
Decision coverage measures:
• The number of time steps that the referenced model is triggered, indicating a true
decision.
• The number of time steps that the referenced model 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 for
the Model block that references the triggered model is 100%. If no time steps are true, or
if no time steps are false, decision coverage is 50%.
Only if the trigger input is a vector, the Simulink Verification and Validation software
measures condition coverage for the trigger port in the referenced model. For the trigger
port, condition coverage measures:
• The number of time steps that each element of the trigger port is true.