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

expand all

Collect Model Coverage

`sim`	Run and script programmatic simulations of Simulink models
`cvtest`	Create model coverage test specification object
`cvsim`	Simulate and return model coverage results for test objects
`cvdata`	Access Simulink Coverage data in the MATLAB workspace
`cvexit`	Exit coverage environment
`parsim`	Simulate dynamic system multiple times in parallel or serial

Verify Individual Components

`slvnvlogsignals`	Log test data for component or model during simulation
`slvnvmergedata`	Combine test data from data files
`slvnvmakeharness`	Generate Simulink Coverage harness model
`slvnvharnessopts`	Generate default options for `slvnvmakeharness`
`slvnvmergeharness`	Combine test data from harness models
`slvnvruntest`	Simulate model by using input data
`slvnvruncgvtest`	Use Code Generation Verification (CGV) API to execute model
`slvnvruntestopts`	Generate simulation or execution options for `slvnvruntest` or `slvnvruncgvtest`
`slvnvextract`	Extract atomic subsystem or subchart contents into new model

Model Settings

expand all

Coverage Metrics

Enable coverage analysis	Analyze coverage
Scope of coverage analysis	Set scope of coverage analysis
Select Models	Select models to include in coverage analysis
Select Subsystem	Select subsystem to include in coverage analysis
Include in analysis: MATLAB files	Enable coverage for external MATLAB files
Include in analysis: C/C++ S-functions	Analyze coverage for C/C++ S-Function blocks
Structural coverage level	Types of coverage to analyze
Lookup table	Enable lookup table coverage
Signal range	Enable signal range coverage
Signal size	Enable signal size coverage
Objectives and constraints	Enable objectives and constraints coverage
Saturation on integer overflow	Enable saturation on integer overflow coverage
Relational boundary	Enable relational boundary coverage
Relational boundary coverage absolute tolerance	Relational boundary coverage absolute tolerance
Relational boundary coverage relative tolerance	Relational boundary coverage relative tolerance

Coverage Options

Restrict coverage recording interval	Analyze coverage during a specific time interval
Coverage interval start time	Simulation time to begin coverage analysis
Coverage interval stop time	Simulation time to stop coverage analysis
Force block reduction off	Analyze coverage for every supported block in model
Treat Simulink logic blocks as short-circuited	Use logical short-circuiting during coverage analysis
MCDC mode	Modified condition decision coverage analysis mode
Warn when unsupported blocks exist in model	Display a warning if Simulink Coverage detects unsupported blocks
Coverage metric settings	Coverage metrics to analyze
Record coverage for this model	Record coverage during simulation
Record coverage for referenced models	Analyze coverage for referenced models
Include top model	Include top-level model in coverage analysis
Exclude inactive choices of variants	Exclude inactive choices of variants (Since R2022a)
Update coverage results on pause	Update coverage results on pause
Save output data	Save coverage data results to file

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.
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 signal size configurations.

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.

Featured Examples

Cumulative Coverage Analysis

Illustrates the use of the Coverage Results Explorer to simplify the generation of cumulative coverage data and reports spanning a set of multiple coverage runs.

Open Script

Record Coverage in Parallel Simulations by Using Parsim

Record coverage in multiple parallel Simulink® simulations corresponding to different test cases by using SimulationInput objects and the parsim command. If Parallel Computing Toolbox is installed on your system, the parsim command runs simulations in parallel. Otherwise, the simulations are run in serial.

Open Script