sldvgencov

Analyze models to obtain missing model coverage

Syntax

[status, cvdo] = sldvgencov(model, options, showUI, startCov)

[status, cvdo] = sldvgencov(block, options, showUI, startCov)

[status, cvdo, filenames] = sldvgencov(model, options, showUI, startCov)

[status, cvdo, filenames, newmodel] = sldvgencov(block, options, showUI, startCov)

Description

[status, cvdo] = sldvgencov(model, options, showUI, startCov) analyzes the model model by using the sldvoptions object options.

[status, cvdo] = sldvgencov(block, options, showUI, startCov) analyzes the atomic subsystem block by using the sldvoptions object options.

[status, cvdo, filenames] = sldvgencov(model, options, showUI, startCov) analyzes the model and returns the file names that the software creates in filenames.

[status, cvdo, filenames, newmodel] = sldvgencov(block, options, showUI, startCov) analyzes the block by using the sldvoptions object options. The software returns a handle to the newmodel, which contains a copy of the block subsystem.

Examples

Collect Missing Coverage Data

Analyze the coverage data and collect the missing coverage data.

Analyze the Cruise Control model and simulate a version of that model by using data from test cases from the previous analysis. Compare the model coverage data and collect the coverage missing from the sldvdemo_cruise_control_mod model analysis:

opts = sldvoptions;
% Generate test cases
opts.Mode = 'TestGeneration';
% Specify MCDC coverage
opts.ModelCoverageObjectives = 'MCDC';
% Don't create harness model
opts.SaveHarnessModel = 'off';
% or report
opts.SaveReport = 'off';
openExample('sldv/ExtendTestCasesForModifiedModelExample',...
'supportingFile', 'sldvdemo_cruise_control');
[ status, files ] = sldvrun('sldvdemo_cruise_control', opts);
open_system 'sldvdemo_cruise_control_mod';
[ outData, startCov ] = sldvruntest('sldvdemo_cruise_control_mod',...
    files.DataFile, [], true);
cvhtml('Coverage with the original test suite', startCov);
[ status, covData, files ] = sldvgencov('sldvdemo_cruise_control_mod',...
    opts, false, startCov);

Input Arguments

block — Handle to an atomic subsystem

character vector | string scalar

Handle to an atomic subsystem in a Simulink^® model.

model — Handle to a model

[] (default) | character vector | string scalar

Handle to a Simulink model.

options — Analysis parameters

[] (default) | character vector | string scalar

sldvoptions object that specifies the analysis parameters.

showUI — Display messages during analysis

logical

Logical value that indicates where to display messages during analysis:

true to display messages in the log window.

false (default) to display messages in the MATLAB® command window.

startCov — Model coverage data

[] (default) | character vector | string scalar

cvdata object. The analysis ignores model coverage objectives already satisfied in startCov.

Output Arguments

cvdo — Coverage data

character vector

cvdata object containing coverage data for new tests.

filenames — Analysis results file names

structure

A structure whose fields list the file names resulting from the analysis.

DataFile	MAT-file with the raw input data.
HarnessModel	Simulink harness model.
Report	HTML report of the results.
ExtractedModel	Simulink model extracted from the subsystem.
BlockReplacementModel	Simulink model obtained after block replacements.

status — Status of model coverage data

logical

Logical value that indicates if the analysis collected model coverage.

true for analysis collected model coverage data.

false if analysis does not collect model coverage data.

newmodel — Handle to new model

double

If the API is invoked with block, then the software returns the handle to the new model in newmodel which contains a copy of the atomic subsystem block.

Version History

Introduced in R2007a