Collect Coverage for Models
Measure coverage for models, identify untested elements of your design
Collect coverage during simulation to measure which elements in your model or Stateflow® charts are tested. Simulink® Coverage™ measures several types of coverage, such as execution, decision, condition, and modified condition/decision coverage. The most basic coverage level determines whether an item executes during simulation, while more extensive coverage levels determine whether individual logical conditions are fully exercised and independently affect the output of logical expressions.
Functions
Topics
Model Coverage Definitions
- Model Coverage
Validate your model tests by measuring how thoroughly the model objects are tested. - Types of Model Coverage
Model coverage metrics provided by Simulink Coverage. - Modified Condition and Decision Coverage (MCDC) Definitions in Simulink Coverage
Describes the definitions of MCDC coverage available for use in Simulink Coverage. - Modified Condition and Decision Coverage in Simulink Design Verifier
Describes the difference between MCDC coverage in Simulink Design Verifier™ and in Simulink Coverage.
Using Model Coverage
- Use Simulink Coverage to Analyze Your Model
Learn the basic Simulink Coverage workflow. - Generate Coverage Results for Models
Choose one of several methods to analyze a model and generate coverage results. - Specify Coverage Options
In the model settings, specify several coverage analysis options. - Model Objects That Receive Coverage
Model objects that receive model coverage during simulation. - Model Objects That Do Not Receive Coverage
Simulink objects that do not receive coverage. - Automating Model Coverage Tasks
Automate model coverage analysis using MATLAB® commands. - Model Coverage for Multiple Instances of a Referenced Model
Collect model coverage when a model has multiple Model blocks that reference the same model. - Obtain Cumulative Coverage for Reusable Subsystems
Create and view cumulative coverage results for a model with a reusable subsystem. - Model Coverage for Variant Blocks
Learn how Simulink Coverage displays coverage results for Simulink variants. - Simulink Optimizations and Model Coverage
Learn how inlined parameters, block reduction, and conditional input branch execution can affect your model coverage data. - Coverage Settings
Specify the Simulink Coverage analysis options. - Collect Relational Boundary Coverage for MinMax Block
This example shows how to view and interpret relational boundary coverage results for a MinMax block in three different cases.
Model Coverage for Stateflow Charts
- Model Coverage for Stateflow Charts
Describes the definition of coverage for elements in Stateflow charts. - Types of Coverage for Stateflow Charts
Describes the coverage metrics you can collect for Stateflow charts. - Model Coverage for Stateflow Atomic Subcharts
Coverage behavior when your model contains Stateflow atomic subcharts. - Model Coverage Display for Stateflow Charts
Interpret the colored model highlighting for Stateflow charts. - Model Coverage for Stateflow Truth Tables
Coverage behavior when your model contains Stateflow truth tables.