Design Verifier 窗格：结果
结果窗格概述
指定控制 Simulink® Design Verifier™ 如何处理其生成的结果的选项。
另请参阅
数据文件名
为包含分析过程中生成的数据的 MAT 文件指定一个文件夹和文件名，这些数据存储在 sldvData 结构体中。
设置
默认值： $ModelName$_sldvdata
（可选）输入绝对路径或相对于输出文件夹中指定的路径名的相对路径。
输入 MAT 文件的文件名。
$ModelName$是一个代表模型名称的标记。
命令行信息
参数：DVDataFileName |
| 类型：字符数组 |
| 值：任何有效的路径和文件名 |
默认值： '$ModelName$_sldvdata' |
另请参阅
包括预期的输出值
使用测试用例信号仿真模型，并将输出值包含在 Simulink Design Verifier 数据文件中。
设置
默认值：Off
On使用分析产生的测试用例信号仿真模型。对于每个测试用例，软件收集与顶层系统中的 Outport 模块相关的仿真输出值，并将这些值包含在它生成的 MAT 文件中。
Off不仿真模型并收集输出值以包含在分析生成的 MAT 文件中。
提示
MAT 文件的
TestCases.expectedOutput子字段包含输出值。有关详细信息，请参阅 生成 sldvData 结构。当启用包括预期的输出值时，Simulink Design Verifier 会使用它生成的每个测试用例连续仿真模型。启用此选项需要更多时间让 Simulink Design Verifier 完成分析。
命令行信息
参数：DVSaveExpectedOutput |
| 类型：字符数组 |
值：'on' | 'off' |
默认值： 'off' |
另请参阅
随机化不影响结果的数据
指定对于对测试或证明目标没有影响的输入信号是否使用随机值而不是零。
设置
默认值：Off
- On
为测试用例或反例信号分配随机值，这些随机值不会影响模型中的测试结果或证明目标。此选项可以增强可追溯性并改善您的回归测试。
- Off
将零分配给不影响模型中的测试结果或证明目标的测试用例或反例信号。
提示
当 Simulink Design Verifier 内部分析引擎未指定值时，此选项将用随机值替换默认数据值。当某个值不影响测试或证明目标的满足时，生成的分析报告会用破折号（-）表示该值。
Simulink Design Verifier 生成的分析报告显示了此选项的设置。
启用此选项可以增强仿真测试用例或反例时的可追溯性。例如，考虑以下模型：
只有进入 Switch 模块控制端口的信号才会影响其决策覆盖率。如果随机化不影响结果的数据参数关闭，Simulink Design Verifier 将使用零来表示来自 In1 和 In3 的信号。检查测试用例或反例仿真的结果时，不清楚哪一个信号通过了 Switch 模块，因为它们具有相同的值。但是如果打开随机化不影响结果的数据参数，软件将使用唯一的值来表示每个信号。在这种情况下，更容易确定哪个信号通过 Switch 模块。
命令行信息
参数：DVRandomizeNoEffectData |
| 类型：字符数组 |
值：'on' | 'off' |
默认值： 'off' |
另请参阅
分析后生成单独的框架模型
创建由 Simulink Design Verifier 分析生成的框架模型。
设置
默认值：Off
- On
将 Simulink Design Verifier 生成的框架模型保存为模型文件。
- Off
不保存 Simulink Design Verifier 生成的框架模型。
依赖关系
此参数启用框架模型文件名。
命令行信息
参数：DVSaveHarnessModel |
| 类型：字符数组 |
值：'on' | 'off' |
默认值： 'off' |
另请参阅
框架模型文件名
为框架模型指定文件夹和文件名。
设置
默认值： $ModelName$_harness
（可选）输入绝对路径或相对于输出文件夹中指定的路径名的相对路径。
输入框架模型的文件名。
$ModelName$是一个代表模型名称的标记。
依赖关系
该参数由分析后生成单独的框架模型启用。
命令行信息
参数：DVHarnessModelFileName |
| 类型：字符数组 |
| 值：任何有效的路径和文件名 |
默认值： '$ModelName$_harness' |
另请参阅
生成的框架中的引用输入模型
使用 Model 模块引用要在框架模型中运行的模型。
设置
默认值：On
- On
使用 Model 模块引用要在框架模型中运行的模型。
- Off
在框架模型中使用该模型的副本。
提示
如果框架模型中的测试单元是子系统，则“配置参数”对话框中的 Simulink 仿真优化参数的值会影响覆盖率结果。
注意
仿真优化参数位于以下“配置参数”对话框窗格中：
优化窗格
优化 > 信号和参数窗格
优化 > Stateflow窗格
在 Design Verifier > 参数窗格中，如果您选择应用参数参数，Simulink Design Verifier 会使用包含框架模型中原始模型副本的子系统，即使您选择生成的框架中的引用输入模型。
命令行信息
参数：DVModelReferenceHarness |
| 类型：字符数组 |
值：'on' | 'off' |
默认值： 'off' |
另请参阅
测试文件名
Simulink Test™ 中的测试文件名的名称和路径
设置
默认值： $ModelName$_test
输入包含 Simulink Design Verifier 结果的测试文件的文件名。
$ModelName$是一个代表模型名称的标记。您可以输入绝对路径，或者相对于 Design Verifier 窗格中输出文件夹指定的路径。
依赖关系
如果您拥有 Simulink Test 许可证，此参数可见并启用。
命令行信息
参数：DVSlTestFileName |
| 类型：字符数组 |
| 值：任何有效的路径和文件名 |
默认值： '$ModelName$_test' |
另请参阅
通过生成测试输入来增加覆盖率 (Simulink Test)
测试框架名称
Simulink Test 中的测试框架名称
设置
默认值： $ModelName$_sldvharness
输入为仿真 Simulink Design Verifier 测试用例而构建的测试框架的有效名称。测试框架对应参数测试文件名指定的测试文件。
$ModelName$标记代表模型名称。输入有效的 MATLAB® 标识符作为测试框架名称。
依赖关系
此参数可见，并使用 Simulink Test 许可证启用。
命令行信息
参数：DVSlTestHarnessName |
| 类型：字符数组 |
| 值：任何有效的文件名 |
默认值： '$ModelName$_sldvharness' |
另请参阅
通过生成测试输入来增加覆盖率 (Simulink Test)
