Main Content

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

Simulink Design Verifier 选项

Simulink® Design Verifier™ 提供了一套全面的选项来控制和定制 Simulink 模型的验证和确认过程。这些选项涵盖了广泛的功能，包括但不限于通过定义错误搜索深度来选择分析类型、设置时间和资源限制以及定制测试用例生成以实现不同的覆盖率度量。

配置参数对话框中的选项

您可以在配置参数对话框中设置Simulink Design Verifier分析的选项。要查看选项，请打开Design Verifier选项卡。在准备部分中，从下拉列表中点击设置以打开模型配置参数的Design Verifier窗格。

默认情况下，Simulink Design Verifier 的选项不会出现在配置参数对话框中。当您打开 Design Verifier 选项卡时，Simulink Design Verifier 会将其默认选项与模型关联起来。保存模型后，您可以直接从配置参数对话框访问 Simulink Design Verifier 的选项。

有关使用此接口的更多信息，请参阅为模型设置模型配置参数。

设计验证选项对象

您可以使用 sldvoptions 函数在命令行指定 Simulink Design Verifier 选项。

要查看与 Simulink模型相关的选项，请在 MATLAB® 命令窗口中键入此语法：

opts = sldvoptions('model_name');
get(opts)

设计验证选项的命令行参数

使用以下参数来配置Simulink Design Verifier的行为。使用 get_param 和 set_param 函数以编程方式检索和指定这些参数的值。

该表根据 Simulink Design Verifier 选项对话框中的特定工作流程和位置对参数进行分组。

窗格选项

UI标签

命令行参数

值

设计验证器分析选项

模式

DVMode

{'TestGeneration'} | 'DesignErrorDetection' | 'PropertyProving'

最大分析时间（秒）

DVMaxProcessTime

双精度 {300}

输出

导出目录

DVOutputDir

字符数组{'sldv_output/$ModelName$'}

通过添加后缀使输出文件名唯一DVMakeOutputFilesUnique{'on'} | 'off'
重建模型表示重建模型表示DVRebuildModelRepresentation'Always' | {'If change is detected'}
自动桩件不受支持的模块和功能DVAutomaticStubbing{'on'} | 'off'
使用指定的输入最小值和最大值DVDesignMinMaxConstraints{'on'} | 'off'
运行附加分析以减少有理近似的情况DVReduceRationalApprox{'on'} | 'off'
使用并行计算验证测试用例或反例DVUseParallel'on' | {'off'}
排除并申述目标根据过滤器忽略目标DVCovFilter'on' | {'off'}
过滤文件DVCovFilterFileName

字符数组{''}

筛选器资源管理器DVCovFilterFileName 
代码分析选项在分析中支持 S 函数DVSFcnSupport{'on'} | off'
忽略 volatile 限定符DVCodeAnalysisIgnoreVolatile{'on'} | off'
代码分析的附加选项DVCodeAnalysisExtraOptionscharacter array {''}
区模块替换区模块替换应用模块替换DVBlockReplacement

'on' | {'off'}

模块替换规则列表DVBlockReplacementRulesList字符数组{'<FactoryDefaultRules>'}
输出模型输出模型的文件路径DVBlockReplacementModelFileName字符数组{'$ModelName$_replacement'}
参数和变体参数

参数配置

