User`s guide

18 Coverage Collection During Simulation
18-66
Model Coverage for Stateflow Truth Tables
• “Types of Coverage in Stateflow Truth Tables” on page 18-66
• “Analyze Coverage in Stateflow Truth Tables” on page 18-66
Types of Coverage in Stateflow Truth Tables
Simulink Verification and Validation software reports model coverage for the decisions
the objects make in a Stateflow chart during model simulation. The report includes
coverage for the decisions the truth table functions make.
For this type of truth
table...
The report includes coverage data for...
Stateflow Classic Conditions only.
MATLAB Conditions and only those actions that have decision points.
Note: With the MATLAB for code generation action language,
you can specify decision points in actions using control flow
constructs, such as loops and switch statements.
Note: To measure model coverage data for a Stateflow truth table, you must have a
Stateflow license. For more information about Stateflow truth tables, see “Decision Logic”
in the Stateflow documentation.
Analyze Coverage in Stateflow Truth Tables
If you have a Stateflow license, you can generate a model coverage report for a truth
table.
Consider the following model.