Understanding Model Coverage for Stateflow Charts :: Debugging and Testing (Stateflow User's Guide)

Stateflow User's Guide

Understanding Model Coverage for Stateflow Charts

Model coverage is a measure of how thoroughly a model is tested. The Model Coverage tool helps you to validate your model tests by measuring model coverage for your tests. It determines the extent to which a model test case exercises simulation control flow paths through a model. The percentage of paths that a test case exercises is called its model coverage.

Note The Model Coverage tool requires a Simulink Verification and Validation license.

For an understanding of how to generate and interpret model coverage reports for your Stateflow charts, see the following topics:

Making Model Coverage Reports -- Gives you an overview of how model coverage reports are generated and how they are interpreted.
Specifying Coverage Report Settings -- Gives you the settings you need to specify for each available model coverage report option.
Cyclomatic Complexity -- Explains the cyclomatic complexity results you see on model coverage reports.
Decision Coverage -- Explains the decision coverage results you see on model coverage reports if you select it for the report.
Condition Coverage -- Explains the condition coverage results you see on model coverage reports if you select it for the report.
MCDC Coverage -- Explains the MCDC (modified condition decision coverage) results you see on model coverage reports if you select it for the report.
Coverage Reports for Stateflow Charts -- Describes different parts of a model coverage report for Stateflow charts.
Colored Stateflow Diagram Coverage Display -- Describes an option for displaying model coverage information directly in Stateflow diagrams with context-sensitive access.

Stateflow provides model coverage for other Stateflow objects that incorporate logical decisions in the following sections:

Using a Floating Scope to Monitor Data Values and State Activity Making Model Coverage Reports