Main Content

Coverage Settings

Basic Coverage Settings

Coverage Pane Overview

Specify the Simulink® Coverage™ analysis options.

Enable coverage analysis

Enable coverage analysis. See Specify Coverage Options.

Settings

On

Coverage data is collected during simulation.

Off (default)

Coverage data is not collected during simulation.

Command-Line Information

Parameter: CovEnable
Type: Character vector or string
Value: 'on'|'off'
Default: 'off'

Scope of coverage analysis

Specify whether the analysis must collect coverage data for the entire system, or a specific referenced model, Observer model or subsystem.

Settings

Entire System (default)

Coverage data is collected for the top-level model, as well as all supported subsystems and model references.

Referenced Models

Coverage data is collected for one or more referenced models. To specify the referenced models, use the parameter Select Models. You can also specify the top-level model itself.

Subsystem

Coverage data is collected for a specific subsystem. To specify a subsystem, use the parameter Select Subsystem.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovScope
Type: Character vector or string
Value: 'EntireSystem' | 'ReferencedModels' | 'Subsystem'
Default: 'EntireSystem'

Select Models

Specify the referenced models for which you want coverage.

Settings.  In the Select Models for Coverage Analysis dialog box, select the referenced models and Observer models for which you want coverage. You can also select the top-level model. The icon next to the model name indicates the simulation mode: Normal, SIL, or PIL. Only Observer models in Normal mode are analyzed for coverage.

Dependency.  To enable this parameter, select:

Command-Line Information

Note

Unlike in the user interface, on the command line, you exclude models from coverage instead of including them.

Parameter: CovModelRefExcluded
Type: Character vector or string
Value: Comma-separated list of model names, for instance, 'mRefA, mRefB, mRefC'. If the same model is referenced in two simulation modes, you can distinguish between them using :, for instance, 'mRefA:normal, mRefA:sil'.
Default: ''

Select Subsystem

Specify the path to the subsystem for which Simulink Coverage collects coverage data. Specify the path relative to the top model.

Settings.  Select the subsystem for which you want coverage.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovPath
Type: Character vector or string
Value: Path to subsystem relative to (and excluding) the top-level Simulink system, for instance, 'Subsys1/subsys2'
Default: '/'. Coverage data is reported for the entire system.

Record coverage for MATLAB files

Enable coverage for MATLAB® functions in external MATLAB files. The functions can be invoked from MATLAB Function blocks or Stateflow® charts in your model. See Model Coverage for MATLAB Functions.

Settings

On (default)

Coverage data is collected for MATLAB functions in external MATLAB files. The functions can be called from MATLAB Function blocks or Stateflow charts in the model.

Off

Coverage data is not collected for external MATLAB files.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovExternalEMLEnable
Type: Character vector or string
Value: 'on'|'off'
Default: 'on'

Record coverage for C/C++ S-functions

Enable coverage for C/C++ code in S-Function blocks in your model. See also Coverage for Custom C/C++ Code in Simulink Models.

Settings

On (default)

Coverage data is collected for C/C++ code in S-Function blocks in the model.

Off

Coverage data is not collected for C/C++ code used in the model.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovSFcnEnable
Type: Character vector or string
Value: 'on'|'off'
Default: 'on'

Structural coverage level

Select the type of coverage data collected. See also Types of Model Coverage.

Settings

Decision (default)

The analysis computes decision coverage during simulation

Decision coverage analysis checks blocks that perform an action based on whether an operation evaluates to true or false. For instance, the Abs block first evaluates if the input is less than zero and acts accordingly. For each operation that can evaluate to true or false, the analysis reports what fraction of the outcomes was true during simulation and what fraction was false.

See Decision Coverage (DC).

Condition/Decision

The analysis computes condition and decision coverage during simulation.

Condition coverage analysis checks blocks that output a logical combination of their inputs (such as Logical Operator blocks). For each block, the analysis records what fraction of the inputs was true during simulation and what fraction was false.

See Condition Coverage (CC).

Modified Condition/Decision Coverage (MCDC)

The analysis computes Modified Condition/Decision Coverage (MCDC) during simulation.

See Modified Condition/Decision Coverage (MCDC).

Block Execution

The analysis checks if each block executes at least once during simulation.

See Execution Coverage (EC).

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovMetricStructuralLevel
Type: Character vector or string
Value: 'BlockExecution' | 'ConditionDecision' | 'Decision' | 'MCDC'
Default: 'Decision'

