User`s guide

Specify Model Coverage Options
17-13
blocks as if the block ignores remaining inputs when the previous inputs alone determine
the block's output. For example, if the first input to a Logical Operator block whose
Operator parameter specifies AND is false, MCDC coverage analysis ignores the values
of the other inputs when determining MCDC coverage for a test case.
If you enable this feature and logic blocks are short-circuited while collecting model
coverage, you may not be able to achieve 100% coverage for that block.
To generate code from a model, select this option. Also select this option for where you
want the MCDC coverage analysis to approximate the degree of coverage that your
test cases achieve for the generated code (most high-level languages short-circuit logic
expressions).
Note: A test case that does not achieve full MCDC coverage for non-short-circuited logic
expressions might achieve full coverage for short-circuited expressions.
Warn when unsupported blocks exist in model
Select this option to warn you at the end of the simulation that the model contains blocks
that require coverage analysis but are not currently covered by the tool.
Force block reduction off
To achieve faster execution during model simulation and in generated code, in the
Configuration Parameters dialog box, on the Optimization pane, enable the Block
reduction parameter. The Simulink software collapses certain groups of blocks into a
single, more efficient block, or removes them entirely.
One of the model coverage options, Force block reduction off, allows you to ignore the
Block reduction parameter when collecting model coverage.
If you do not enable the Block reduction parameter, or if you select Force block
reduction off, the Simulink Verification and Validation software provides coverage data
for every block in the model that collects coverage.
If you enable the Block reduction parameter and do not set Force block reduction
off, the coverage report lists the reduced blocks that would have collected coverage.
The model coverage report identifies any reduced blocks. For an example of a reduced
blocks report, see “Block Reduction” on page 19-36.