User`s guide

15 Model Coverage Definition
15-8
• Which model objects receive this coverage, see the table in “Model Objects That
Receive Coverage”.
• How to obtain coverage results from the MATLAB command-line, see “Collect
Relational Boundary Coverage for Supported Block in Model”.
Saturate on Integer Overflow Coverage
Saturate on integer overflow coverage examines blocks, such as the Abs block, with the
Saturate on integer overflow parameter selected. Only blocks with this parameter
selected receive saturate on integer overflow coverage.
Saturate on integer overflow coverage records the number of times the block saturates on
integer overflow.
A test case achieves full coverage when the blocks saturate on integer overflow at least
once and does not saturate at least once.
For an example of saturate on integer overflow coverage data in a model coverage report,
see “Saturate on Integer Overflow Analysis” on page 19-41.
Signal Range Coverage
Signal range coverage records the minimum and maximum signal values at each block in
the model, as measured during simulation. Only blocks with output signals receive signal
range coverage.
The software does not record signal range coverage for control signals, signals used by
one block to initiate execution of another block. See “Control Signals”.
If the total number of signals in your model exceeds 65535, or your model contains a
signal whose width exceeds 65535, the software cannot record signal range coverage.
For an example of signal range coverage data in a model coverage report, see “Signal
Range Analysis” on page 19-42.
Note: When you create cumulative coverage for reusable subsystems or Stateflow
constructs with single range coverage, the cumulative coverage has the largest possible
range of signal values. For more information, see “Obtain Cumulative Coverage for
Reusable Subsystems and Stateflow® Constructs”.