User`s guide

Model Coverage for Stateflow Charts
18-47
For analysis purposes, each chart counts as a single component.
Decision Coverage
Decision coverage interprets a model execution in terms of underlying decisions where
behavior or execution must take one outcome from a set of mutually exclusive outcomes.
Note: Full coverage for an object of decision means that every decision has had at least
one occurrence of each of its possible outcomes.
Decisions belong to an object making the decision based on its contents or properties.
The following table lists the decisions recorded for model coverage for the Stateflow
objects owning them. The sections that follow the table describe these decisions and their
possible outcomes.
Object Possible Decisions
Chart If a chart is a triggered Simulink block, it must decide whether or not to
execute its block.
If a chart contains exclusive (OR) substates, it must decide which of its
states to execute.
State If a state is a superstate containing exclusive (OR) substates, it must
decide which substate to execute.
If a state has on event name actions (which might include temporal
logic operators), the state must decide whether or not to execute the
actions.
Transition If a transition is a conditional transition, it must decide whether or
not to exit its active source state or junction and enter another state or
junction.
Chart as a Triggered Simulink Block Decision
If the chart is a triggered block in a Simulink model, the decision to execute the block
is tested. If the block is not triggered, there is no decision to execute the block, and the
measurement of decision coverage is not applicable (NA).