DVParameterConfiguration 
参数说明 >参数表DVParameterNames双精度数组{[]}
DVParameterConstraints双精度数组{[]}
DVParameterUseInAnalysis元胞数组{[]}
参数说明 参数表 参数配置文件DVParametersConfigFileName字符数组{'sldv_params_template.m'}
变体分析所有启动变体DVAnalyzeAllStartupVariants 
测试生成测试生成测试生成目标DVTestgenTarget{'Model'} | 'GenCodeTopModel' | 'GenCodeModelRef'
模型覆盖率目标DVModelCoverageObjectives'None' | 'Decision' | {'ConditionDecision'} | 'MCDC' | 'EnhancedMCDC'
测试条件DVTestConditions'EnableAll' | 'DisableAll' | {'UseLocalSettings'}
测试目标DVTestObjectives'EnableAll' | 'DisableAll' | {'UseLocalSettings'}
最大测试用例步骤DVMaxTestCaseStepsint32 {10000}
测试套件优化DVTestSuiteOptimization{'Auto'} | 'IndividualObjectives' | 'LongTestcases' | 'LargeModel (Nonlinear Extended)'
关系边界目标包括关系边界DVIncludeRelationalBoundary{'on'} | 'off'
浮点绝对容差DVAbsoluteTolerance双精度 {'1.0e-05'}
浮点相对容差DVRelativeTolerance双精度 {'0.01'}
增强型 MCDC使用严格的传播条件DVStrictEnhancedMCDC'on' | {'off'}
添加缺失覆盖率的测试使用现有覆盖率数据进行扩展DVIgnoreCovSatisfied'on' | {'off'}
覆盖率数据DVCoverageDataFile字符数组{''}
使用现有测试数据进行扩展DVExtendExistingTests'on' | {'off'}
测试数据DVExistingTestFile字符数组{''}
报告中的现有测试/覆盖率数据满足的单独目标DVIgnoreExistTestSatisfied{on'}| 'off'
设计错误检测建模错误死逻辑（部分）DVDetectDeadLogic'on' | {'off'}
运行详尽分析DVDetectActiveLogic'on' | {'off'}
要分析的覆盖目标DVDeadLogicObjectives'Decision' | {'ConditionDecision'} | 'MCDC'
超出数组访问范围DVDetectOutOfBounds{'on'} | 'off'
数据存储访问冲突DVDetectDSMAccessViolations'on' | {'off'}
数值错误被零除DVDetectDivisionByZero{'on'} | 'off'
整数溢出DVDetectIntegerOverflow{'on'} | 'off'
非有限和 NaN 浮点值DVDetectInfNaN'on' | {'off'}
低于正常值的浮点值DVDetectSubnormal'on' | {'off'}
信号范围误差指定最小值和最大值违规DVDesignMinMaxCheck'on' | {'off'}
指定模块输入范围违规DVDetectBlockInputRangeViolations'on' | {'off'}
高完整性系统建模检查余数和倒数运算的用法 - hisl_0002DVDetectHISMViolationsHisl_0002 
平方根运算的用法 - hisl_0003DVDetectHISMViolationsHisl_0003 
log 和 log10 运算的用法 - hisl_0004DVDetectHISMViolationsHisl_0004 
Reciprocal Square Root 模块的使用 - hisl_0028DVDetectHISMViolationsHisl_0028 
属性证明属性证明Assertion 模块DVAssertions'EnableAll' | 'DisableAll' | {'UseLocalSettings'}
证明假设DVProofAssumptions'EnableAll' | 'DisableAll' | {'UseLocalSettings'}
战略DVProvingStrategy'FindViolation' | {'Prove'} | 'ProveWithViolationDetection'
最大违规步骤DVMaxViolationStepsint32 {'20'}
结果数据文件选项数据文件名DVDataFileName字符数组{'$ModelName$_sldvdata'}
包括预期输出值DVSaveExpectedOutput'on' | {'off'}
随机化不影响结果的数据DVRandomizeNoEffectData'on' | {'off'}
框架模型选项分析后生成单独的框架模型DVSaveHarnessModel'on' | {'off'}
框架模型文件名DVHarnessModelFileName字符数组{'$ModelName$_harness'}
生成的框架中的参考输入模型DVModelReferenceHarness'on' | {'off'}
框架来源DVHarnessSource{'Signal Builder'} | 'Signal Editor'
Simulink Test 选项测试文件名DVSlTestFileName字符数组{'$ModelName$_test'}
测试工具名称DVSlTestHarnessName字符数组{'$ModelName$_sldvharness'}
报告报告生成结果报告DVSaveReport'on' | {off'}
以 PDF 格式生成附加报告DVReportPDFFormat'on' | {off'}
报告文件名DVReportFileName字符数组{'$ModelName$_report'}
包括属性的屏幕截图DVReportIncludeGraphics'on' | {off'}
显示报告DVDisplayReport{'on'} | 'off'

相关主题