执行功能测试和分析测试覆盖率

功能测试开始构建基于需求的测试用例。这些测试可以覆盖你的设计的关键方面,并确认个别型号组件是否满足要求。测试用例包括输入,预期的产出,和验收标准。

通过测试套件中收集单独的测试用例,你可以运行系统功能测试。要检查的回归,加上基准标准的测试用例和迭代测试模型。覆盖测试反映了这些测试已经充分行使模型的程度。覆盖测量还可以帮助你测试和需求增加,以满足覆盖目标。

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

此示例示出了用于巡航控制模型中的功能性测试的基于测试的工作流程。你开始有链接到外部需求文档测试的模型,分析了覆盖模型万博1manbetx®覆盖™,逐渐增加覆盖面万博1manbetxSimulink设计验证器™,并报告结果。

探索测试工具和模型

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

    路径=完整文件(matlabroot, '工具箱', '共享', '实施例',...... '验证', 'SRC', '巡航')运行(完整文件(路径, 'slVerificationCruiseStart'))

  2. 打开模型和测试工具。在命令行中输入:

    open_system 万博1manbetxsimulinkCruiseAddReqExample sltest.harness.open( 'simulinkCruiseAddReqExample', 'SafetyTest_Harness1')
  3. 负荷测试套件测试模型根据需求和报告结果(万博1manbetxSimulink的测试),并打开Simulink的测试经理。在命令行中输入:

    sltest.testmanager.load( 'slReqTests.mldatx')sltest.testmanager.view

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

    • 刹车踏板被踩下

    • 转速超过极限

    一些测试顺序步骤都与需求文档万博1manbetxsimulinkCruiseChartReqs.docx

测量模型覆盖

  1. 在Simuli万博1manbetxnk测试管理器,单击slReqTests测试文件。

  2. 要启用覆盖集合的测试文件,下右页覆盖设置

    • 选择为参考模型记录覆盖

    • 覆盖过滤器文件名指定覆盖过滤器来使用的覆盖分析。默认设置荣誉的车型配置参数设置。离开该字段为空不附加任何覆盖过滤器。

    • 选择决策条件MCDC

  3. 要运行测试,对测试管理器工具条,点击

  4. 当测试完成后请在测试管理的结果。聚集的覆盖率结果表明,示例模型达到50%判定覆盖,41%条件覆盖,和25%MCDC覆盖率。

生成测试以提高模型覆盖

  1. 万博1manbetxSimulink设计验证以产生额外的测试,以提高模型覆盖。在结果与文物,选择slReqTests测试文件,并打开汇总覆盖率结果部分位于右窗格中。

  2. 右键单击测试结果和选择添加测试失踪覆盖

  3. 马具选择创建新的线束

  4. 请点击用来测试添加到测试套件万博1manbetxSimulink设计验证。被测试的模型必须是在MATLAB的路径或工作文件夹。

  5. 在测试管理器工具条,点击执行更新的测试套件。试验结果包括覆盖用于组合测试用例输入,实现增加的模型覆盖。

相关话题