sldvoptions - Create design verification options object
Syntax
options = sldvoptions
options = sldvoptions(model)
Description
options = sldvoptions returns
an object options that contains default
values for the design verification parameters.
options = sldvoptions(model) returns
the object options attached to model.
Outputs
options |
The following table describes the parameters that comprise a Simulink Design Verifier options
object.
Parameter | Values |
Assertions | | 'EnableAll' | | 'DisableAll' | | 'UseLocalSettings' (default) |
|
AutomaticStubbing | |
BlockReplacement | |
BlockReplacementModelFileName | string '$ModelName$_replacement' (default) |
BlockReplacementRulesList | string '<FactoryDefaultRules>' (default) |
DataFileName | string '$ModelName$_sldvdata' (default) |
DisplayReport | |
DisplayUnsatisfiableObjectives | |
HarnessModelFileName | string '$ModelName$_harness' (default) |
MakeOutputFilesUnique | |
MaxProcessTime | double '600' (default) |
MaxTestCaseSteps | int32 '500' (default) |
MaxViolationSteps | int32 '20' (default) |
Mode | | 'TestGeneration' (default) | | 'PropertyProving' |
|
ModelCoverageObjectives | | 'None' | | 'Decision' | | 'ConditionDecision' | | 'MCDC' (default) |
|
ModelReferenceHarness | |
OutputDir | string 'sldv_output/$ModelName$' (default) |
Parameters | |
ParametersConfigFileName | string 'sldv_params_template.m' (default) |
ProofAssumptions | | 'EnableAll' | | 'DisableAll' | | 'UseLocalSettings' (default) |
|
ProvingStrategy | | 'FindViolation' | | 'Prove' (default) | | 'ProveWithViolationDetection' |
|
RandomizeNoEffectData | |
ReportFileName | string '$ModelName$_report' (default) |
ReportIncludeGraphics | |
SaveDataFile | |
SaveExpectedOutput | |
SaveHarnessModel | |
SaveReport | |
SaveSystemTestHarness | |
SystemTestFileName | string '$ModelName$_harness' |
TestConditions | | 'EnableAll' | | 'DisableAll' | | 'UseLocalSettings' (default) |
|
TestObjectives | | 'EnableAll' | | 'DisableAll' | | 'UseLocalSettings' (default) |
|
TestSuiteOptimization | | 'CombinedObjectives' (default) | | 'IndividualObjectives' | | 'LargeModel' | | 'LongTestCases' |
|
|
Examples
Create an options object and set several parameters:
opts = sldvoptions;
opts.AutomaticStubbing = 'on';
opts.Mode = 'TestGeneration';
opts.ModelCoverageObjectives = 'MCDC';
opts.ReportIncludeGraphics = 'on';
opts.SaveHarnessModel = 'off';
opts.SaveReport = 'off';
opts.TestSuiteOptimization = 'LongTestCases';
Get the options object for the sldvdemo_cruise_control model:
sldvdemo_cruise_control
optsModel = sldvoptions(bdroot);
optsCopy = optsModel.deepCopy;
optsCopy.MaxProcessTime = 120;
Alternatives
In the Model Editor window, select Tools > Design Verifier > Options to set the Simulink Design Verifier analysis options.
See Also
sldvblockreplacement | sldvcompat | sldvgencov | sldvrun
How To
 | sldvmakeharness | | sldv.prove |  |
Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.
Get this Simulink Kit
Store 
