User`s guide

Model Coverage for Stateflow Charts
18-51
Outcome A B C
8 F F F
For more information, see “Transition Details Report Section” on page 18-59.
MCDC Coverage
The Modified Condition Decision Coverage (MCDC) option reports a test's coverage of
occurrences in which changing an individual subcondition within a transition results in
changing the entire transition trigger expression from true to false or false to true.
Note: If matching true and false outcomes occur for each subcondition, coverage is 100%.
For example, if a transition executes on the condition [C1 & C2 & C3 | C4 & C5],
the MCDC report for that transition shows actual occurrences for each of the five
subconditions (C1, C2, C3, C4, C5) in which changing its result from true to false is
able to change the result of the entire condition from true to false.
Relational Boundary Coverage
If a transition in a Stateflow chart involves a relational operation, it receives relational
boundary coverage. For more information, see “Relational Boundary Coverage”.
Simulink Design Verifier Coverage
You can use the following Simulink Design Verifier functions inside Stateflow charts:
• sldv.condition
• sldv.test
• sldv.assume
• sldv.prove
If you do not have a Simulink Design Verifier license, you can collect model coverage for
a Stateflow chart containing these functions, but you cannot analyze the model using the
Simulink Design Verifier software.