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

sldvoptions

创建设计验证选项对象

全页折叠

语法

options = sldvoptions
options = sldvoptions(model)

说明

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

示例

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

示例

全部折叠

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

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

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 方法。

在命令提示符中打开模型 sldvdemo_cruise_control：

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-function 的额外选项。请参阅S-Function 和 C/C++ 代码的支持限制和注意事项。

字符数组

''（默认值）

CoverageDataFile

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

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

字符数组

''（默认值）

CovFilter

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

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

CovFilterFileName

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

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

字符数组

''（默认值）

DataFileName

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

字符数组

'$ModelName$_sldvdata'（默认值）

DefectChecker

缺陷检查器可帮助您在整个开发阶段轻松检查组件中是否存在常见和关键的设计错误，例如除以零、整数溢出、死逻辑和数组越界。
'on'（默认值）
'off'

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

指定是否检查输入可能为零或负值的 Reciprocal 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 软件写入其输出的路径名。

  • 在 Simulink 缓存中指定一个目录，Simulink Design Verifier 会将其输出写入该目录。例如，$CacheFolder$ 是一个代表缓存文件夹的令牌。

字符数组

  • 'sldv_output/$ModelName$'（默认）

  • '$CacheFolder$'/$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 中推出

全部展开

另请参阅

| | |

主题