功能测试以基于要求的建筑测试案例开始。这些测试可以涵盖设计的关键方面,并验证各个模型组件是否满足要求。测试用例包括输入,预期输出和验收标准。
通过在测试套件中收集个别测试用例,您可以系统地运行功能测试。要检查回归,请将基线标准添加到测试用例并迭代测试模型。覆盖率测量反映了这些测试完全锻炼模型的程度。覆盖率测量还可以帮助您添加测试和要求以满足覆盖目标。
此示例显示了用于巡航控制模型的基于功能测试的测试工作流程。您从一个具有与外部要求文档相关的测试的模型开始,分析了覆盖范围的模型金宝app®Coverage™,逐步增加覆盖范围金宝appSimulink Design Verifier™,并报告结果。
在工作文件夹中创建项目的副本。在命令行,输入:
path = fullfile(matlabroot,'toolbox','shared','simear',...'验证','src','cruise')运行(fullfile(path,'slverificedcruisestart'))
打开模型和测试线束。在命令行,输入:
Open_System 金宝appSimulinkCruiseAddreqexample sltest.harness.open('safettest_harness1','safetytest_harness1')
加载测试套件试验模型及报告结果(金宝appSimulink测试)并打开Simulink测试金宝app管理器。在命令行,输入:
sltest.testmanager.load('slreqtests.mldatx')sltest.testManager.View
打开测试序列块。序列测试系统脱离:
压制制动踏板
速度超过极限
一些测试序列步骤与要求文件相关联金宝appsimulinkcruisechartreqs.docx.
。
在Simuli金宝appnk测试管理器中,单击斯莱克斯特
测试文件。
要为测试文件启用覆盖库,请在右侧页面下覆盖设置:
选择记录引用模型的覆盖范围
用覆盖过滤器文件名要指定用于覆盖分析的覆盖过滤器。默认设置授予模型配置参数设置。离开字段为空附加无覆盖过滤器。
选择决定那健康)状况, 和MCDC。
要在Test Manager ToolStrip上运行测试,请单击跑。
测试完成后选择测试管理器中的结果。汇总覆盖结果表明,示例模型实现了50%的决策覆盖率,41%条件覆盖率和25%MCDC覆盖范围。
用金宝appSimulink Design Verifier生成其他测试以增加模型覆盖范围。在结果和文物,选择斯莱克斯特
测试文件并打开汇总覆盖结果部分位于右窗格中。
右键单击测试结果并选择添加缺失覆盖的测试。
在下面马具, 选择创造一个新的线束
。
点击好的使用使用的测试套件添加测试金宝appSimulink Design Verifier。正在测试的模型必须位于MATLAB路径上或在工作文件夹上。
在Test Manager ToolStrip上,单击跑执行更新的测试套件。测试结果包括组合测试用例输入的覆盖范围,实现了增加的模型覆盖范围。