Design Verifier 窗格：测试生成
测试生成窗格概述
指定控制 Simulink® Design Verifier™ 如何为其分析的模型生成测试的选项。
另请参阅
测试生成目标
指定测试生成的目标。
默认值：模型为模型生成测试用例。
生成的顶层模型代码为目标生成代码作为顶层模型，然后使用生成的代码生成测试用例。
生成的模型引用代码生成目标代码作为模型参考，然后使用生成的代码生成测试用例。
命令行信息
参数：DVTestgenTarget |
| 类型：字符数组 |
值： 'Model' | 'GenCodeTopModel' | 'GenCodeModelRef' |
|
另请参阅
模型覆盖率目标
指定 Simulink Design Verifier 尝试实现的模型覆盖率类型。
设置
默认值：条件决策
- 无
生成仅实现您在模型中指定的自定义目标的测试用例，例如使用 Test Objective 模块。
- 决策
生成实现决策覆盖率的测试用例。有关详细信息，请参阅 决策。
- 条件决策
生成实现条件和决策覆盖率的测试用例。有关详细信息，请参阅 条件。
- MCDC
生成达到 MCDC 覆盖率的测试用例。此外，生成的测试用例避免了下游块的封装效应，从而使测试模块对输出产生影响。当您选择
MCDC时，Simulink Design Verifier 会自动启用每个覆盖率目标的决策和条件覆盖率。有关详细信息，请参阅 MCDC。- 增强的 MCDC
增强型 MCDC 测试用例实现 MCDC 覆盖率并具有附加特性。增强型 MCDC 需要额外的测试用例来更彻底地覆盖复杂的逻辑结构和条件之间的交互。当您选择
Enhanced MCDC时，Simulink Design Verifier 会自动启用 MCDC 覆盖率。有关详细信息，请参阅 增强的 MCDC。
命令行信息
参数：DVModelCoverageObjectives |
| 类型：字符数组 |
值： 'None' | 'Decision' | 'ConditionDecision' | 'MCDC'| 'EnhancedMCDC' |
默认值： 'ConditionDecision' |
另请参阅
测试条件
指定模型中的 Test Condition 模块是否启用或禁用。
设置
默认值：使用局部设置
- 使用局部设置
根据每个模块的启用参数的值启用或禁用 Test Condition 模块。如果选择了模块的启用参数，则启用该模块；否则，禁用该模块。
- 全部启用
启用模型中的所有 Test Condition 模块，无论其启用参数的设置如何。
- 全部禁用
禁用模型中的所有 Test Condition 模块，无论其启用参数的设置如何。
命令行信息
参数：DVTestConditions |
| 类型：字符数组 |
值：'UseLocalSettings' | 'EnableAll' | 'DisableAll' |
默认值： 'UseLocalSettings' |
另请参阅
测试目标
指定模型中的 Test Objective 模块是否启用或禁用。
设置
默认值：使用局部设置
- 使用局部设置
根据每个模块的启用参数的值启用或禁用 Test Objective 模块。如果选择了模块的启用参数，则启用该模块；否则，禁用该模块。
- 全部启用
启用模型中的所有 Test Objective 模块，无论其启用参数的设置如何。
- 全部禁用
禁用模型中的所有 Test Objective 模块，无论其启用参数的设置如何。
命令行信息
参数：DVTestObjectives |
| 类型：字符数组 |
值：'UseLocalSettings' | 'EnableAll' | 'DisableAll' |
默认值： 'UseLocalSettings' |
另请参阅
最大测试用例步数
指定 Simulink Design Verifier 在尝试满足测试目标时所采取的最大仿真步骤数。
分析在测试生成分析的某些部分使用最大测试用例步数参数来限制测试生成使用的步骤数。当您为此参数设置一个较小的值时，受限制的分析部分将在更短的时间内完成。当您设置一个较大的值时，分析的有界部分需要更长的时间，但这些分析部分有可能生成更长的测试用例。
为了获得最佳性能，请将最大测试用例步数参数设置为一个足够大的值来限制所需最长的测试用例，即使最终生成的测试用例比该值长。
当您还为测试套件优化参数指定 LongTestcases 时，分析将使用连续的测试生成来扩展潜在的测试用例，以便它满足更多的目标。当发生这种情况时，分析会将最大测试用例步数参数应用于测试生成的每个单独的迭代。
设置
默认值： 10000
您可以指定一个值，该值表示 Simulink Design Verifier 在尝试满足测试目标时所采取的最大仿真步骤数。
命令行信息
参数：DVMaxTestCaseSteps |
类型：int32 |
| 值：任何有效值 |
默认值： 10000 |
另请参阅
测试套件优化
指定生成测试用例时使用的优化策略。
设置
默认值：自动
- 自动
采用自动适应模型的策略进行分析，以获得更好的分析性能和精度。
- IndividualObjectives
通过生成每个仅针对一个测试目标的用例来最大化套件中的测试用例数量。每个测试用例都很短，也就是说，它只包含几个时间步。
- LongTestcases
合并测试用例以创建更少数量的测试用例。该策略会生成较少但较长的测试用例，每个测试用例都能满足多个测试目标。
- Legacy LargeModel (Nonlinear Extended)
使用不适合模型的静态策略来分析模型。当您使用 Legacy LargeModel (Nonlinear Extended) 分析模型时，Simulink Design Verifier 会显示一条警告消息，提示此选项已弃用，并建议您使用
Auto。自动最有可能比 Legacy LargeModel (Nonlinear Extended) 产生更好的分析结果。
命令行信息
参数：DVTestSuiteOptimization |
| 类型：字符数组 |
值：'Auto' | 'IndividualObjectives' | 'LongTestcases' | Legacy LargeModel (Nonlinear Extended) |
默认值： 'Auto' |
另请参阅
包括关系边界目标
指定满足关系边界目标的测试用例的生成。该目标适用于具有显式或隐式关系操作的模块，例如 Relational Operator。测试使用以下方法检查这些模块中的关系操作：
整数和定点操作数的操作数值相等。
所有操作数的操作数值都在一定容差范围内。对于整数和定点数操作数，容差是固定的。对于浮点操作数，容差是使用输入和您指定的容差值计算的。如果您未指定容差差值，则使用默认值。
设置
默认值：Off
On对于支持的模块，生成测试用例以满足关系边界目标。
Off忽略生成测试用例的关系边界目标。
依存关系
如果选择此选项，则可以使用默认值或指定以下值：
命令行信息
参数：DVIncludeRelationalBoundary |
| 类型：字符数组 |
值： 'on'|'off' |
默认值： 'off' |
另请参阅
接受覆盖率的模型对象 (Simulink Coverage)
浮点绝对容差
指定关系边界测试中使用的绝对容差差值。关系边界目标适用于具有显式或隐式关系操作的模块，例如 Relational Operator。仅当这些模块中的关系运算使用浮点操作数时，容差差值才适用。
对于整数操作数，容差差值固定为 1。
对于定点操作数，容差差值是最低有效位。
设置
默认值：1.0000e-05
对于受支持的模块，关系边界测试检查模块中操作数值相差一定容差差的关系操作。软件使用以下公式计算容差值
max(absTol, relTol* max(|lhs|,|rhs|))，其中：
absTol是您指定的绝对容差值。relTol是您可以指定的相对容差差值。lhs是左操作数，rhs是右操作数。max(x,y)返回x或y中的较大者。
依存关系
要输入此选项的值，请选择 包括关系边界目标。
命令行信息
参数：DVAbsoluteTolerance |
类型：double |
| 值：任何有效值 |
| 默认值：1.0000e-05 |
另请参阅
接受覆盖率的模型对象 (Simulink Coverage)
浮点相对容差
指定关系边界测试中使用的相对容差差值。关系边界目标适用于具有显式或隐式关系操作的模块，例如 Relational Operator。仅当这些模块中的关系运算使用浮点操作数时，容差差值才适用。
对于整数操作数，容差差值固定为 1。
对于定点操作数，容差差值是最低有效位。
设置
默认值：0.01
对于受支持的模块，关系边界测试检查模块中操作数值相差一定容差差的关系操作。软件使用以下公式计算容差值
max(absTol, relTol* max(|lhs|,|rhs|))，其中：
absTol是您可以指定的绝对容差值。relTol是您指定的相对容差值。lhs是左操作数，rhs是右操作数。max(x,y)返回x或y中的较大者。
依存关系
要输入此选项的值，请选择 包括关系边界目标。
命令行信息
参数：DVRelativeTolerance |
类型：double |
| 值：任何有效值 |
| 默认值：0.01 |
另请参阅
接受覆盖率的模型对象 (Simulink Coverage)
使用严格传播条件
指定是否使用严格的传播条件进行增强 MCDC 分析。
设置
默认值：Off
- On
使用严格的传播条件来增强 MCDC 分析。
- Off
不使用严格的传播条件进行增强型 MCDC 分析。
依赖关系
当您选择增强的 MCDC 作为模型覆盖率目标时，此参数启用。
命令行信息
参数：DVStrictEnhancedMCDC |
| 类型：字符数组 |
值：'on' | 'off' |
默认值： 'off' |
另请参阅
使用现有覆盖率数据进行扩展
指定是否使用现有的覆盖率数据进行测试生成。Simulink Design Verifier 为现有覆盖率数据未涵盖的目标生成测试用例。
设置
默认值：Off
- On
通过生成额外的测试用例来扩展覆盖率数据中的覆盖率。
- Off
分析忽略了现有的覆盖率数据。
命令行信息
参数：DVIgnoreCovSatisfied |
| 类型：字符数组 |
值：'on' | 'off' |
默认值： 'off' |
覆盖率数据
指定包含有关满足的覆盖率目标的数据的文件的文件夹和文件名。
设置
默认值： ''
指定包含满足的覆盖率目标数据的文件的文件夹和文件名。
点击浏览导航到并选择一个现有文件。
命令行信息
参数：DVCoverageDataFile |
| 类型：字符数组 |
| 值：任何有效的路径和文件名 |
默认值： '' |
浏览
浏览到包含有关满足的覆盖率目标的数据的覆盖率文件。
依存关系
要启用此参数，请选择使用现有覆盖率数据进行扩展。
另请参阅
使用现有测试数据进行扩展
指定是否通过导入先前生成的测试用例、从框架模型或闭环仿真模型记录的测试用例来扩展 Simulink Design Verifier 中生成的测试用例集。
设置
默认值：Off
- On
使用测试数据中指定的测试用例来扩展生成的测试用例集。
- Off
分析忽略了现有的测试数据。
命令行信息
参数：DVExtendExistingTests |
| 类型：字符数组 |
值：'on' | 'off' |
默认值： 'off' |
测试数据
为包含生成或记录的测试用例数据的 MAT 文件指定文件夹和文件名。
设置
默认值： ''
为包含
sldvData对象中记录的测试用例数据的 MAT 文件指定一个文件夹和文件名。点击浏览导航到并选择一个现有文件。
命令行信息
参数：DVExistingTestFile |
| 类型：字符数组 |
| 值：任何有效的路径和文件名 |
默认值： '' |
浏览
浏览到包含生成或记录的测试用例数据和有关满足的覆盖率目标的数据的 MAT 文件。
依存关系
要启用此参数，请选择使用现有测试数据进行扩展。
另请参阅
报告中的现有测试/覆盖率数据满足的单独目标
指定是否在分析报告中将现有测试或覆盖率数据满足的测试目标状态与扩展覆盖率和测试数据分离。
设置
默认值：On
- On
生成分析报告，其中现有测试和覆盖率数据与扩展测试和覆盖率数据分开。
- Off
生成结合现有和扩展覆盖率和测试数据的报告。
命令行信息
参数：DVIgnoreExistTestSatisfied |
| 类型：字符数组 |
值：'on' | 'off' |
默认值： 'on' |
