User`s guide

Model Coverage for Stateflow Charts
18-59
• Under Previously active substate entered due to history, which substate to
reenter when On re-executes. The history junction records the previously active
substate.
Because each decision can result in either HIGH or NORM, the total possible outcomes
are 3 × 2 = 6. The results indicate that five of six possible outcomes were tested during
simulation.
Cyclomatic complexity and decision coverage also apply to descendants of the On state.
The decision required by the condition [warm()] for the transition from HIGH to NORM
brings the total possible decision outcomes to 8. Condition coverage and MCDC are not
applicable (NA) for a state.
Note: Nodes and edges that make up the cyclomatic complexity calculation have no direct
relationship with model objects (states, transitions, and so on). Instead, this calculation
requires a graph representation of the equivalent control flow.
Transition Details Report Section
Reports for transitions appear under the report sections of their owning objects.
Transitions do not appear in the model hierarchy of the Summary section, since the
hierarchy is based on superstates that own other Stateflow objects.