Main Content

本页采用了机器翻译。点击此处可查看最新英文版本。

sldvoptions

创建设计验证选项对象

全页折叠

语法

options = sldvoptions
options = sldvoptions(model)

说明

options = sldvoptions 返回一个对象 options，其中包含设计验证参数的默认值。

示例

options = sldvoptions(model) 返回引用模型配置集的对象 options。

示例

全部折叠

创建一个选项对象并设置几个参数。

为 sldvdemo_cruise_control模型创建一个 opts 选项： 

opts = sldvoptions;
opts.AutomaticStubbing = 'on';
opts.Mode = 'TestGeneration';
opts.ModelCoverageObjectives = 'MCDC';
opts.ReportIncludeGraphics = 'on';
opts.SaveHarnessModel = 'off';
opts.SaveReport = 'off';
opts.TestSuiteOptimization = 'LongTestCases';

获取sldvdemo_cruise_control模型的选项对象。如果您想创建 sldvoptions 的独立版本但希望从模型配置集中的选项复制开始，则可以使用 deepCopy 方法。

openExample('sldv/CruiseControlTestGenerationExample',...
'supportingFile', 'sldvdemo_cruise_control');
optsModel = sldvoptions(bdroot);
optsCopy = optsModel.deepCopy;
optsCopy.MaxProcessTime = 120;

输入参数

全部折叠

Simulink®模型的名称或句柄，指定为字符向量或字符串标量。

输出参量

全部折叠

下表列出了组成 Simulink Design Verifier™ 选项对象的参数。

参数

描述

值

AbsoluteTolerance

指定关系边界测试中容差的绝对值。

双精度 {'1.0e-05'}

Assertions

指定模型中的 Assertion 模块是否启用或禁用。
'EnableAll'
'DisableAll'
'UseLocalSettings'（默认）

AutomaticStubbing

指定软件是否忽略不受支持的模块和功能并继续进行分析。
'on'（默认）
'off'

BlockReplacement

指定软件是否在分析模型之前替换模型中的模块。

当设置为 'on' 时，此参数将启用 BlockReplacementModelFileName 和 BlockReplacementRulesList 。
'on'
'off'（默认）

BlockReplacementModelFileName

为应用模块替换规则后的结果模型指定一个文件夹和文件名。

当 BlockReplacement 设置为 'on' 时，此参数启用。

字符数组

'$ModelName$_replacement'（默认）

BlockReplacementRulesList

指定在分析之前执行的模块替换规则列表。

当 BlockReplacement 设置为 'on' 时，此参数启用。

字符数组

'<FactoryDefaultRules>'（默认）

CodeAnalysisExtraOptions

用于分析已编译为与 Simulink Design Verifier 兼容的 S 函数的额外选项。参见 S-Function 和 C/C++ 代码的支持限制和注意事项 。

字符数组

''（默认）

CoverageDataFile

为包含有关满足的覆盖率目标的数据的文件指定一个文件夹和文件名。

当 IgnoreCovSatisfied 设置为 'on' 时，此参数启用。

字符数组

''（默认）

CovFilter

对于测试生成和设计错误检测分析，指定是否忽略覆盖率过滤器文件中存储的目标。

当设置为 on 时，此参数将启用 CovFilterFileName 。
'on'
'off' （默认）

CovFilterFileName

对于测试生成和设计错误检测分析，请指定包含要从分析中排除的目标的覆盖率过滤器文件的名称。

当 CovFilter 设置为 'on' 时，此参数启用。

字符数组

''（默认）

DataFileName

为包含分析过程中生成的数据的 MAT 文件指定一个文件夹和文件名，这些数据存储在 sldvData结构体中。

字符数组

'$ModelName$_sldvdata'（默认）

DesignMinMaxCheck

指定是否检查模型中的中间信号和输出信号是否在指定的最小和最大约束范围内。
'on'
'off' （默认）

DesignMinMaxConstraints

指定Simulink Design Verifier软件是否生成将指定的最小值和最大值视为模型中输入信号的约束的测试用例。
'on'（默认）
'off'

DetectActiveLogic

指定是否分析模型中的活动逻辑。

仅当 DetectDeadLogic 设置为 'on' 时，此参数才启用。
'on'
'off'（默认）

DetectBlockInputRangeViolations

指定是否分析模型中的模块输入范围违规。

有关更多信息，请参阅 指定模块输入范围违规 。
'on'
'off'（默认）

DetectDeadLogic

指定是否分析模型中的死逻辑。
'on'
'off'（默认）

DetectDivisionByZero

指定是否分析模型中的除以零错误。
'on'（默认）
'off'

DetectDSMAccessViolations

指定是否分析模型中是否存在数据存储访问冲突。
'on'
'off'（默认）
DetectHISMViolationsHisl_0002

