主要内容

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

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

总体工作流程

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

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

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

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

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

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

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

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

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

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

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

    表1测试用例的迭代次数

另见

相关话题