User`s guide

16 Model Objects That Receive Model Coverage
16-20
Math Function
If you select the Saturate on integer overflow coverage metric, the Math Function
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.
MATLAB Function
For information about the type of coverage that the Simulink Verification and Validation
software reports for the MATLAB Function block, see “Model Coverage for MATLAB
Functions” on page 18-20.
MinMax
The MinMax block receives decision coverage based on passing each input to the output
of the block.
For decision coverage based on passing each input to the output of the block, the coverage
measures the number of time steps that the simulation passes each input to the block
output. The number of decision points is based on the number of inputs to the block and
whether they are scalar, vector, or matrix.
If all inputs are passed to the block output for at least one time step, the Simulink
Verification and Validation software reports the decision coverage as 100%. Otherwise,
the software reports the coverage as the number of inputs passed to the output during at
least one time step, divided by the total number of inputs.
If you select the Saturate on integer overflow coverage metric, the MinMax 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.
Model
The Model block does not receive coverage directly; the model that the block references
receives coverage. If the simulation mode for the referenced model is set to Normal, the
Simulink Verification and Validation software reports coverage for all objects within the
referenced model that receive coverage. If the simulation mode is set to a value other
than Normal, the software cannot measure coverage for the referenced model.