指定是否检查导致非有限结果的 rem 和 reciprocal 运算的使用情况。
'on'
'off'（默认）
DetectHISMViolationsHisl_0003

指定是否检查输入可以为负数的 Square Root 运算的使用情况。
'on'
'off'（默认）
DetectHISMViolationsHisl_0004

指定是否检查导致非有限结果的 log 和 log10 运算的使用情况。
'on'
'off'（默认）
DetectHISMViolationsHisl_0028

指定是否检查输入可以为零或负数的倒数 Square Root 模块的使用情况。
'on'
'off'（默认）

DetectInfNaN

指定是否分析模型中的非有限和 NaN 浮点值。
'on'
'off'（默认）

DetectIntegerOverflow

指定是否分析模型中的整数和定点数据溢出错误。
'on'（默认）
'off'

DetectOutOfBounds

指定是否分析模型中是否存在超出范围的数组访问错误。
'on'（默认）
'off'

DetectSubnormal

指定是否分析模型中的次正常浮点值。
'on'
'off'（默认）

DisplayReport

显示Simulink Design Verifier分析完成分析后生成的报告。

当 SaveReport 设置为 'on' 时，此参数启用。
'on'（默认）
'off'

ExistingTestFile

为包含记录的测试用例数据的 MAT 文件指定一个文件夹和文件名。

当 Mode 设置为 'TestGeneration' 且 ExtendExistingTests 设置为 'on' 时，此参数启用。

字符数组

''（默认）

ExtendExistingTests

通过导入从框架模型或闭环仿真模型记录的测试用例来扩展Simulink Design Verifier分析。

当设置为 'on' 时，此参数将启用 ExistingTestFile 和 IgnoreExistTestSatisfied 。

当 Mode 设置为 'TestGeneration' 时，此参数启用。
'on'
'off' （默认）

HarnessModelFileName

为框架模型指定文件夹和文件名。

当 SaveHarnessModel 设置为 'on' 时，此参数启用。

字符数组

'$ModelName$_harness'（默认）

HarnessSource

指定框架模型的输入模块的类型。

当 SaveHarnessModel 设置为 'on' 时，此参数启用。
'Signal Editor'（默认）
'Signal Builder'

IgnoreCovSatisfied

指定分析模型，忽略满足的覆盖率目标，如CoverageDataFile中所指定。
'on'
'off' （默认）

IgnoreExistTestSatisfied

忽略 ExistingTestFile 中记录的测试用例满足的覆盖率目标。

当 Mode 设置为 'TestGeneration' 且 ExtendExistingTests 设置为 'on' 时，此参数启用。
'on'（默认）
'off'

IncludeRelationalBoundary

指定满足关系边界目标的测试用例的生成。
'on'
'off' （默认）

MakeOutputFilesUnique

指定软件是否通过附加数字后缀使其输出文件名唯一。
'on'（默认）
'off'

MaxProcessTime

指定Simulink Design Verifier分析模型所花费的最长时间（以秒为单位）。

您可以将最大分析时间的值设置为您愿意提供给分析的值。您也可以随时停止分析。

int32

300（默认）

MaxTestCaseSteps

指定尝试满足测试目标时的最大仿真步骤数。

分析在测试生成分析的某些部分使用 MaxTestCaseSteps 参数来限制测试生成使用的步骤数。当您为此参数设置一个较小的值时，受限制的分析部分将在更短的时间内完成。当你设置一个较大的值时，分析的有界部分需要更长的时间，但这些分析部分有可能生成更长的测试用例。

为了达到最佳性能，请将 MaxTestCaseSteps 参数设置为足够大的值以限制所需最长的测试用例，即使最终生成的测试用例比该值长。

当将 TestSuiteOptimization 参数设置为 'LongTestCases' 时，分析将使用连续的测试生成来扩展潜在的测试用例，以便它满足更多的目标。分析将MaxTestCaseSteps参数应用于测试生成的每个单独的迭代。

当 Mode 设置为 'TestGeneration' 时，此参数启用。

int32

10000（默认）

MaxViolationSteps

指定软件搜索属性违规的最大仿真步骤数。

当 Mode 设置为 'PropertyProving' 并且当 ProvingStrategy 设置为 'FindViolation' 或 'ProveWithViolationDetection' 时，此参数启用。

int32

20（默认）

Mode

指定分析模式。
'TestGeneration'（默认）
'PropertyProving'
'DesignErrorDetection'

ModelCoverageObjectives

指定要实现的模型覆盖率类型。

当ModelCoverageObjectives设置为'MCDC'时，Simulink Design Verifier软件启用决策覆盖率和条件覆盖率的每个覆盖率目标。启用条件覆盖率的覆盖率会导致每个决策和条件覆盖率结果都被启用。

