使用功能需求验证与测试步骤相关的安全需求
此示例向您展示如何在需求编辑器中验证与测试序列或评估步骤相关的安全需求。首先仿真与功能需求相关的测试用例,然后验证与测试评估模块中的验证语句相关的安全需求。此示例使用巡航控制模型工程。
打开工程
该工程包含:
安全性和功能需求需求集(分别为
crs_req_safety_spec.slreqx
和crs_req_func_spec.slreqx,
)Simulink 模型 (
crs_controller
)模型的测试框架(
crs_controller_Harness1
)测试评估模块
测试用例
(crs_controller_tests
)测试评估步骤与需求的链接,以及存储在
src
和tests
文件夹中的链接集文件
请按以下步骤执行:
1.打开 CruiseRequirementsSafetyExample
工程。该工程包括模型和支持文件。
openProject("CruiseRequirementsSafetyExample");
2.打开crs_controller
模型的安全需求。
slreq.open("crs_req_safety_spec.slreqx");
3.打开 Simulink 模型和该模型的框架。
open_system("crs_controller"); sltest.harness.open("crs_controller", "crs_controller_Harness1");
4.在 crs_controller_Harness1
框架模型,
中双击测试评估模块以打开测试评估。测试评估中的每个测试步骤都与 crs_req_safety_spec.slreqx
需求集.
中的需求相关联
遵守与测试步骤相关的需求
1.要查看与测试步骤相关的需求,请右键点击该步骤,然后点击需求。点击 Maximum Throttle Value
突出显示测试评估中的步骤和需求编辑器中的需求。
2.在需求编辑器的链接部分,观测来自测试步骤的链接。需求和链接的链接类型显示为已验证。
运行功能需求测试
crs_controller_tests
文件包含与功能需求相关的测试用例。完成以下步骤来测试功能需求。
1.要打开测试管理器,请在测试框架窗口中点击 Simulink Test Manager。
2.在测试管理器中,点击打开测试文件,它将引导您进入测试文件夹下的crs_controller_tests
测试文件。
3.要运行测试,请在测试浏览器选项卡中右键点击 crs_controller_tests
,然后点击运行。Simulink Test 运行这些测试并显示所有测试都已通过。您还可以在结果和工件选项卡中查看与测试步骤相关的验证语句的状态。
查看验证状态
您现在可以查看在测试管理器中运行的测试是否已在需求编辑器中验证。
1.在需求编辑器的查看选项卡中,点击刷新。这将更新与测试步骤相关的需求的验证状态。
2.转到需求编辑器并点击 Refresh。观测所有链接需求的验证状态均已通过。针对功能需求运行的单元测试Unit_Tests_for_crs_controller
在需求编辑器中验证了安全需求crs_req_safety_spec.slreqx
。
您还可以运行框架的默认仿真,并通过查看 Simulink Data Inspector 中的仿真结果来验证安全需求。但是,仿真不会运行与测试文件相关的所有测试。另一方面,需求编辑器 从 Simulink 数据检查器运行中获取并吸收验证数据。如果您不希望某些运行被纳入需求编辑器的最终度量中,您可以从 Simulink 数据检查器中运行和删除测试。