Documentation Center

  • Trial Software
  • Product Updates

getCoverageInfo

Retrieve coverage information for Simulink Design Verifier blocks from cvdata object

Syntax

[coverage, description] = getCoverageInfo(cvdo, object)
[coverage, description] = getCoverageInfo(cvdo, object, metric)
[coverage, description] = getCoverageInfo(cvdo, object, metric, ignore_descendants)

Description

[coverage, description] = getCoverageInfo(cvdo, object) collects Simulink® Design Verifier™ coverage for object, based on coverage results in cvdo. object is a handle to a block, subsystem, or Stateflow® chart. getCoverageData returns coverage data only for Simulink Design Verifier library blocks in object's hierarchy.

[coverage, description] = getCoverageInfo(cvdo, object, metric) returns coverage data for the block type specified in metric. If object does not match the block type, getCoverageInfo does not return data.

[coverage, description] = getCoverageInfo(cvdo, object, metric, ignore_descendants) returns coverage data about object, omitting coverage data for its descendant objects if ignore_descendants equals 1.

Input Arguments

cvdo

cvdata object

object

In the model or Stateflow chart, object that received Simulink Design Verifier coverage. The following are valid values for object.

BlockPath

Full path to a model or block

BlockHandle

Handle to a model or block

slObj

Handle to a Simulink API object

sfID

Stateflow ID from a singly instantiated Stateflow chart

sfObj

Handle to a Stateflow API object from a singly instantiated Stateflow chart

{BlockPath, sfID}

Cell array with the path to a Stateflow chart or atomic subchart and the ID of an object contained in that chart or subchart

{BlockPath, sfObj}

Cell array with the path to a Stateflow chart or atomic subchart and a Stateflow object API handle contained in that chart or subchart

[BlockHandle, sfID]

Array with a handle to a Stateflow chart or atomic subchart and the ID of an object contained in that chart or subchart

metric

cvmetric.Sldv enumeration object with values that correspond to Simulink Design Verifier library blocks.

test

Test Objective block

proof

Proof Objective block

condition

Test Condition block

assumption

Proof Assumption block

ignore_descendants

Boolean value that specifies to ignore the coverage of descendant objects if set to 1.

Output Arguments

coverage

Two-element vector of the form [covered_outcomes total_outcomes].

covered_outcomesNumber of test objectives satisfied for object
total_outcomesTotal number of test objectives for object

coverage is empty if cvdo does not contain decision coverage results for object.

description

Structure array containing descriptions of each test objective, and descriptions and execution counts for each outcome within object.

Examples

Collect and display coverage data for the Test Objective block named True in the sldvdemo_debounce_testobjblks model:

mdl = 'sldvdemo_debounce_testobjblks';
open_system(mdl)
testObj = cvtest(mdl)
testObj.settings.designverifier = 1;
data = cvsim(testObj)
blk_handle = get_param([mdl, '/True'], 'Handle');
getCoverageInfo(data, blk_handle)

Alternatives

Use the Coverage Settings dialog box to collect and display coverage results for Simulink Design Verifier library blocks:

  1. Open the model.

  2. In the Model Editor, select Analysis > Coverage > Settings.

  3. On the Coverage tab, select Coverage for this model.

  4. Under Coverage metrics, select Simulink Design Verifier.

  5. Click OK to close the Coverage Settings dialog box and save your changes.

  6. Simulate the model and review the results.

See Also

| | | | | | | |

Was this topic helpful?