当 Mode 设置为 'TestGeneration' 时，此参数启用。
'None'
'Decision'
'ConditionDecision'（默认）
'MCDC'
'EnhancedMCDC'

ModelReferenceHarness

使用 Model模块引用要框架模型中运行的模型。
'on'
'off' （默认）

OutputDir

指定Simulink Design Verifier软件写入其输出的路径名。

字符数组

'sldv_output/$ModelName$'（默认）

ParameterConfiguration

指定如何配置Simulink Design Verifier分析时的参数。
'None'（默认）
'Auto'
'DetermineFromGeneratedCode'
'UseParameterTable'
'UseParameterConfigFile'

ParametersConfigFileName

指定一个为模型定义参数配置的MATLAB®函数。

当 Parameters 设置为 'on' 时，此参数启用。当 ParametersUseConfig 设置为 'on' 时，此参数被禁用。

字符数组

'sldv_params_template.m'（默认）

ProofAssumptions

指定模型中的 Proof Assumption 模块是否启用或禁用。
'EnableAll'
'DisableAll'
'UseLocalSettings'（默认）

ProvingStrategy

指定证明属性的策略。
'FindViolation'
'Prove'（默认）
'ProveWithViolationDetection'

RandomizeNoEffectData

指定对于对测试或证明目标没有影响的输入信号是否使用随机值而不是零。
'on'
'off' （默认）

RebuildModelRepresentation

指定是否重建Simulink Design Verifier分析的模型表示。
'Always'
'IfChangeIsDetected' （默认）

ReduceRationalApprox

指定是否运行附加分析以减少有理近似的实例。
'on'（默认）
'off'

RelativeTolerance

指定在关系边界测试中使用的容差的相对值。

双精度 {'0.01'}

ReportFileName

指定分析报告的文件夹和文件名。

当 SaveReport 设置为 'on' 时，此参数启用。

字符数组

'$ModelName$_report'（默认）

ReportIncludeGraphics

包括报告中属性的屏幕截图。仅在属性证明模式下有效。

当 SaveReport 设置为 'on' 且 Mode 设置为 'PropertyProving' 时，此参数启用。
'on'
'off' （默认）

SaveExpectedOutput

使用测试用例信号仿真模型，并将输出值包含在 Simulink Design Verifier 数据文件中。
'on'
'off' （默认）

SaveHarnessModel

创建由Simulink Design Verifier分析生成的框架模型。

当 SaveReport 设置为 'on' 时，此参数也必须设置为 'on' 。

当设置为 'on' 时，此参数启用 HarnessModelFileName 。
'on'
'off' （默认）

SaveReport

生成并保存Simulink Design Verifier报告。

当此参数设置为 'on' 时， SaveHarnessModel 也必须设置为 'on' 。

当设置为 'on' 时，此参数将启用 ReportFileName、ReportIncludeGraphics 和 DisplayReport 。
'on'
'off' （默认）

SFcnSupport

启用对已编译为与 Simulink Design Verifier 兼容的 S-Function 的支持。参见 S-Function 和 C/C++ 代码的支持限制和注意事项 。
'on'（默认）
'off'

StrictEnhancedMCDC

指定是否使用严格的传播条件进行增强 MCDC 分析。

当 Mode 设置为 'TestGeneration' 且 ModelCoverageObjectives 设置为 'EnhancedMCDC' 时，此参数启用。
'on'
'off' (default)

TestConditions

指定模型中的 Test Condition 模块是否启用或禁用。

当 Mode 设置为 'TestGeneration' 时，此参数启用。
'EnableAll'
'DisableAll'
'UseLocalSettings'（默认）

TestgenTarget

将测试生成目标为模型、将生成的代码指定为顶层模型或将生成的代码指定为模型参考。

字符数组

'Model'（默认）

'GenCodeTopModel'

'GenCodeModelRef'

TestObjectives

指定模型中的 Test Objective 模块是否启用或禁用。

当 Mode 设置为 'TestGeneration' 时，此参数启用。
'EnableAll'
'DisableAll'
'UseLocalSettings'（默认）

TestSuiteOptimization

指定生成测试用例时使用的优化策略。

当 Mode 设置为 'TestGeneration' 时，此参数启用。

如果您使用 LargeModel (Nonlinear Extended) 分析您的模型，软件会显示一条警告消息，提示此选项已被删除，并建议您改用 自动。
'Auto'（默认）
'IndividualObjectives'
'LongTestCases'
'LargeModel (Nonlinear Extended)'

UseParallel

指定是否使用并行计算来验证测试用例或反例。此选项需要Parallel Computing Toolbox™许可证。
'on'
'off' (default)

备选方法

要设置分析选项，请在 Design Verifier 选项卡的 准备 部分中，从模式设置下拉菜单中点击设置 。

版本历史记录

在 R2007a 中推出

另请参阅

| | |

主题