Lookup table

Enable lookup table coverage. See Types of Model Coverage.

Settings

On

Blocks with lookup tables are checked for coverage. A test case achieves full coverage of a lookup table if it executes each interval of the table at least once.

Off (default)

Lookup table coverage is not recorded.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovMetricLookupTable
Type: Character vector or string
Value: 'on'|'off'
Default: 'off'

Signal range

Enable signal range coverage. See Types of Model Coverage.

Settings

On

Maximum and minimum signal values are recorded for each block that has an output signal.

Off (default)

Signal range information is not recorded.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovMetricSignalRange
Type: Character vector or string
Value: 'on'|'off'
Default: 'off'

Signal size

Enable signal size coverage. See Types of Model Coverage.

Settings

On

Maximum, minimum and allocated signal size are recorded for each block that has a variable-size output signal. See Variable-Size Signal Basics.

Off (default)

Signal size information is not recorded.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovMetricSignalSize
Type: Character vector or string
Value: 'on'|'off'
Default: 'off'

Objectives and constraints

Enable coverage of objectives and constraints specified in Simulink Design Verifier™ blocks. See Types of Model Coverage.

Settings

On

Through Simulink Design Verifier blocks, you can specify objectives and constraints in your model. To check if these objectives are satisfied, you first generate test cases using these blocks. You can execute these test cases on the original model and record whether the specified objective was satisfied at least once. To record this coverage, enable this parameter.

For an example, see Simulink Design Verifier Coverage.

Off (default)

Coverage information is not recorded for Simulink Design Verifier blocks.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovMetricObjectiveConstraint
Type: Character vector or string
Value: 'on'|'off'
Default: 'off'

Saturation on integer overflow

Enable saturation on integer overflow coverage. See Types of Model Coverage.

Settings

On

For certain blocks, such as the Abs block, you can specify that they must saturate on integer overflow. If you enable this parameter, the number of times these blocks saturate during simulation is recorded.

Off (default)

Saturation on integer overflow information is not recorded.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovMetricSaturateOnIntegerOverflow
Type: Character vector or string
Value: 'on'|'off'
Default: 'off'

Relational boundary

Enable relational boundary coverage. See Types of Model Coverage.

Settings

On

Certain blocks such as the Relational Operator or If block use a relational operation. If you enable this parameter, the coverage analysis checks if these operations are executed with equal (integer) or almost equal (floating-point) values.

Off (default)

Relational boundary coverage information is not recorded.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovMetricRelationalBoundary
Type: Character vector or string
Value: 'on'|'off'
Default: 'off'

Relational boundary coverage absolute tolerance

Specify the value of absolute tolerance for relational boundary coverage. See Relational Boundary Coverage.

Settings.  Enter a floating-point value. See Floating-Point Numbers.

Relational boundary coverage checks blocks with relational operations (such as the Relational Operator block). The analysis checks if the operations are executed with floating-point operands that differ by at most this value.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovBoundaryAbsTol
Type: Floating-point number
Value: Absolute tolerance value such as 1e-06
Default: 1e-05

Relational boundary coverage relative tolerance

Specify the value of relative tolerance for relational boundary coverage. See Relational Boundary Coverage.

Settings.  Enter a number less than 1.

Relational boundary coverage checks blocks with relational operations (such as the Relational Operator block). The analysis checks if the operations are executed with floating-point operands that differ by at most this fraction of the operands.

For instance, if you enter 0.01, the analysis checks if an operation lhs < = rhs in your model is executed with operands that differ by at most:

0.01 * max(|lhs|,|rhs|)

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovBoundaryRelTol
Type: Floating-point number
Value: Relative tolerance value such as 0.001
Default: 0.01

Save last run in workspace variable

Save the coverage data from simulation in a MATLAB variable.

You can retrieve coverage information from this variable later. For instance, to retrieve decision coverage information, use the decisioninfo function. For the full list of functions, see Manage Coverage Data.

Settings

On

Coverage data is stored in a cvdata object in the MATLAB workspace. Specify the object name using the parameter Last coverage run variable name. Choose to create a new object for each simulation using the parameter Increment variable name with each simulation.

Off (default)

Coverage data is not stored in a MATLAB variable.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovSaveSingleToWorkspaceVar
Type: Character vector or string
Value: 'on'|'off'
Default: 'off'

Last coverage run variable name

