将测试用例导出到 Simulink Test

模型验证通常需要进行反复测试，以实现特定目标或达到覆盖率准则。如果您要进行反复测试，可考虑使用 Simulink^® Test™ 中的测试管理器来构造测试用例、存档测试结果和生成报告。您可以使用 Simulink Design Verifier™ 生成测试用例，并将测试输入导出到在 Simulink Test 管理器中自动创建的新测试用例。

要将生成的输入导出到 Simulink Test 中的新测试用例，请执行以下操作：

选择现有的 Simulink Design Verifier 结果文件，或通过分析您的模型生成新结果。
- 如果您使用现有结果文件，可以通过以下任一种方式加载结果：
  - 使用 Simulink Test 命令 sltest.import.sldvData (Simulink Test)。
  - 使用 Design Verifier 选项卡中的加载以前的结果。选择包含分析结果的 MAT 文件或 Excel^® 文件。
- 如果您运行模型分析，则分析完成后会显示 Design Verifier 的“结果摘要”窗口。
在结果摘要窗口中，点击将测试用例导出到 Simulink Test。此时会打开“导出 Design Verifier 测试用例”对话框。
在“导出 Design Verifier 测试用例”对话框中，您可以执行以下操作：
- 将测试数据格式设置为 MAT 或 Excel。
- 点击确定生成测试文件和测试框架。
Simulink Test 会生成测试文件和测试框架。在测试管理器中，展开测试浏览器中的新测试文件以查看各个测试用例。

生成测试用例并将其导出到 Simulink Test

此示例说明如何生成测试用例以实现控制器子系统的覆盖率目标。此示例还说明如何从模型中的测试框架添加功能测试用例。此示例需要 Simulink Test 许可证。

模型是一个闭环热泵系统。控制器接受测得的室温和设定温度输入。控制器输出一条包含三个信号的总线，这三个信号分别控制风扇、热泵和热泵的方向。模型包含一个用于测试加热和冷却场景的框架。

打开模型。

openExample('simulinktest/GenerateTestCasesUsingSimulinkDesignVerifierExample');

将当前工作文件夹设置为可写文件夹。
在模型中，为 Controller 子系统生成测试。右键点击 Controller 模块。要向菜单中添加 Design Verifier 选项，请指向选择 App，然后点击 Design Verifier 按钮。然后，在 Design Verifier 部分中，点击“生成测试”按钮。Simulink Design Verifier 会为组件生成测试。
在 Simulink Design Verifier 的“结果摘要”窗口中，点击将测试用例导出到 Simulink Test。
在“导出 Design Verifier 测试用例”对话框中，点击确定。

测试管理器会在测试文件中显示六个新测试用例。
在模型中，点击透视视图标记以查看新的测试框架。
向模型中的另一个测试框架添加一个测试用例。在测试管理器中，指向新测试文件名，然后点击“同步测试文件”按钮。
测试管理器会提示您为 Requirement2 测试框架添加测试。选择仿真作为测试类型，然后点击 更新测试文件。
测试管理器会将 Requirement2 测试用例添加到测试文件中。

另请参阅

sltest.import.sldvData (Simulink Test)