主要内容

执行功能测试和分析测试覆盖范围

功能测试以基于要求的建筑测试案例开始。这些测试可以涵盖设计的关键方面,并验证各个模型组件是否满足要求。测试用例包括输入,预期输出和验收标准。

通过在测试套件中收集个别测试用例,您可以系统地运行功能测试。要检查回归,请将基线标准添加到测试用例并迭代测试模型。覆盖率测量反映了这些测试完全锻炼模型的程度。覆盖率测量还可以帮助您添加测试和要求以满足覆盖目标。

使用测试用例生成逐步提高测试覆盖率

此示例显示了用于巡航控制模型的基于功能测试的测试工作流程。您从一个具有与外部要求文档相关的测试的模型开始,分析了覆盖范围的模型金宝app®Coverage™,逐步增加覆盖范围金宝appSimulink Design Verifier™,并报告结果。

探索测试线束和模型

  1. 在工作文件夹中创建项目的副本。在命令行,输入:

    path = fullfile(matlabroot,'toolbox','shared','simear',...'验证','src','cruise')运行(fullfile(path,'slverificedcruisestart'))

  2. 打开模型和测试线束。在命令行,输入:

    Open_System 金宝appSimulinkCruiseAddreqexample sltest.harness.open('safettest_harness1','safetytest_harness1')
  3. 加载测试套件试验模型及报告结果(金宝appSimulink测试)并打开Simulink测试金宝app管理器。在命令行,输入:

    sltest.testmanager.load('slreqtests.mldatx')sltest.testManager.View

  4. 打开测试序列块。序列测试系统脱离:

    • 压制制动踏板

    • 速度超过极限

    一些测试序列步骤与要求文件相关联金宝appsimulinkcruisechartreqs.docx.

测量模型覆盖范围

  1. 在Simuli金宝appnk测试管理器中,单击斯莱克斯特测试文件。

  2. 要为测试文件启用覆盖库,请在右侧页面下覆盖设置

    • 选择记录引用模型的覆盖范围

    • 覆盖过滤器文件名要指定用于覆盖分析的覆盖过滤器。默认设置授予模型配置参数设置。离开字段为空附加无覆盖过滤器。

    • 选择决定健康)状况, 和MCDC

  3. 要在Test Manager ToolStrip上运行测试,请单击

  4. 测试完成后选择测试管理器中的结果。汇总覆盖结果表明,示例模型实现了50%的决策覆盖率,41%条件覆盖率和25%MCDC覆盖范围。

生成测试以增加模型覆盖范围

  1. 金宝appSimulink Design Verifier生成其他测试以增加模型覆盖范围。在结果和文物,选择斯莱克斯特测试文件并打开汇总覆盖结果部分位于右窗格中。

  2. 右键单击测试结果并选择添加缺失覆盖的测试

  3. 在下面马具, 选择创造一个新的线束

  4. 点击好的使用使用的测试套件添加测试金宝appSimulink Design Verifier。正在测试的模型必须位于MATLAB路径上或在工作文件夹上。

  5. 在Test Manager ToolStrip上,单击执行更新的测试套件。测试结果包括组合测试用例输入的覆盖范围,实现了增加的模型覆盖范围。

相关话题