基于需求的模型开发测试
根据需求测试自动驾驶子系统。
这个例子演示了根据需求测试子系统,使用测试管理器、测试工具、测试序列块和测试评估块。需求文档链接到测试用例和测试工具,以及验证
语句评估被测组件。
当您构建模型时,您可以添加测试用例来根据需求验证模型。后续用户可以运行相同的测试用例,然后添加测试用例来完成进一步的验证目标,例如达到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测试.在requirements 1.3测试选项卡中,展开需求.双击任何需求链接以打开requirements Editor,您可以在其中查看需求。
在文件中,要求1.3.1规定:当滚转保持模式成为主动模式时,滚转保持参考值应设置为飞机的实际滚转角度,除非在子要求中描述的情况下。
儿童要求1.3.1.1规定:在抱辊接合时,无论在哪个方向,如果实际滚转角小于6度,则抱辊参考值应设为零。
儿童要求1.3.1.2规定:如果在滚抱接触时实际滚转角大于30度,则滚抱基准应设置为与实际滚转角方向相同的30度。
儿童要求1.3.1.3规定:如果旋转旋钮在任何一个方向上指挥3度或更多,则滚转参考应设置为座舱旋转旋钮命令,最高为30度。
测试用例创建三个场景来测试需求中的正常条件和异常。
需求文档使用映射到test Sequence块和测试步骤的url跟踪到测试工具。打开测试线束并突出显示与参考需求1.3相关的组件。
sltest.harness.open ([rollModel/卷参考的), testHarness) rmi (“highlightModel”,“RollReference_Requirement1_3”)
测试序列块、测试评估块和测试下的组件链接到需求文档。通过选择突出显示需求链接Apps >需求管理器然后,点击测试工具模型中的高亮链接。您还可以通过单击来突出显示测试序列编辑器中的链接切换需求链接高亮显示在工具栏中。
测试序列
打开测试序列块。
open_system (“RollReference_Requirement1_3 /测试序列”)
Test Sequence块为三个场景创建测试输入:
在每次测试中,测试序列设置信号电平,然后启用自动驾驶仪。测试序列检查了这一点PhiRef
在最小时间内稳定吗DurationLimit
在它转换到下一个信号电平之前。对于前两个场景,测试序列设置EndTest
局部变量to1
,触发向下一个场景的过渡。
这些场景检查基本组件功能,但不一定达到100%覆盖率这样的目标。
测试评估
打开测试评估模块。
open_system (“RollReference_Requirement1_3 /测试评估”)
测试评估块进行评估卷参考
.评估块是一个库链接子系统,它促进了多个测试工具之间的测试评估重用。块包含验证
语句覆盖:
要求是
PhiRef
=φ
当φ
在高低限内操作。要求是
PhiRef = 0
当< 6
度。要求是
PhiRef = 30
当bbbb30
度。要求当
TurnKnob
订婚了,旋转旋钮
如果旋转旋钮>= 3
度。
验证子系统
要运行测试,在test Manager中,右键单击1.3测试在Test Browser窗格中,然后单击运行.
模拟返回验证
测试管理器中的语句结果和模拟输出。的verify_high_pos
语句失败。
点击结果和工件在测试管理器中。
在结果树中展开验证语句.点击金宝app仿真软件:verify_high_pos.跟踪显示语句失败的时间。
点击次要情节在工具带中,选择两个垂直排列的图。中选择较低的绘图可视化窗格。
在结果树中展开结果,1.3测试,模拟输出.
选择
PhiRef
和φ
.输出走线与验证
结果如上图所示。观察到PhiRef
超过30度时φ
超过30度。
更新RollReference
为了限制PhiRef
信号。
关闭测试线束。
如图所示,为模型添加一个饱和度块。
设置下限为
-30年
上限是30.
.将块链接到它的需求。从Requirements浏览器中,将Requirements 1.1.2拖到Saturation块中。一个图标出现在块上,需求被突出显示。
再次运行测试。的验证
语句通过,测试管理器中的输出显示了这一点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