User`s guide

Model Coverage for Stateflow Charts
18-63
Coverage results for state transition tables are the same as coverage results for
equivalent Stateflow charts, except for a slight difference that arises in coverage of
temporal logic. For example, consider the temporal logic expression after(4, tick) in
the Mode Logic chart of the slvnvdemo_covfilt example model.
In chart coverage, the after(4, tick) transition represents two conditions: the
occurrence of tick and the time delay after(4, tick). Since the temporal event tick
is never false, the first condition is not satisfiable, and you cannot record 100% condition
and MC/DC coverage for the transition after(4, tick).
In state transition table coverage, the after(4, tick) transition represents a single
decision, with no subcondition for the occurrence of tick. Therefore, only decision
coverage is recorded.
For state transition tables containing temporal logic decisions, as in the above example,
condition coverage and MC/DC is not recorded.
Model Coverage for Stateflow Atomic Subcharts
In a Stateflow chart, an atomic subchart is a graphical object that allows you to reuse the
same state or subchart across multiple charts and models.
When you specify to record coverage data for a model during simulation, the Simulink
Verification and Validation software records coverage for any atomic subcharts in your
model. The coverage data records the execution of the chart itself, and the execution of
states, transition decisions, and individual conditions that compose each decision in the
atomic subchart.
Simulate the doc_atomic_subcharts_map_iodata example model and record decision
coverage: