Main Content

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

设计验证器窗格：结果

Configuration Parameter window showing Results parameter under Design Verifier pane.

结果窗格概述

指定控制 Simulink® Design Verifier™ 如何处理其生成的结果的选项。

另请参阅

查看分析结果

数据文件名

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

设置

默认： $ModelName$_sldvdata

  • （可选）输入绝对路径或相对于 输出文件夹 中指定的路径名的相对路径。

  • 输入 MAT 文件的文件名。

  • $ModelName$ 是一个代表模型名称的标记。

命令行信息

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

另请参阅

包括预期输出值

使用测试用例信号仿真模型，并将输出值包含在 Simulink Design Verifier 数据文件中。

设置

默认:离开

开启

使用分析产生的测试用例信号仿真模型。对于每个测试用例，软件收集与顶层系统中的 Outport 模块相关的仿真输出值，并将这些值包含在它生成的 MAT 文件中。

关闭

不仿真模型并收集输出值以包含在分析生成的 MAT 文件中。

提示

  • MAT 文件的 TestCases.expectedOutput 子字段包含输出值。有关更多信息，请参阅 生成 sldvData 结构 。

  • 当启用 包括预期的输出值 时，Simulink Design Verifier 会使用它生成的每个测试用例连续仿真模型。启用此选项需要更多时间让Simulink Design Verifier完成分析。

命令行信息

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

另请参阅

随机化不影响结果的数据

指定对于对测试或证明目标没有影响的输入信号是否使用随机值而不是零。

设置

默认:离开

开启

为测试用例或反例信号分配随机值，这些随机值不会影响模型中的测试结果或证明目标。此选项可以增强可追溯性并改善您的回归测试。

关闭

将零分配给不影响模型中的测试结果或证明目标的测试用例或反例信号。

提示

  • 当Simulink Design Verifier内部分析引擎未指定值时，此选项将用随机值替换默认数据值。当某个值不影响测试或证明目标的满足时，生成的分析报告会用破折号（-）表示该值。

  • Simulink Design Verifier生成的分析报告显示了此选项的设置。

  • 启用此选项可以增强仿真测试用例或反例时的可追溯性。例如，考虑以下模型：

    只有进入Switch模块控制端口的信号才会影响其决策覆盖率。如果 Randomize data that does not affect outcome 参数关闭，Simulink Design Verifier 将使用零来表示来自 In1 和 In3 的信号。检查测试用例或反例仿真的结果时，不清楚哪一个信号通过了Switch模块，因为它们具有相同的值。但是如果打开Randomize data that does not affect outcome参数，软件将使用唯一的值来表示每个信号。在这种情况下，更容易确定哪个信号通过Switch模块。

命令行信息

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

另请参阅

分析后生成单独的框架模型

创建由Simulink Design Verifier分析生成的框架模型。

设置

默认:离开

开启

将Simulink Design Verifier生成的框架模型保存为模型文件。

关闭

不保存Simulink Design Verifier生成的框架模型。

依赖

此参数启用 框架模型文件名 。

命令行信息

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

另请参阅

框架模型文件名

为框架模型指定文件夹和文件名。

设置

默认： $ModelName$_harness

  • （可选）输入绝对路径或相对于 输出文件夹 中指定的路径名的相对路径。

  • 输入框架模型的文件名。

  • $ModelName$ 是一个代表模型名称的标记。

依赖

该参数由 分析后生成单独的框架模型 启用。

命令行信息

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

另请参阅

生成的框架中的参考输入模型

使用 Model模块引用要框架模型中运行的模型。

设置

默认:在

开启

使用 Model模块引用要框架模型中运行的模型。

关闭

框架模型中使用该模型的副本。

提示

  • 如果框架模型中的测试单元是子系统，则配置参数对话框中的Simulink仿真优化参数的值会影响覆盖率结果。

    注意

    仿真优化参数位于以下配置参数对话框窗格中：

    • 优化窗格

    • 优化 > 信号和参数窗格

    • 优化 > Stateflow窗格

  • 在 Design Verifier > 参数窗格中，如果您选择 Apply parameters 参数，Simulink Design Verifier 会使用包含框架模型中原始模型副本的子系统，即使您选择 生成的框架中的引用输入模型 。

命令行信息

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

另请参阅

框架来源

指定框架模型的输入模块的类型。

设置

默认:信号编辑器

信号编辑器

生成一个单独的框架模型，以 Signal Editor模块作为输入模块。

信号构建器

生成一个单独的框架模型，以 Signal Builder模块作为输入模块。

依赖

该参数由 分析后生成单独的框架模型 启用。

命令行信息

参数： DVHarnessSource
类型：字符数组
值： 'Signal Editor' | 'Signal Builder'
默认： 'Signal Editor'

另请参阅

测试文件名

Simulink Test™ 中的测试文件名的名称和路径

设置

默认： $ModelName$_test

  • 输入包含Simulink Design Verifier结果的测试文件的文件名。

  • $ModelName$ 是一个代表模型名称的标记。

  • 您可以输入绝对路径，或者相对于设计验证器窗格中 输出文件夹 指定的路径。

依赖

如果您拥有 Simulink Test 许可证，此参数可见并启用。

命令行信息

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

另请参阅

测试工具名称

Simulink Test 中的测试框架名称

设置

默认： $ModelName$_sldvharness

  • 输入为仿真Simulink Design Verifier测试用例而构建的测试框架的有效名称。测试框架对应参数 测试文件名 指定的测试文件。

  • $ModelName$ 标记代表模型名称。

  • 输入有效的 MATLAB® 标识符作为测试框架名称。

依赖

此参数可见，并使用 Simulink Test 许可证启用。

命令行信息

参数： DVSlTestHarnessName
类型：字符数组
值：任何有效的文件名
默认： '$ModelName$_sldvharness'

另请参阅