Main Content

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

将测试用例导出至Simulink Test

模型验证往往需要反复测试才能达到一定的目标或覆盖率准则。如果您运行重复测试,请考虑使用Simulink® Test™中的测试管理器来结构体测试用例、存档测试结果并生成报告。您可以使用 Simulink Design Verifier™ 生成测试用例,并将测试输入导出到 Simulink Test 管理器中自动创建的新测试用例。

要将生成的输入导出到 Simulink Test 中的新测试用例:

  1. 选择现有的Simulink Design Verifier结果文件或通过分析模型来生成新结果。

    • 如果使用现有的结果文件,则可以通过以下方式加载结果:

      • 使用 Simulink Test 命令 sltest.import.sldvData (Simulink Test)

      • Design Verifier 标签中使用 Load Earlier Results。选择包含分析结果的 MAT 文件或 Excel® 文件。

    • 如果您运行模型分析,则分析完成后会出现“设计验证器结果摘要”窗口。

  2. 在结果摘要窗口中,点击将测试用例导出到 Simulink Test 。打开“导出设计验证测试用例”对话框。

  3. 在导出设计验证器测试用例对话框中,您可以:

    • 选择 框架源InportSignal EditorSignal Builder

    • 测试数据格式 设置为 MAT 或 Excel 。

    • 单击OK生成测试文件和测试框架。

  4. Simulink Test 生成测试文件和测试框架。在测试管理器中,展开测试浏览器中的新测试文件以查看各个测试用例。

生成并导出测试用例至Simulink Test

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

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

  1. 打开模型。

    openExample('simulinktest/GenerateTestCasesUsingSimulinkDesignVerifierExample');
  2. 将当前工作文件夹设置为可写文件夹。

  3. 在模型中,为控制器子系统生成测试。右键单击控制器模块并选择 Design Verifier > 生成子系统测试

  4. Simulink Design Verifier结果摘要窗口中,点击将测试用例导出到 Simulink Test

  5. 在导出设计验证器测试用例对话框中,点击OK

    测试管理器在测试文件中显示六个新的测试用例。

  6. 在模型中,点击透视图徽章即可查看新的测试框架。

  7. 向模型中的另一个测试框架添加一个测试用例。在测试管理器中,指向新的测试文件名并点击同步测试文件按钮

  8. 测试管理器提示您为 Requirement2 测试框架添加测试。选择仿真作为测试类型,然后点击更新测试文件

    测试管理器将 Requirement2测试用例添加到测试文件中。

另请参阅

(Simulink Test)