基于需求的测试模型发展
测试一个自动驾驶仪子系统需求。
这个例子演示了测试子系统与要求,使用测试经理,测试工具,测试序列块和测试评估。需求文档链接的测试用例和测试工具,和验证
语句评估测试组件。
当你构建你的模型,你可以添加测试用例对需求的验证模型。后续用户可以运行相同的测试用例,然后添加测试用例完成进一步的验证目标如实现100%的覆盖率或验证生成的代码。
这个示例测试卷参考
子系统要求使用三种情况。测试序列块提供输入,和一块测试评估评估组件。的卷参考
子系统是一个自动驾驶仪控制系统的一个组成部分。卷参考
控制飞机的滚的参考角度控制系统。子系统失败一个评价,促使设计变化,限制了子系统输出在高输入角度。
路径和示例文件
输入以下存储路径和文件名的例子:
topModel =“TestAndVerificationAutopilotExample”;rollModel =“RollAutopilotMdlRef”;testHarness =“RollReference_Requirement1_3”;测试文件=“AutopilotTestFile.mldatx”;reqDoc =“RollAutopilotRequirements.txt”;
打开测试文件和模型
打开RollAutopilotMdlRef
模型。完整的控制系统TestAndVerificationAutopilotExample
这个模型的引用。
open_system (rollModel)
在测试经理打开测试文件。
tf = sltest.testmanager.load(测试文件);sltest.testmanager.view;
开放的需求文档。在测试浏览器,扩大AutopilotTestFile和基本设计测试用例在树上,然后单击1.3测试要求。在需求1.3测试选项卡中,扩大需求。双击任何需求的链接打开需求编辑器,你可以检查要求。
文档,需求1.3.1状态:当滚动模式成为活动模式,辊保持引用应当设置为实际的横摇角的飞机,除了孩子需求中描述的条件下。
孩子需求1.3.1.1州:辊保持引用应当设置为0,如果实际的横摇角小于6度,在任何方向,卷的时候举行订婚。
孩子要求1.3.1.2:辊保持引用应当设置为30度和实际的横摇角方向相同,如果实际横摇角大于30度时辊举行订婚。
1.3.1.3孩子要求:卷参考应设置为驾驶舱旋钮命令,30度限制,如果把旋钮指挥3度或更多。
测试用例创建三个场景测试的正常和异常条件的要求。
需求文档跟踪测试工具使用url映射到测试序列块和测试步骤。打开测试工具,强调相关的组件参考1.3要求。
sltest.harness.open ([rollModel/卷参考的),testHarness) rmi (“highlightModel”,“RollReference_Requirement1_3”)
测试序列块、测试评估块和组件测试需求文档的链接。强调要求通过选择的链接应用程序>需求经理然后,单击突出显示链接的测试模型。你也可以突出在测试序列编辑器中点击的链接切换需求链接高亮显示在将来发布。
测试序列
打开测试序列块。
open_system (“RollReference_Requirement1_3 /测试序列”)
测试序列块创建测试输入为三种情况:
在每一个测试,测试序列集信号电平,然后进行自动驾驶仪。测试序列检查PhiRef
最短时间是稳定的吗DurationLimit
在转换到下一个信号电平。对于前两个场景,测试序列集EndTest
局部变量,1
,引发过渡到下一个场景。
这些场景检查基本组件功能,但不一定实现目标,如100%的覆盖率。
测试评估
打开测试评估。
open_system (“RollReference_Requirement1_3 /测试评估”)
测试评估评估卷参考
。评估块库关联子系统,它促进测试评估多个测试之间重用。块包含验证
语句覆盖:
的要求
PhiRef
=φ
当φ
在低和高范围内运行。的要求
PhiRef = 0
当φ< 6
度。的要求
PhiRef = 30
当φ> 30
度。要求当
TurnKnob
订婚了,PhiRef = TurnKnob
如果TurnKnob > = 3
度。
验证子系统
运行测试,在测试管理器,右键单击1.3测试要求在测试浏览器窗格中,单击运行。
仿真的回报验证
在测试经理声明和仿真结果输出。的verify_high_pos
语句失败。
点击结果和工件在测试经理。
结果树,扩大验证语句。点击万博1manbetx仿真软件:verify_high_pos。跟踪显示当语句失败。
点击次要情节在将来发布并选择垂直两个情节安排。选择较低的阴谋可视化窗格。
结果树,扩大结果,1.3测试要求,模拟输出。
选择
PhiRef
和φ
。输出结合痕迹验证
结果在上面的阴谋。观察到PhiRef
超过30度时φ
超过30度。
更新RollReference
限制PhiRef
信号。
关闭测试工具。
向模型中添加一个饱和块如图所示。
设置的下限
-30年
和上限30.
。连接块的要求。从浏览器的需求,要求1.1.2拖到饱和。出现一个图标,以及突出显示的要求。
再次运行测试。的验证
声明,测试经理显示和输出PhiRef
不超过30度。
close_system (rollModel 0);close_system (topModel, 0);close_system (“RollRefAssessLib”,0);sltest.testmanager.clear;sltest.testmanager.clearResults;sltest.testmanager.close;清晰的topModelreqDocrollModeltestHarness测试文件harnessLink