User`s guide

18 Coverage Collection During Simulation
18-70
Note: See “How Stateflow Generates Content for Truth Tables” for a description of the
graphical function for a truth table.
Coverage for the decisions and their individual conditions in the ttable truth table
function are as follows.
Coverage Explanation
No model coverage for the default
decision, D5
All logic that leads to taking a default decision
is based on a false outcome for all preceding
decisions. This means that the default
decision requires no logic, so there is no model
coverage.
13% (1/8) decision coverage The three constants that are inputs to the
truth table (1, 0, 0) cause only decision D1 to
be true. These inputs satisfy only one of the
eight decisions (D1 through D4, T or F).
Because each condition can have an outcome
value of T or F, three conditions can have six
possible values. However, decision D4 has
only decision coverage, not condition coverage
or MCDC coverage, because it represents a
decision with a single predicate.
3 of the 18 (17%) condition coverage Three decisions D1, D2, and D3 have
condition coverage, because the set of inputs
(1, 0, 0) make only decision D1 true.
No (0/9) MCDC coverage MCDC coverage looks for decision reversals
that occur because one condition outcome
changes from T to F or F to T. The simulation
tests only one set of inputs, so the model
reverses no decisions.
Missing coverage The red letters T and F indicate that model
coverage is missing for those conditions. For
decision D1, only the T decision is satisfied.
For decisions D2, D3, and D4, none of the
conditions are satisfied.