针对要求测试自动驾驶仪子系统。
此示例演示了使用测试管理器,测试线束,测试序列块和测试评估块来测试子系统。要求文档链接到测试用例和测试线束,以及核实
语句评估被测组件。
在构建模型时,您可以添加测试用例以验证模型是否要求要求。后续用户可以运行相同的测试用例,然后添加测试用例以完成进一步的验证目标,例如实现100%覆盖或验证生成的代码。
这个例子测试了滚动参考
子系统反对使用三种方案的要求。测试序列块提供输入,测试评估块评估组件。这滚动参考
分系统是自动驾驶仪控制系统的一个组成部分。滚动参考
控制飞机滚转控制系统的参考角度。子系统未能通过一次评估,导致设计更改,限制子系统在高输入角度的输出。
以输入以下路径和文件名为例:
topModel ='testandverificationAutopiLotexample';Rollmodel =“RollAutopilotMdlRef”;testharness =“RollReference_Requirement1_3”;测试文件='autopilottestfile.mldatx';reqDoc =“RollAutopilotRequirements.txt”;
打开RollAutopilotMdlRef
模型。完整的控制系统TestAndVerificationAutopilotExample
参考此模型。
Open_System(Rollmodel)
在Test Manager中打开测试文件。
tf = sltest.testmanager.load(testfile);sltest.testmanager.view;
打开要求文件。在测试浏览器中,展开autopilottestfile.和基本设计测试用例在树中,然后点击1.3测试要求.在要求1.3测试选项卡中,展开要求.双击任何要求链接以打开需求编辑器,您可以在其中查看要求。
在文件中,要求1.3.1状态:当滚动保持模式变为有源模式时,滚动保持参考应设置为飞机的实际滚动角,除非在儿童要求中描述的条件下。
儿童要求1.3.1.1规定:在抱辊啮合时,如果实际抱辊角度在任何方向上小于6度,抱辊参考应设为零。
儿童要求1.3.1.2规定:如果在抱辊啮合时,实际抱辊角度大于30度,则抱辊参考应设置为与实际抱辊角度方向相同的30度。
儿童要求1.3.1.3状态:卷引用应设置为驾驶舱转动旋钮命令,最多30度限制,如果转动旋钮在任一方向上指挥3度或更多。
测试用例创建三个场景来测试需求中的正常条件和异常。
要求文件使用映射到测试序列块和测试步骤的URL来跟踪测试线束。打开测试线束并突出显示与参考要求相关的组件1.3。
sltest.harness.open ([rollModel/卷参考的[试验性)RMI(“highlightModel”,“RollReference_Requirement1_3”)
测试序列块、测试评估块和测试下的组件链接到需求文档。通过选择突出显示需求链接APPS>要求管理器然后,单击测试线束模型中的突出显示链接。您还可以通过单击突出显示测试序列编辑器中的链接切换需求链接高亮显示在工具串中。
打开Test Sequence块。
Open_System(“RollReference_Requirement1_3 /测试序列”)
Test Sequence块为三个场景创建测试输入:
在每个测试中,测试序列设置信号电平,然后与自动驾驶仪接合。测试序列检查Phiref.
最短的时间是稳定的DurationLimit
在它转换到下一个信号级别之前。对于前两个场景,测试序列设置EndTest
局部变量,1
,触发到下一个场景的转换。
这些场景检查基本组件功能,但不一定达到100%覆盖率等目标。
打开测试评估块。
Open_System('rollreference_requirement1_3 /测试评估')
测试评估块评估滚动参考
.评估块是一个库链接的子系统,它有助于在多个测试工具之间进行测试评估重用。块包含核实
涵盖的陈述:
要求Phiref.
=披
当披
在低限制和高限制内操作。
要求PhiRef = 0
当PHI <6.
度。
要求PhiRef = 30
当φ> 30
度。
要求时的要求Turnknob.
订婚了,phiref = turnknob.
如果TurnKnob > = 3
度。
要运行测试,在测试管理器中,右键单击1.3测试要求在Test Browser窗格中,单击运行.
仿真的回报核实
测试管理器中的语句结果和仿真输出。这验证_high_pos.
语句失败。
点击结果和工件在测试管理器。
在结果树中,展开验证声明.点击金宝appsimulink:验证_high_pos..跟踪显示语句失败时。
点击小板在工具条中选择两个垂直排列的图。中选择较低的plot可视化窗格。
在结果树中,展开结果,1.3测试要求, 和模拟输出.
选择Phiref.
和披
.输出迹线与核实
结果在上面的图中。遵守这一点Phiref.
超过30度时披
超过30度。
更新RollReference
限制Phiref.
信号。
关闭测试装置。
向模型添加饱和度块,如图所示。
将下限设置为-30
和上限到30.
.
将区块链接到它的需求。从Requirements浏览器中,将requirement 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;清晰的超模reqdoc.rollModeltestharness.测试文件harnessLink