Specify a name for the cvdata object that contains coverage results from the last simulation.

Settings.  Enter a name, for instance, coverageData.

If you want a new variable to store coverage results for each simulation, use the parameter Increment variable name with each simulation. The new variable name is created by appending a counter value to the original name, for instance, coverageData1, coverageData2, and so on.

The default variable name is covdata.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovSaveName
Type: Character vector or string
Value: Name to be given to cvdata object
Default: 'covdata'

Increment variable name with each simulation

Create a new variable to store coverage results for each new simulation.

Settings

On

A new cvdata object stores coverage results for each simulation.

The new variable name is created by appending a counter value to the original variable name from the first simulation. Specify the original variable name using the parameter Last coverage run variable name.

Off (default)

Each new simulation overwrites the coverage results from the previous simulation. A single cvdata object stores the coverage results from the most recent simulation.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovNameIncrementing
Type: Character vector or string
Value: 'on'|'off'
Default: 'off'

Autosave data file name

Specify name of .cvt file to which coverage data is automatically saved.

Settings.  Enter file name. The default name is $ModelName$_cvdata, where $ModelName$ is the model name.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovDataFileName
Type: Character vector or string
Value: Name to be given to .cvt file
Default: '$ModelName$_cvdata'

Output directory

Specify a folder in which coverage output files are saved.

Settings.  Enter path to folder. You can enter the absolute path or path relative to the current working folder.

By default, the files are saved in a subfolder slcov_output/$ModelName$ relative to the current working folder. Here $ModelName$ is the model name.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovOutputDir
Type: Character vector or string
Value: Path to folder
Default: 'slcov_output/$ModelName$'

Advanced Coverage Settings

Restrict coverage recording interval

Record coverage only for a specified time interval.

For instance, you might want to restrict model coverage recording if your model has transient effects early in simulation, or if you need model coverage reported only for a particular model operation.

Settings

On

Coverage is recorded only for the time interval that you specify. To specify a time interval, use these parameters:

Off (default)

Coverage is recorded for the entire duration of simulation.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovUseTimeInterval
Type: Character vector or string
Value: 'on'|'off'
Default: 'off'

Coverage interval start time

Specify when coverage data collection must begin.

Settings.  Enter a time value (in seconds).

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovStartTime
Type: Floating-point number
Value: Time in seconds, for instance, 2
Default: 0

Coverage interval stop time

Specify when coverage data collection must end.

Settings.  Enter a time value (in seconds).

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovStopTime
Type: Floating-point number
Value: Time in seconds, for instance, 4
Default: 0

Force block reduction off

Report coverage for every block in the model that is supported for coverage.

Settings

On (default)

Coverage is recorded for every supported block in the model. The value of the configuration parameter Block reduction is ignored. See Block reduction.

Off

Coverage is not recorded for blocks that are effectively removed from the model because of block reduction. For instance, coverage is not recorded for a block that is reduced by dead code elimination.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovForceBlockReductionOff
Type: Character vector or string
Value: 'on'|'off'
Default: 'on'

Treat Simulink logic blocks as short-circuited

Specify that coverage must take into account the order of operands in blocks that perform a logical operation, for example, Logical Operator blocks.

For instance, if the order of the two inputs to a Logical AND block is taken into account, the second input is redundant when the first input is false. Therefore, for cases where the first input is false, the paths that lead to the second input are not considered for coverage.

Settings

On

Coverage analysis does not consider the input to a logical operation that is rendered redundant by another input.

Off (default)

Coverage analysis considers all inputs to a logical operation.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovLogicBlockShortCircuit
Type: Character vector or string
Value: 'on'|'off'
Default: 'off'

MCDC mode

Specify the definition of Modified Condition/Decision Coverage (MCDC) to use during coverage analysis. See Modified Condition and Decision Coverage (MCDC) Definitions in Simulink Coverage.

Settings

Masking

Use masking MCDC analysis. To establish the independence of inputs, masking MCDC analysis does not require that all other inputs be strictly held constant while one input is varied. Therefore, masking MCDC analysis allows you to satisfy greater number of objectives in a given simulation.

Unique-Cause

Use unique-cause MCDC analysis.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovMcdcMode
Type: Character vector or string
Value: 'Masking'|'UniqueCause'
Default: 'Masking'

Warn when unsupported blocks exist in model

Warn when unsupported blocks exist in model.

Settings

On (default)

