通过生成测试输入来增加覆盖率

使用 Simulink^® Design Verifier™，您可以生成可复制设计错误、实现测试目标或满足覆盖率准则的测试输入。Simulink Test™ 可以创建使用 Simulink Design Verifier 的测试输入和预期输出的测试用例。

总体工作流程

测试用例生成遵循此工作流程。

选择现有的 Simulink Design Verifier 结果文件，或通过分析模型来生成新的结果。
- 如果使用现有的结果文件，则可以通过以下方式加载结果：
  - 使用 Simulink Test 命令 sltest.import.sldvData。
  - 使用 Simulink Design Verifier 菜单项。在模型中，在 App 选项卡的模型验证、确认和测试下，点击 Design Verifier。在测试选项卡上，点击 Simulink 测试管理器。在查看结果部分中，点击加载以前的结果。选择包含分析结果的 MAT 文件。
- 如果您运行模型分析，则分析完成后会出现 Simulink Design Verifier 结果摘要窗口。
在结果摘要窗口中，点击将测试用例导出到 Simulink Test。Requirements Table 模块的测试用例和迭代自动链接到相应的需求。
输入现有或新的测试框架的名称。
为生成的测试输入选择一个测试框架源。您可以选择
- 输入端口：输入包含在 Simulink Design Verifier 数据文件中，并映射到测试框架中的 Inport 模块。映射显示在测试用例的输入部分。使用输入端口选项允许您将其他输入映射到测试框架 Inport 模块，这对于使用相同测试框架运行多个测试用例或迭代非常有用。当源为 Inport 时，MAT 和 Excel^® 文件均受支持。
- 信号编辑器：输入位于测试框架内部的 Signal Editor 模块中的场景中。Signal Editor 模块支持包含这些输入的 MAT 文件。您可以在 Signal Editor 中编辑这些场景。
选择新的或现有的测试文件，并输入测试文件和测试用例的名称。
点击确定，将测试用例导出至 Simulink Test。测试文件和测试用例在测试管理器中更新。Simulink Design Verifier 保存一个 MAT 或 Excel 数据文件，其中也包含参数设置。您可以在测试管理器的参数覆盖部分查看或覆盖这些设置。
注意
从 Simulink Design Verifier 导入测试用例的另一种方法是使用创建组件测试向导。有关信息，请参阅为模型或组件生成测试和测试框架。