User`s guide

18 Coverage Collection During Simulation
18-62
conditions. Therefore, condition rows 1 and 3 are shaded. While condition 2 has been
tested, conditions 1 and 3 have not and MCDC is 33%.
For some decisions, the values of some conditions are irrelevant under certain
circumstances. For example, in the decision [C1 & C2 & C3 | C4 & C5] the left side
of the | is false if any one of the conditions C1, C2, or C3 is false. The same applies
to the right side result if either C4 or C5 is false. When searching for matching pairs
that change the outcome of the decision by changing one condition, holding some of the
remaining conditions constant is irrelevant. In these cases, the MC/DC report marks
these conditions with an "x" to indicate their irrelevance as a contributor to the result.
These conditions appear as shown.
Consider the first matched pair. Since condition 1 is true in the True outcome column,
it must be false in the matching False outcome column. This makes the conditions C2
and C3 irrelevant for the false outcome since C1 & C2 & C3 is always false if C1 is false.
Also, since the false outcome is required to evaluate to false, the evaluation of C4 & C5
must also be false. In this case, a match was found with C4 = F, making condition C5
irrelevant.
Model Coverage for Stateflow State Transition Tables
State transition tables are an alternative way of expressing modal logic in Stateflow.
Stateflow charts represent modal logic graphically, and state transition tables can
represent equivalent modal logic in tabular form. For more information, see “Tabular
Expression of Modal Logic” in the Stateflow documentation.