主要内容

金宝app设计验证器选项

“配置参数”对话框中的选项

您可以为Simulink设置选项金宝app®在Configuration Parameters对话框中进行Design Verifier™分析。要查看选项，请打开设计验证器选项卡。在准备节中，从下拉菜单中选择模式设置，然后单击设置．的设计验证器打开模型配置参数的窗格。

默认情况下，选项为金宝appSimulink设计验证器不会出现在“配置参数”对话框中。当你打开设计验证器选项卡,金宝appSimulink设计验证器将其默认选项与模型关联。保存模型之后，您可以访问的选项金宝appSimulink设计验证器直接从“配置参数”对话框中选择。

看到设置模型配置参数有关使用此接口的更多信息。

设计验证选项对象

你可以使用sldvoptions指定函数金宝appSimulink设计验证器选项在命令行。

在MATLAB中查看®命令窗口中与Simulink模型关联的设计验证选项，使用以下语法:金宝app

选项= sldvoptions('model_name”);(选择)

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

使用以下参数配置的行为金宝appSimulink设计验证器．使用get_param和set_param函数以编程方式检索和指定这些参数的值。

对于每个参数位置列表示在“配置参数”对话框中设置其值的位置。的值列显示所需值的类型、可能的值(用竖线分隔)和默认值(用大括号括起来)。

参数

位置

值

DVAbsoluteTolerance

由浮点绝对容差的参数。设计验证器>测试生成窗格。

双{' 1.0 e-05 '}

DVAssertions

由断言块的参数。设计验证器>财产证明窗格。

'EnableAll' | ' disable ' | {'UseLocalSettings'}

DVAutomaticStubbing

由自动存根不支持的块和函数金宝app的参数。设计验证器窗格。

{'开'}| '关'

DVBlockReplacement

由应用块替换的参数。设计验证器>块替换窗格。

'on' | {'off'}

DVBlockReplacementModelFileName

由输出模型的文件路径的参数。设计验证器>块替换窗格。

字符数组{' ModelName _replacement美元'}

DVBlockReplacementRulesList

由块替换规则列表的参数。设计验证器>块替换窗格。

字符数组{' < FactoryDefaultRules > '}

DVCodeAnalysisExtraOptions

由代码分析的附加选项的参数。设计验证器窗格。

字符数组{"}

DVCoverageDataFile

由覆盖数据文件的参数。设计验证器>测试生成窗格。

字符数组{"}

DVCovFilter

由忽略基于过滤器的目标的参数。设计验证器窗格。

'on' | {'off'}

DVCovFilterFileName

由过滤器文件(s)的参数。设计验证器窗格。

字符数组{"}

DVDataFileName

由数据文件名的参数。设计验证器>结果窗格。

字符数组{' ModelName _sldvdata美元'}

DVDeadLogicObjectives

由要分析的覆盖目标的参数。设计验证器>设计错误检测窗格。

'Decision' | {'ConditionDecision'} | 'MCDC'

DVDesignMinMaxCheck

由指定的最小值和最大值违规的参数。设计验证器>设计错误检测窗格。

'on' | {'off'}

DVDesignMinMaxConstraints

由使用指定的输入最小值和最大值的参数。设计验证器窗格。

{'开'}| '关'

DVDetectActiveLogic

设定的进行详尽分析在设计验证器>设计错误检测窗格。

'on' | {'off'}

DVDetectBlockInputRangeViolations

设定的违反指定的块输入范围在设计验证器>设计错误检测窗格。

'on' | {'off'}

DVDetectDeadLogic

设定的死逻辑(部分)在设计验证器>设计错误检测窗格。

'on' | {'off'}

DVDetectDivisionByZero

由除以0的参数。设计验证器>设计错误检测窗格。

{'开'}| '关'

DVDetectDSMAccessViolations

由数据存储访问违规的参数。设计验证器>设计错误检测窗格。

'on' | {'off'}

DVDetectInfNaN

由非有限和NaN浮点值的参数。设计验证器>设计错误检测窗格。

'on' | {'off'}

DVDetectIntegerOverflow

由整数溢出的参数。设计验证器>设计错误检测窗格。

{'开'}| '关'

DVDetectOutOfBounds

由超出限制的数组访问的参数。设计验证器>设计错误检测窗格。

{'开'}| '关'

DVDetectSubnormal

由非正常浮点值的参数。设计验证器>设计错误检测窗格。

'on' | {'off'}

DVDisplayReport

由报告显示的参数。设计验证器>报告窗格。

{'开'}| '关'

DVExtendExistingTests

由扩展现有的测试用例的参数。设计验证器>测试生成窗格。

'on' | {'off'}

DVExistingTestFile

由数据文件的参数。设计验证器>测试生成窗格。

字符数组{"}

DVHarnessModelFileName

由线束模型文件名的参数。设计验证器>结果窗格。

字符数组{' ModelName _harness美元'}

DVHarnessSource

由利用源的参数。设计验证器>结果窗格。

{'信号生成器'}| '信号编辑器'

DVIgnoreCovSatisfied

由忽略现有覆盖数据中满足的目标的参数。设计验证器>测试生成窗格。

'on' | {'off'}

DVIgnoreExistTestSatisfied

由忽略现有测试用例所满足的目标的参数。设计验证器>测试生成窗格。

{} |“关闭”

DVIncludeRelationalBoundary

由包括关系边界目标的参数。设计验证器>测试生成窗格。

{'开'}| '关'

DVMakeOutputFilesUnique

由通过添加后缀使输出文件名唯一的复选框。设计验证器窗格。

{'开'}| '关'

DVMaxProcessTime

由最大分析时间的参数。设计验证器窗格。

双{300}

DVMaxTestCaseSteps

由最大测试用例步骤的参数。设计验证器>测试生成窗格。

int32{10000}

DVMaxViolationSteps

由最大违例步骤的参数。设计验证器>财产证明窗格。

int32{“20”}

DVMode

由模式的参数。设计验证器窗格。

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

DVModelCoverageObjectives

由模型覆盖目标的参数。设计验证器>测试生成窗格。

'无' | 'Decision' | {'ConditionDecision'} | 'MCDC' | 'EnhancedMCDC'

DVModelReferenceHarness

由生成线束中的参考输入模型的参数。设计验证器>结果窗格中的“配置参数”对话框。

'on' | {'off'}

DVOutputDir

设定的输出文件夹在设计验证器窗格。

字符数组{' sldv_output / ModelName美元'}

DVParameterConstraints

设定的约束的参数表中设计验证器>参数窗格。

双数组{[]}

DVParameterNames

设定的名字的参数表中设计验证器>参数窗格。

双数组{[]}

DVParameterUseInAnalysis

设定的使用的参数表中设计验证器>参数窗格。

单元阵列{[]}

DVParameters

设定的启用参数配置在设计验证器>参数窗格。

'on' | {'off'}

DVParametersConfigFileName

设定的参数配置文件在设计验证器>参数窗格。

当DVParametersUseConfig设为“上”．

字符数组{' sldv_params_template.m '}

DVParametersUseConfig

设定的使用参数表在设计验证器>参数窗格。

当设置为“上”，此参数禁用DVParametersConfigFileName．

'on' | {'off'}

DVProofAssumptions

由证明假设的参数。设计验证器>财产证明窗格。

'EnableAll' | ' disable ' | {'UseLocalSettings'}

DVProvingStrategy

由策略的参数。设计验证器>财产证明窗格。

'FindViolation' | {'Prove'} | 'ProveWithViolationDetection'

DVRandomizeNoEffectData

由随机化不影响结果的数据的参数。设计验证器>结果窗格。

'on' | {'off'}

DVRebuildModelRepresentation

由重建模型表示的参数。设计验证器窗格。

'总是' |{'如果检测到更改'}

DVReduceRationalApprox

 由运行额外的分析以减少合理近似的实例的参数。设计验证器窗格。

{'开'}| '关'

DVRelativeTolerance

由浮点相对容差的参数。设计验证器>测试生成窗格。

双{' 0.01 '}

DVReportFileName

由报告文件名的参数。设计验证器>报告窗格。

字符数组{' ModelName _report美元'}

DVReportIncludeGraphics

由包括属性的屏幕截图的参数。设计验证器>报告窗格。

'on' | {'off'}

DVReportPDFFormat

由生成PDF格式的附加报告的参数。设计验证器>报告窗格。

'on' | {off'}

DVSaveExpectedOutput

由包括预期的输出值的参数。设计验证器>结果窗格。

'on' | {'off'}

DVSaveHarnessModel

由分析后生成单独的线束模型的参数。设计验证器>结果窗格。

'on' | {off'}

DVSaveReport

由生成结果报告的参数。设计验证器>报告窗格。

'on' | {off'}

DVSFcn金宝appSupport

由金宝app在分析中支持s函数的参数。设计验证器窗格。

{'打开'}|关闭'

DVSlTestHarnessName

由测试线束名称的参数。设计验证器>结果窗格。

字符数组{' ModelName _sldvharness美元'}

DVSlTestFileName

由测试文件名的参数。设计验证器>结果窗格。

字符数组{' ModelName _t美元'}

DVStrictEnhancedMCDC

由使用严格的传播条件的参数。设计验证器>测试生成窗格。

'on' | {'off'}

DVTestConditions

由测试条件的参数。设计验证器>测试生成窗格。

'EnableAll' | ' disable ' | {'UseLocalSettings'}

DVTestgenTarget

由测试生成目标的参数。设计验证器>测试生成窗格。

{'Model'} | 'GenCodeTopModel'|“GenCodeModelRef”

DVTestObjectives

由测试的目标的参数。设计验证器>测试生成窗格。

'EnableAll' | ' disable ' | {'UseLocalSettings'}

DVTestSuiteOptimization

由测试套件优化的参数。设计验证器>测试生成窗格。

如果你用遗留大型模型(非线性扩展)，软件会显示一条警告信息，提示此选项已被删除，并建议您使用汽车代替。

{'Auto'} | ' individualgoals '|“LongTestcases”|“大型模型(非线性扩展)”

DVUseParallel

 由用并行计算验证测试用例或反例的参数。设计验证器窗格。

'on' | {'off'}

相关的话题