conditioninfo - Retrieve condition coverage information from cvdata

        object - MATLAB ([original](https://in.mathworks.com/help/slcoverage/ref/conditioninfo.html)) ([raw](?raw))

Retrieve condition coverage information from cvdata object

Syntax

Description

[covInfo](#brxo2jj-1-coverage) = conditioninfo([cvdo](#brxo2jj-1%5Fsep%5Fbrxo2jj-1-cvdo),[modelObject](#brxo2jj-1%5Fsep%5Fbswieqq-1-object)) returns the condition coverage results from the cvdata objectcvdo for the model component specified bymodelObject.

[covInfo](#brxo2jj-1-coverage) = conditioninfo([cvdo](#brxo2jj-1%5Fsep%5Fbrxo2jj-1-cvdo),[modelObject](#brxo2jj-1%5Fsep%5Fbswieqq-1-object),[simMode](#brxo2jj-1%5Fsep%5Fbswieqq-1-mode)) returns the condition coverage results from the cvdata objectcvdo for the simulation modesimMode.

[covInfo](#brxo2jj-1-coverage) = conditioninfo([cvdo](#brxo2jj-1%5Fsep%5Fbrxo2jj-1-cvdo),[modelObject](#brxo2jj-1%5Fsep%5Fbswieqq-1-object),[ignoreDescendants](#brxo2jj-1%5Fsep%5Fmw%5Ffeb2a172-08b8-4e3b-b2bb-6c8d51d75f21)) returns the condition coverage results for modelObject, including or ignoring descendant objects based on the value ofignoreDescendants.

[[covInfo](#brxo2jj-1-coverage),[description](#brxo2jj-1-description)] = conditioninfo([cvdo](#brxo2jj-1%5Fsep%5Fbrxo2jj-1-cvdo),[modelObject](#brxo2jj-1%5Fsep%5Fbswieqq-1-object)) returns the condition coverage results and textual descriptions for each condition in modelObject.

Examples

collapse all

This example shows how to view condition coverage for a block in your model.

Load the model.

modelName = 'slvnvdemo_cv_small_controller'; load_system(modelName);

Configure the coverage settings for the model by using a Simulink.SimulationInput object.

simIn = Simulink.SimulationInput(modelName); simIn = simIn.setModelParameter('CovEnable','on'); simIn = simIn.setModelParameter('CovMetricStructuralLevel','MCDC'); simIn = simIn.setModelParameter('CovSaveSingleToWorkspaceVar','on'); simIn = simIn.setModelParameter('CovSaveName','covData');

Simulate the model by passing simIn as the input to sim.

simOut = sim(simIn); covData = simOut.covData;

View the condition coverage results for the Logic block in the Gain subsystem by calling conditioninfo with the block path.

condCov = conditioninfo(covData,[modelName,'/Gain/Logic'])

conditioninfo returns an array with two scalars. The first value is the number of satisfied condition outcomes, and the second value is the number of total condition outcomes. Use these to determine the percentage of satisfied condition outcomes for the Logic block.

percentCondCov = 100 * condCov(1) / condCov(2)

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 aSimulink.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 condition coverage results for the Relational Operator block namedupper GE input by passing the block path relative to the top model.
   covDataSIL = simOut.covdata;
   condBlockSIL = conditioninfo(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 condition coverage results for the functionslvnvdemo_counter located in the source fileslvnvdemo_counter.c.
   condSILFunction = conditioninfo(covDataSIL,{"slvnvdemo_counter.c",...
   "slvnvdemo_counter"})

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 aSimulink.SimulationInput object.
   simIn = setupSFcnCoverage("slcoverage_lct_bus");

8. Simulate the model.

9. To retrieve coverage results for an S-function, use theconditioninfo 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 condition coverage results for the function named counterbusFcn in the S-function file counterbus.c, which theS-Function blockslcoverage_sfun_counterbus calls. The S-Function block is inside the TestCounter subsystem in the modelslcoverage_lct_bus.
   covDataSFcn = simOut.covdata;
   condSFun = conditioninfo(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] ifcvdo contains condition coverage data, or an empty array if it does not.

Data Types: double

Condition coverage description, returned as a structure with the following fields:

Block exclusion flag, returned as 1 if the block is excluded and 0 if it is not.

Data Types: ``

Block coverage filter rationale, returned as a character array.

Data Types: char

Number of justified coverage objective outcomes, returned as a scalar double.

Data Types: double

Block justification flag, returned as 1 if the block is justified or 0 if it is not.

Data Types: double

Information for individual condition outcomes, returned as a structure with the following fields:

Condition exclusion flag, returned as1 if the condition is excluded or 0 if it is not.

Data Types: double

Condition justification flag, returned as1 if the condition is justified or 0 if it is not.

Data Types: double

Coverage filter rationale, returned as a character array.

Data Types: char

Description of the condition, returned as a character array.

Data Types: char

Number of time steps the condition istrue, returned as a scalar.

Data Types: double

Number of time steps the condition isfalse, returned as a scalar.

Data Types: double

Coverage filter information for thetrue condition outcome, returned as a structure array with the following fields:

Data Types: struct

Coverage filter information for thefalse condition outcome, returned as a structure array with the following fields:

Data Types: struct

Aggregated coverage test case traceability information, returned as a structure array. If your coverage data does not contain aggregated results from multiple simulations,trueExecutedIn is an empty array. If your coverage data contains aggregated results, trueExecutedIn indicates which test runs executed the true condition outcome and has the following fields:

Data Types: struct

Aggregated coverage test case traceability information, returned as a structure array. If your coverage data does not contain aggregated results from multiple simulations,falseExecutedIn is an empty array. If your coverage data contains aggregated results, falseExecutedIn indicates which test runs executed thefalse condition outcome and has the following fields:

Data Types: struct

Data Types: struct

Data Types: struct

Alternatives

You can also collect condition coverage for a model in the Simulink Editor. Set the model configuration parameters and run the model:

1. Open the model for which you want to collect condition coverage.
2. In the Simulink Editor, in the Modeling tab, selectModel Settings.
3. On the Coverage pane of the Configuration Parameters dialog box, select Enable coverage analysis.
4. Under Coverage metrics, select Condition Decision as the structural coverage level.
5. Click OK to close the Configuration Parameters dialog box and save your changes.
6. Simulate the model by clicking Run. Review the results.

Version History

Introduced in R2006b