Provide a warning when blocks in the model are not supported for coverage analysis.

Off

Do not provide a warning for unsupported blocks.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovUnsupportedBlockWarning
Type: Character vector or string
Value: 'on'|'off'
Default: 'on'

Coverage filter filename

Specify a filter file to exclude certain model objects from coverage analysis during simulation.

You can use a command-line API to create filtering rules for blocks. Selection criteria for filtering includes filtering by individual block ID, filtering for all blocks of the same type, filtering certain decisions, conditions, and outcomes of a block, and more. You can also filter S-Function C++ code by code coverage outcome.

For an example of filtering, see:

Settings.  Enter full path to .cvf file with filter rules.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovFilter
Type: Character vector or string
Value: Full path to .cvf file
Default:

Coverage metric settings

Specify the type of coverage metric to be recorded. See also Types of Model Coverage.

Settings.  Enter a sequence of letters that describe the coverage metric types. For example, enter 'dc' to collect decision and condition coverage.

To specify what coverage type(s) to collect, enter one or more of the letters in the following table as a single character array.

Note

Using CovMetricSettings is not recommended. Use the alternatives in the table instead.

LetterEffect on Coverage AnalysisPreferred Alternative
dCollect decision coverageUse the Structural coverage level parameter
cCollect condition coverageUse the Structural coverage level parameter
mCollect MCDC coverageUse the Structural coverage level parameter
tCollect lookup table coverageUse the Lookup table parameter
rCollect signal range coverageUse the Signal range parameter
zCollect signal size coverageUse the Signal size parameter
oCollect coverage for Simulink Design Verifier blocksUse the Objectives and constraints parameter
iCollect saturation on integer overflow coverageUse the Saturation on integer overflow parameter
bCollect relational boundary coverageUse the Relational boundary parameter
sSpecify that coverage must take into account the order of operands in blocks that perform a logical operationUse the Treat Simulink logic blocks as short-circuited parameter.
wProvide a warning when blocks in the model are not supported for coverage analysisUse the Warn when unsupported blocks exist in model parameter
eDisables display coverage results using model coloring

Note

CovHighlightResults has been removed. Include e in CovMetricSettings to avoid a warning message.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovMetricSettings
Value: Character vector or string where each character signifies a coverage metric. For instance, 'dc' specifies decision and condition coverage.
Default: 'dwe'

Record coverage for this model

Record model coverage data during simulation.

Note

This parameter represents a deprecated workflow. Instead use these parameters:

Settings

On (default)

Simulink collects model coverage data during simulation.

Off

Model coverage data is not collected or reported.

Command-Line Information

Parameter: RecordCoverage
Type: Character vector or string
Value: 'on'|'off'
Default: 'on'

Record coverage for referenced models

Record coverage data for referenced models during simulation.

Note

This parameter represents a deprecated workflow. Instead use these parameters:

Settings.  Enter one of these:

  • on: Coverage data is collected for all referenced models and Observer models.

  • off: Coverage data is not collected for referenced models.

  • filtered: Coverage data is collected for all referenced models and Observer models except those excluded using the parameter Select Models.

Command-Line Information

Parameter: CovModelRefEnable
Type: Character vector or string
Value: 'on'|'off'|'filtered'
Default: 'off'

Include top model

Record coverage for the top-level model in addition to referenced models.

Note

This parameter represents a deprecated workflow. Instead use these parameters:

Settings

On (default)

Coverage data is collected for the top-level model.

Off

Coverage data is not collected for the top-level model.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovIncludeTopModel
Type: Character vector or string
Value: 'on'|'off'
Default: 'on'

Coverage report options

Specify the formatting of certain aspects of the coverage report (HTML).

Note

For an easier way to specify report formatting, see Report from Results Explorer.

Settings.  Enter a space-separated list of flags. The available flags are:

  • '-sRT=0' — Do not show report

  • '-sVT=1' — Open a web view of the report in a browser. See also Export Model Coverage Web View.

  • '-aTS=1' — Show each test in the model summary.

  • '-bRG=1' — Show bar graphs in the model summary.

  • '-bTC=1' — Use two color bar graphs (red, blue).

  • '-hTR=1' — Display hit/count ratio in the model summary.

  • '-nFC=0' — Do not report fully covered model objects

  • '-scm=1' — Include cyclomatic complexity numbers in summary. See also Cyclomatic Complexity.

  • '-bcm=1' — Include cyclomatic complexity numbers in block details.

  • '-xEv=0' — Filter Stateflow events from report.

  • '-agT=1' — Show aggregated tests information in coverage report.

  • '-req=1' — Include linked requirements in aggregated coverage report.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovHTMLOptions
