主要内容

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

使用金宝app®设计验证器™,您可以生成复制设计错误、实现测试目标或满足覆盖率标准的测试输入。金宝app模拟试验™可以创建使用测试输入和预期输出的测试用例金宝appSimulink设计验证程序.

总体工作流程

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

  1. 选择一个现有的金宝appSimulink设计验证程序结果文件,或通过分析模型生成新结果。

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

      • 使用金宝app模拟试验命令sltest.import.sldvData.

      • 使用金宝appSimulink设计验证程序菜单项。在模型中,在应用程序选项卡,在模型验证、验证和测试下,单击设计验证器. 上测验选项卡,单击金宝appSimulink测试管理器.在审查结果部分,单击加载早期结果。选择包含分析结果的MAT文件。

    • 如果运行模型分析,则金宝appSimulink设计验证程序分析完成后将显示结果摘要窗口。

  2. 在结果摘要窗口中,单击将测试用例导出到Simulink测试金宝app.

  3. 输入现有或新测试线束的名称。

  4. 为生成的测试输入选择测试线束源。您可以选择

    • 输入:输入包含在金宝appSimulink设计验证程序数据文件并映射到输入测试线束中的块。映射如中所示投入测试用例的一部分。使用输入选项允许您将其他输入映射到测试线束输入块,这对于使用同一测试线束运行多个测试用例或迭代非常有用。MAT和Excel®当源文件处于金宝app输入.

    • 信号编辑器:输入在a中的场景中信号编辑器阻塞测试线束内部。测试线束信号编辑器块支持包含这金宝app些输入的MAT文件。您可以在信号编辑器.

  5. 选择新的或现有的测试文件,并输入测试文件和测试用例的名称。

  6. 单击“确定”将测试用例导出到金宝app模拟试验。测试文件和测试用例在测试管理器中更新。金宝appSimulink设计验证程序保存还包括参数设置的MAT或Excel数据文件。您可以在测试管理器的“参数替代”部分中查看或替代这些设置。

    从中导入测试用例的另一种方法金宝appSimulink设计验证程序正在使用组件创建测试向导。有关信息,请参阅为组件或模型生成测试和测试线束.

测试用例生成示例

此示例演示如何使用生成控制器子系统的测试用例金宝appSimulink设计验证程序,并将测试用例导出到中的测试文件金宝app模拟试验.该示例需要一个金宝appSimulink设计验证程序许可证

该模型是一个闭环热泵系统。控制器接受测量的室温和设定的温度输入。控制器输出一条由三个信号组成的总线,控制风扇、热泵和热泵方向(加热或冷却)。该模型包含一个测试加热和冷却场景的线束。

  1. 打开模型。

    打开系统(完整文件(docroot、,“工具箱”,“sltest”,“例子”,...'sltestcasefromdvexample.slx'));

    如果未指定完整文件路径(如本步骤所示),则模型必须位于MATLAB路径或当前工作文件夹中。

  2. 将当前工作文件夹设置为可写文件夹。

  3. 在模型中,为控制器子系统。右键单击控制器阻止并选择设计验证器>为子系统生成测试.

    金宝appSimulink设计验证程序为组件生成测试。

  4. 在结果摘要窗口中,单击将测试用例导出到Simulink测试金宝app.

  5. 在“导出设计验证程序测试用例”对话框中,输入:

    • 测试线束:测试治理1

    • 线束源:信号编辑器

    • 挑选使用新的测试文件

    • 测试文件:./TestFile_GeneratedTests.mldatx

    • 测试用例:<创建新的测试用例>

  6. 点击好啊.

    将在工作文件夹中创建新的测试文件,并将测试线束添加到主模型中,该模型由控制器子系统。单击线束徽标以预览新的测试线束。

  7. 点击测试治理1缩略图以打开线束。然后双击线束输入信号编辑器块源。

  8. 在“块参数:线束输入”对话框中,单击发射信号编辑器.

  9. 要在信号编辑器中查看测试输入,请展开测试用例并选择输入。

  10. 在测试管理器中,新的测试用例显示被测试的系统,以及包含测试中生成的输入的测试线束信号编辑器来源。展开迭代部分以查看对应于信号场景的迭代。

另见

相关话题