Stateflow

Stateflow Chart Model Coverage

The Model Coverage tool helps you to validate your model tests by measuring model coverage for your tests.

Model coverage is a measure of how thoroughly a model is tested. The Model Coverage tool 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.

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.

Noncyclic Behavior Flagged as a Cyclic Example

Making Model Coverage Reports