基于需求的模型开发测试
根据需求测试自动驾驶子系统。
这个例子演示了根据需求测试子系统，使用测试管理器、测试工具、测试序列块和测试评估块。需求文档链接到测试用例和测试工具，并且验证语句评估被测组件。
当您构建您的模型时，您可以添加测试用例来根据需求验证模型。随后的用户可以运行相同的测试用例，然后添加测试用例来实现进一步的验证目标，比如实现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测试要求．在Requirement 1.3 test选项卡中展开需求．双击任何需求链接以打开需求编辑器，您可以在其中审查需求。
在文件中，要求1.3.1规定:当横摇保持模式变为主动模式时，横摇保持参考应设置为飞机的实际横摇角度，除非在子要求中描述的条件下。
儿童要求1.3.1.1规定:在抱辊啮合时，如果实际抱辊角度在任何方向上小于6度，抱辊参考应设为零。
儿童要求1.3.1.2规定:如果在抱辊啮合时，实际抱辊角度大于30度，则抱辊参考应设置为与实际抱辊角度方向相同的30度。
儿童要求1.3.1.3规定:滚动参考应设置为驾驶舱旋转旋钮命令，最高30度限制，如果旋转旋钮命令3度或以上的任何一个方向。
测试用例创建三个场景来测试需求中的正常条件和异常。
需求文档使用映射到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语句失败。
点击结果和工件在测试管理器。
在结果树中展开验证语句．点击金宝app仿真软件:verify_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;清晰的topModelreqDocrollModeltestHarness测试文件harnessLink
你也可以从以下列表中选择一个网站:
