使用功能需求验证与测试步骤相关的安全需求

打开工程

该工程包含：

请按以下步骤操作：

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 数据检查器中运行和删除测试。