主要内容

模型开发的基于需求的测试

这个例子使用了:

打开脚本

根据需求测试自动驾驶子系统。

这个例子演示了根据需求测试子系统，使用测试管理器、测试工具、测试序列块和测试评估块。需求文档链接到测试用例和测试装置，以及验证语句评估被测组件。

当您构建模型时，您可以添加测试用例来根据需求验证模型。后续用户可以运行相同的测试用例，然后添加测试用例以完成进一步的验证目标，例如实现100%的覆盖率或验证生成的代码。

此示例测试卷参考针对需求的子系统，使用三个场景。一个Test Sequence块提供输入，一个Test Assessment块评估组件。的卷参考子系统是自动驾驶仪控制系统的一个组成部分。卷参考控制飞机滚转控制系统的参考角度。子系统未通过一次评估，促使设计变更，限制子系统在高输入角度的输出。

路径和示例文件

以存储路径和文件名为例，输入如下信息:

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 test选项卡中，展开需求．双击任意一个需求链接，打开需求编辑器，在那里您可以检查需求。

在文件中，要求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”）

测试序列块、测试评估块和测试中的组件链接到需求文档。通过选择突出显示需求链接应用>需求管理器然后，单击测试控制模型中的Highlight Links。您还可以通过单击突出显示Test Sequence Editor中的链接切换需求链接高亮显示在工具条中。

测试序列

打开Test Sequence块。

open_system (“RollReference_Requirement1_3 /测试序列”）

Test Sequence块为三个场景创建测试输入:

在每次测试中，测试序列设置一个信号电平，然后启动自动驾驶仪。测试序列检查了这一点PhiRef是否在最短时间内稳定DurationLimit在它转换到下一个信号电平之前。对于前两个场景，测试序列设置EndTest局部变量为1，触发向下一个场景的过渡。

这些场景检查基本组件功能，但不一定达到100%覆盖率等目标。

测试评估

打开Test Assessment块。

open_system (“RollReference_Requirement1_3 /测试评估”）

测试评估块进行评估卷参考．评估块是一个库链接的子系统，它促进了多个测试集束之间的测试评估重用。该块包含验证语句覆盖:

  • 要求是PhiRef＝φ当φ在低、高限制范围内运行。

  • 要求是PhiRef = 0当< 6度。

  • 要求是PhiRef = 30当> 30度。

  • 要求是当TurnKnob订婚了,PhiRef = TurnKnob如果TurnKnob >= 3度。

子系统验证

要运行测试，在测试管理器中，右键单击1.3测试在Test Browser窗格中，单击运行．

模拟返回验证测试管理器中的语句结果和模拟输出。的verify_high_pos语句失败。

  1. 点击结果和工件在测试管理器中。

  2. 在结果树中展开验证语句．点击万博1manbetx仿真软件:verify_high_pos．跟踪显示语句失败的时间。

  1. 点击次要情节在工具条中选择两个垂直排列的图。控件中较低的图形可视化窗格。

  2. 在结果树中展开结果，1.3测试,模拟输出．

  3. 选择PhiRef而且φ．输出轨迹与验证结果如上图所示。观察到PhiRef超过30度时φ超过30度。

更新RollReference来限制PhiRef信号。

  1. 关闭测试装置。

  2. 如图所示，添加一个饱和块到模型中。

  3. 设置下限为-30年的上限30.．

  4. 将块链接到它的需求。从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