根据需求测试模型和报告结果- MATLAB和Simulink

根据需求测试模型并报告结果

这个例子使用了:

需求和测试用例之间的可追溯性帮助您解释测试结果，并看到您的需求得到验证的程度。您可以将需求链接到有助于验证它的元素，例如test Manager中的测试用例，验证中的语句测试序列块，或者模型验证块。运行测试时，需求集中将显示通过/失败摘要。

这个例子演示了巡航控制模型的一个基于需求的通用测试工作流。您从一个需求集、一个模型和一个测试用例开始。在测试和安全需求之间添加可追溯性。您运行测试，总结验证状态，并报告结果。

基于需求的测试工作流

在这个例子中，你对集合中的两个需求进行了简单的测试:

在工作文件夹中创建项目的副本。项目包含数据、文档、模型和测试。输入:

Path = fullfile(matlabroot，'toolbox'，'shared'，'examples'，…“验证”、“src”,“巡航”)运行(fullfile(路径,slVerificationCruiseStart))

将需求链接到测试用例。

在项目窗口中，打开仿真软件测试文件slReqTests.mldatx从测试文件夹中。测试文件在test Manager中打开。探索测试套件并进行选择安全测试．
回到模型。右键单击需求3.1年代并选择来自选定测试用例的链接．
链接到安全测试测试用例被添加到验证了．黄条在验证列表示未验证需求。
也为项目添加一个链接3.4年代．

测试用例使用测试工具SafetyTest_Harness1．在测试工具中，测试序列设置输入条件并检查模型行为:

的输入顺序启动巡航控制，然后制动。它包括验证声明

验证(engage == false，.．.“验证:刹车”，.．.“刹车时系统必须脱离”）

的限制序列参与巡航控制，然后斜坡车辆的速度，直到它超过上限。它包括验证声明。
```
验证(engage == false，.．.“验证:上限”，.．.“超过限制时系统必须脱离”）
```