sldvrun

Analyze model

Syntax

status = sldvrun

status = sldvrun(model)

status = sldvrun(subsystem)

status = sldvrun(model, options)

[status, filenames, msg] = sldvrun(model, options)

[status, filenames, msg] = sldvrun(model, options, showUI, startCov)

Description

status = sldvrun analyzes the current model to generate the test cases that provide the model coverage or prove the model properties.

status = sldvrun(model) analyzes model to generate the test cases that provide the model coverage or prove the model properties. It uses configuration options referenced by model to select analysis mode.

status = sldvrun(subsystem) converts the atomic subsystem subsystem into a new model and runs a design verification analysis on the new model.

status = sldvrun(model, options) analyzes model by using the sldvoptions object options.

[status, filenames, msg] = sldvrun(model, options) analyzes model and returns the filenames that the software creates during the analysis, and information on errors and warnings in the structure msg.

[status, filenames, msg] = sldvrun(model, options, showUI, startCov) opens the log window during the analysis if you set showUI to true. If you set showUI to false, sldvrun directs output to the MATLAB^® command line.

Examples

Analyze a Model Without Analysis Option

This example shows how sldvrun uses configuration options referenced by model to select analysis mode.

Open model sldvdemo_cruise_control.

openExample('simulinktest/GenerateAndImportTestCasesFromSLDVExample', ...
'supportingFile','sldvdemo_cruise_control')

Perform analysis on sldvdemo_cruise_control without choosing any analysis mode

model = ('sldvdemo_cruise_control')
sldvrun(model)

sldvrun uses the Generate Tests option referenced by the model and performs test generation analysis.

Analyze the Model by Using Analysis Options

Set sldvoptions parameters and analyze the model by using the specified options.

Set sldvoptions parameters:

opts = sldvoptions;
opts.Mode = 'TestGeneration';              % Perform test-generation analysis
opts.ModelCoverageObjectives = 'MCDC';     % MCDC coverage
opts.SaveHarnessModel = 'off';             % Don't save harness as model file
opts.SaveReport = 'on';                    % Save the HTML report

Open the sldvdemo_cruise_control model and analyze the model by using the specified options:

openExample('sldv/CruiseControlTestGenerationExample',...
'supportingFile', 'sldvdemo_cruise_control');
[ status, files ] = sldvrun('sldvdemo_cruise_control', opts);

Input Arguments

model — Name or handle of a model

[] (default) | character vector | string scalar

Name or handle of a Simulink^® model, specified as a character vector or string scalar.

subsystem — Name or handle of an atomic subsystem

[] (default) | character vector | string scalar

Name or handle of an atomic subsystem in a Simulink model, specified as a character vector or string scalar.

options — Analysis options

[] (default) | character vector | string scalar

Analysis options, specified as a character vector or string scalar that contains the name of an sldvoptions object.

showUI — Option to display messages in log window

false or 0 (default) | true or 1

Option to display messages during analysis in the log window, specified as:

Numeric or logical 1 (true) — Display the messages in the log window.

Numeric or logical 0 (false) — Display the messages in the Command Window.

startCov — Model coverage objects

[] (default) | character vector | string scalar

Model coverage objects, specified as a character vector or string scalar that contains the name of a cvdata (Simulink Coverage) object.

Output Arguments

filenames — Names of files generated during analysis

structure

Names of files that Simulink Design Verifier™ generates during analysis, returned as a structure with these fields:

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

status — Analysis status

character vector

Analysis status, returned as one of these values:

Field	Description
'-1'	Analysis exceeded the maximum processing time
'0'	Error
'1'	Processing completed normally

msg — Analysis status

structure

Error and warning information, specified as a structure with these fields:

Field	Description
sourceFullName	Full path of the model element that caused the error or warning
objH	Handle to the model object that caused the error or warning
reportedBy	Name of the component or module that generated the error or warning message
msg	Error or warning message text
msgid	Unique identifier for the error or warning message
msgargs	Array of arguments that are used to construct the error or warning message

Alternatives

To run an analysis with Simulink Design Verifier, on the Design Verifier tab, in the Mode section, use any of these options:

• Select Design Error Detection, then click Detect Design Errors.

• Select Test Generation, then click Generate Tests.

• Select Property Proving, then click Prove Properties.

Version History

Introduced in R2007a

R2024b: Version History

Simulink Design Verifier now reports an error message. A new output argument is added, that allows retrieving the error programmatically.