Main Content

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

设计验证器窗格：测试生成

Configuration Parameter window showing Test Generation parameter under Design Verifier pane.

测试生成窗格概述

指定控制 Simulink® Design Verifier™ 如何为其分析的模型生成测试的选项。

另请参阅

测试生成目标

指定测试生成的目标。

  • 默认:模型 为模型生成测试用例。

  • 生成的顶层模型代码 为目标生成代码作为顶层模型，然后使用生成的代码生成测试用例。

  • 生成的模型引用代码 生成目标代码作为模型参考，然后使用生成的代码生成测试用例。

命令行信息

参数： DVTestgenTarget
类型：字符数组
值： 'Model' | 'GenCodeTopModel' | 'GenCodeModelRef' |

另请参阅

模型覆盖率目标

指定Simulink Design Verifier尝试实现的模型覆盖率类型。

设置

默认:条件决策

无

生成仅实现您在模型中指定的自定义目标的测试用例，例如使用 Test Objective 模块。

决策

生成实现决策覆盖率的测试用例。有关更多信息，请参阅 决策 。

条件决策

生成实现条件和决策覆盖率的测试用例。有关更多信息，请参阅 条件 。

MCDC

生成实现修正条件决策覆盖率（MCDC）的测试用例。当您选择MCDC时，Simulink Design Verifier会自动启用每个覆盖率目标的决策和条件覆盖率。有关更多信息，请参阅 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。测试使用以下方法检查这些模块中的关系操作：

  • 整数和定点操作数的操作数值相等。

  • 所有操作数的操作数值都在一定容差范围内。对于整数和定点操作数，容差是固定的。对于浮点操作数，容差是使用输入和您指定的容差值计算的。如果您未指定容差差值，则使用默认值。

设置

默认:离开

开启

对于支持的模块，生成测试用例以满足关系边界目标。

关闭

忽略生成测试用例的关系边界目标。

依赖项

如果选择此选项，则可以使用默认值或指定以下值：

命令行信息

参数： DVIncludeRelationalBoundary
类型：字符数组
值： 'on'|'off'
默认： 'off'

另请参阅

浮点绝对容差

指定关系边界测试中使用的绝对容差差值。关系边界目标适用于具有显式或隐式关系操作的模块，例如 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

另请参阅

浮点相对容差

指定关系边界测试中使用的相对容差差值。关系边界目标适用于具有显式或隐式关系操作的模块，例如 Relational Operator。仅当这些模块中的关系运算使用浮点操作数时，容差差值才适用。

  • 对于整数操作数，容差差值固定为 1。

  • 对于定点操作数，容差差值是最低有效位。

设置

默认:0.01

对于受支持的模块，关系边界测试检查模块中操作数值相差一定容差差的关系操作。软件使用以下公式计算容差值

max(absTol, relTol* max(|lhs|,|rhs|))，其中：

  • absTol 是您可以指定的绝对容差值。

  • relTol 是您指定的相对容差值。

  • lhs 是左操作数，rhs 是右操作数。

  • max(x,y) 返回 x 或 y，以较大者为准。

依赖项

要输入此选项的值，请选择 包括关系边界目标 。

命令行信息

参数： DVRelativeTolerance
类型： double
值：任何有效值
默认:0.01

另请参阅

使用严格的传播条件

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

设置

默认:离开

开启

使用严格的传播条件来增强 MCDC 分析。

关闭

不使用严格的传播条件进行增强型 MCDC 分析。

依赖

当您选择 增强的 MCDC 作为 模型覆盖率目标 时，此参数启用。

命令行信息

参数： DVStrictEnhancedMCDC
类型：字符数组
值： 'on' | 'off'
默认： 'off'

另请参阅

使用现有覆盖率数据进行扩展

指定是否使用现有的覆盖率数据进行测试生成。Simulink Design Verifier 为现有覆盖率数据未涵盖的目标生成测试用例。

设置

默认:离开

开启

通过生成额外的测试用例来扩展覆盖率数据中的覆盖率。

关闭

分析忽略了现有的覆盖率数据。

命令行信息

参数： DVIgnoreCovSatisfied
类型：字符数组
值： 'on' | 'off'
默认： 'off'

覆盖率数据

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

设置

默认值： ''

  • 指定包含满足的覆盖率目标数据的文件的文件夹和文件名。

  • 单击“浏览”导航到并选择一个现有文件。

命令行信息

参数： DVCoverageDataFile
类型：字符数组
值：任何有效的路径和文件名
默认值： ''

浏览

浏览到包含有关满足的覆盖率目标的数据的覆盖率文件。

依赖项

要启用此参数，请选择 使用现有覆盖率数据进行扩展 。

另请参阅

使用现有测试数据进行扩展

指定是否通过导入先前生成的测试用例、从框架模型或闭环仿真模型记录的测试用例来扩展Simulink Design Verifier中生成的测试用例集。

设置

默认:离开

开启

使用测试数据中指定的测试用例来扩展生成的测试用例集。

关闭

分析忽略了现有的测试数据。

命令行信息

参数： DVExtendExistingTests
类型：字符数组
值： 'on' | 'off'
默认： 'off'

测试数据

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

设置

默认值： ''

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

  • 单击“浏览”导航到并选择一个现有文件。

命令行信息

参数： DVExistingTestFile
类型：字符数组
值：任何有效的路径和文件名
默认值： ''

浏览

浏览到包含生成或记录的测试用例数据和有关满足的覆盖率目标的数据的 MAT 文件。

依赖项

要启用此参数，请选择 使用现有测试数据进行扩展 。

另请参阅

报告中的现有测试/覆盖率数据满足的单独目标

指定是否在分析报告中将现有测试或覆盖率数据满足的测试目标状态与扩展覆盖率和测试数据分离。

设置

默认:在

开启

生成分析报告，其中现有测试和覆盖率数据与扩展测试和覆盖率数据分开。

关闭

生成结合现有和扩展覆盖率和测试数据的报告。

命令行信息

参数： DVIgnoreExistTestSatisfied
类型：字符数组
值： 'on' | 'off'
默认： 'on'

另请参阅

相关主题