Type: Character vector or string
Value:
Default:

Additional data to include in coverage report

Include additional model coverage data from cvdata objects in the model coverage report.

Settings.  Enter the name of a cvdata object associated with a simulation.

You get a cvdata object when you record coverage and save coverage data in a workspace variable. See:

You also get a cvdata object if you run simulation using the cvsim function. See cvsim.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovCompData
Type: Character vector or string
Value: Name of cvdata object.
Default: No default

Update coverage results on pause

Update coverage report when you pause during simulation. The report is updated with coverage results up to the current pause or stop time.

Settings

On (default)

Coverage report is updated when you pause simulation.

Off

Coverage report is not updated when you pause simulation.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovReportOnPause
Type: Character vector or string
Value: 'on'|'off'
Default: 'on'

Save output data

Save coverage data results to a file.

Settings

On (default)

Coverage data results are saved to a file. Specify the file name using the parameter Autosave data file name.

Off

Coverage data results are not saved to a file.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovSaveOutputData
Type: Character vector or string
Value: 'on'|'off'
Default: 'on'

Enable cumulative data collection

Collect model coverage results from successive simulations. See also Cumulative Coverage Data.

Note

For an easier way to accumulate coverage data from multiple simulations, see Accumulating Coverage Data from the Results Explorer.

Settings

On (default)

Model coverage data from successive simulations are collected together.

To show the cumulative data in one report, use the parameter Include cumulative data in coverage report. To save the data in one workspace variable, use the parameters Save cumulative coverage results in workspace variable and Cumulative coverage variable name.

Off

Model coverage data is retained for the most recent simulation only.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovEnableCumulative
Type: Character vector or string
Value: 'on'|'off'
Default: 'on'

Include cumulative data in coverage report

Show model coverage results from successive simulations in a single HTML report.

Note

For an easier way to accumulate coverage data from multiple simulations, see Accumulating Coverage Data from the Results Explorer.

Settings

On

The HTML report shows model coverage data from successive simulations.

Off (default)

The HTML report shows model coverage data from the most recent simulation.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovCumulativeReport
Type: Character vector or string
Value: 'on'|'off'
Default: 'off'

Save cumulative coverage results in workspace variable

Save model coverage data from successive simulations in a single cvdata object in the MATLAB workspace.

You can retrieve coverage information from this variable later. For instance, to retrieve decision coverage information, use the decisioninfo function. For the full list of functions, see Manage Coverage Data.

Note

For an easier way to accumulate coverage data from multiple simulations, see Accumulating Coverage Data from the Results Explorer.

Settings

On

A single cvdata object stores model coverage data from successive simulations. See Cumulative Coverage Data.

Specify the variable name using the parameter Cumulative coverage variable name.

Off (default)

The cvdata object stores model coverage data from the most recent simulation.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovSaveCumulativeToWorkspaceVar
Type: Character vector or string
Value: 'on'|'off'
Default: 'off'

Cumulative coverage variable name

Specify the name of the cvdata object that saves coverage data from successive simulations.

Note

For an easier way to accumulate coverage data from multiple simulations, see Accumulating Coverage Data from the Results Explorer.

Settings.  Enter variable name, for instance, cumulativeCoverageData.

Dependency.  To enable this parameter, select:

Command-Line Information

Parameter: CovCumulativeVarName
Type: Character vector or string
Value: Name to be given to cvdata object
Default: 'covCumulativeData'

Enable limited coverage analysis of accelerated models

Collect limited coverage for accelerated models. You can collect the following coverage metrics in accelerator mode:

  • Stateflow elements — all coverage metrics that are supported for normal mode

  • MATLAB function blocks — all coverage metrics that are supported for normal mode

  • Other Simulink blocks — only execution coverage

Settings

On (default)

Model coverage will be collected for models in accelerator mode.

Note

Only execution coverage can be collected on Simulink blocks when the model simulation mode is set to accelerator.

Off

Model coverage will not be collected for models in accelerator mode.

Dependency.  To enable this parameter, select Enable coverage analysis.

Command-Line Information

Parameter: CovAccelSimSupport
Type: Character vector or string
Value: 'on'|'off'
Default: 'on'