relationalboundaryinfo - Retrieve relational boundary coverage from cvdata object - MATLAB (original) (raw)

Retrieve relational boundary coverage from cvdata object

Syntax

Description

[covInfo](#buhkmka-coverage) = relationalboundaryinfo([cvdo](#buhkmka%5Fsep%5Fbrxo2jj-1-cvdo),[modelObject](#buhkmka%5Fsep%5Fbswieqq-1-object)) returns relational boundary coverage results from the cvdata objectcvdo for the model object specified by object and its descendants.

example

[covInfo](#buhkmka-coverage) = relationalboundaryinfo([cvdo](#buhkmka%5Fsep%5Fbrxo2jj-1-cvdo),[modelObject](#buhkmka%5Fsep%5Fbswieqq-1-object),[simMode](#buhkmka%5Fsep%5Fbswieqq-1-mode)) returns relational boundary coverage results from the cvdata objectcvdo for the model object specified bymodelObject and its descendants for the simulation modesimMode.

[covInfo](#buhkmka-coverage) = relationalboundaryinfo([cvdo](#buhkmka%5Fsep%5Fbrxo2jj-1-cvdo),[modelObject](#buhkmka%5Fsep%5Fbswieqq-1-object),[ignoreDescendants](#buhkmka%5Fsep%5Fmw%5Ffeb2a172-08b8-4e3b-b2bb-6c8d51d75f21)) returns relational boundary coverage results from the cvdata objectcvdo for the model object specified bymodelObject and, depending on the value ofignoreDescendants, descendant objects.

[[covInfo](#buhkmka-coverage),[description](#buhkmka-description)] = relationalboundaryinfo([cvdo](#buhkmka%5Fsep%5Fbrxo2jj-1-cvdo),[modelObject](#buhkmka%5Fsep%5Fbswieqq-1-object)) returns relational boundary coverage results from the cvdata objectcvdo for the model object specified bymodelObject, and textual descriptions of each coverage outcome.

Examples

collapse all

This example shows how to collect relational boundary coverage information for a Saturation block in a model. For more information on blocks supported for relational boundary coverage, see Model Objects That Receive Coverage.

Open the slvnvdemo_cv_small_controller model. Create a model coverage test specification object for the model.

openExample('slvnvdemo_cv_small_controller'); open_system('slvnvdemo_cv_small_controller'); testObj = cvtest('slvnvdemo_cv_small_controller');

In the model coverage test specification object, activate relational boundary coverage.

testObj.settings.relationalop = 1;

Simulate the model and collect coverage results in a cvdata object.

dataObj = cvsim(testObj);

Obtain relational boundary coverage results for the Saturation block in slvnvdemo_cv_small_controller. The coverage results are stored in a two-element vector of the form [covered_outcomes total_outcomes].

blockHandle = get_param('slvnvdemo_cv_small_controller/Saturation','Handle'); [covResults,covDesc] = relationalboundaryinfo(dataObj,blockHandle)

covResults =

 2     4

covDesc =

isFiltered: 0
  decision: [1x2 struct]

The field decision is a 1 X 2 structure. Each element of decision corresponds to a relational operation in the block. The Saturation block contains two comparisons. The first comparison is with a lower limit and the second with an upper limit. Therefore, decision is a 2-element structure.

View the first operation in the block that receives relational boundary coverage. For the Saturation block, the first relational operation is input > lowerlimit.

ans =

        outcome: [1x2 struct]
           text: 'input - lowerlimit'
     isFiltered: 0
filterRationale: ''

The text field shows the two operands. The isFiltered field is set to 1 if the block is filtered from relational boundary coverage. For more information, see Coverage Filtering.

View results for the first relational operation in the block.

for(i=1:2) covDesc.decision(1).outcome(i) end

ans =

 isActive: 1
execCount: 0
     text: '[-tol..0]'

ans =

 isActive: 1
execCount: 0
     text: '(0..tol]'

View the second operation in the block that receives relational boundary coverage. For the Saturation block, the second relational operation is input < upperlimit.

ans =

        outcome: [1x2 struct]
           text: 'input - upperlimit'
     isFiltered: 0
filterRationale: ''

View results for the second relational operation in the block.

for(i=1:2) covDesc.decision(2).outcome(i) end

ans =

 isActive: 1
execCount: 1
     text: '[-tol..0)'

ans =

 isActive: 1
execCount: 2
     text: '[0..tol]'

1. Open the example and load the model.
   openExample("slcoverage/RetrieveCodeCoverageResultsExample");

2. Use the setupSILCoverage function to configure the model for code coverage analysis. The output is a Simulink.SimulationInput object.
   simIn = setupSILCoverage("slvnvdemo_counter_harness");

3. Simulate the model.

4. To retrieve coverage results for the generated code that represents a specific block, use the block path. For example, retrieve the relational boundary coverage results for the Relational Operator block named upper GE input by passing the block path relative to the top model.
   covDataSIL = simOut.covdata;
   relboundBlockSIL = relationalboundaryinfo(covDataSIL,...
   "slvnvdemo_counter/upper GE input")

5. To retrieve coverage results for a function in the generated code, use a cell array that contains the generated source file name and function name. For example, retrieve the relational boundary coverage results for the functionslvnvdemo_counter located in the source fileslvnvdemo_counter.c.
   relboundSILFunction = relationalboundaryinfo(covDataSIL,...
   {"slvnvdemo_counter.c","slvnvdemo_counter"})
   relboundSILFunction =

     2     4

6. Open the example and load data into the workspace.
   openExample("slcoverage/RetrieveSFunCoverageResultsExample");
   load slcoverage_lct_data.mat

7. Use the setupSFcnCoverage function to configure the model for coverage analysis. The output is a Simulink.SimulationInput object.
   simIn = setupSFcnCoverage("slcoverage_lct_bus");

8. Simulate the model.

9. To retrieve coverage results for an S-function, use therelationalboundaryinfo function and specify a cell array that contains the handle or full path of the block, followed by the file name of the S-function source file. Optionally, you can also specify a specific function inside that source file. For this example, retrieve the relational boundary coverage results for the function namedcounterbusFcn in the S-function filecounterbus.c, which the S-Function blockslcoverage_sfun_counterbus calls. The S-Function block is inside the TestCounter subsystem in the modelslcoverage_lct_bus.
   covDataSFcn = simOut.covdata;
   relboundSFun = relationalboundaryinfo(covDataSFcn,...
   {"slcoverage_lct_bus/TestCounter/slcoverage_sfun_counterbus",...
   "counterbus.c","counterbusFcn"})

Input Arguments

collapse all

Coverage data, specified as a cvdata object.

Data Types: cvdata

Model object, specified as a character array, string array, Simulink handle, Stateflow ID, or cell array.

To specify a model object, such as a block or a Stateflow chart, use one of these formats:

To specify an S-Function block or its contents, use one of these formats:

To specify a code coverage result, such as coverage data collected during software-in-the-loop (SIL) or processor-in-the-loop (PIL) analysis, use one of these formats:

Data Types: char | string | cell | Stateflow.State | Stateflow.Transition

Simulation mode during coverage analysis, specified as one of these options:

Data Types: char | string

Whether to ignore descendants in coverage results, specified as a numeric or logical1 (true) or 0 (false), where:

• 0 (false) includes coverage results of descendant objects.
• 1 (true) ignores coverage results of descendant objects.

Data Types: single | double | logical

Output Arguments

collapse all

Coverage information, returned as a two-element array of the form[covered_outcomes, total_outcomes] if cvdo contains relational boundary coverage data, or an empty array if it does not.

Data Types: double

Textual description of coverage outcomes for the model component specified by object, returned as a structure array. Depending on the types of model coverage collected, the structure array can have different fields. If only relational boundary coverage is collected, the structure array contains the following fields:

Data Types: struct

Version History

Introduced in R2014b