Main Content

本页采用了机器翻译。点击此处可查看英文原文。

审查需求实施情况

Requirements Toolbox™ 为您提供需求集的实施状态摘要。您可以使用这些状态摘要来识别设计中的需求实施差距。

通过链接到模型元素来实现功能需求

需求类型指定了需求所具有的角色。功能需求旨在实现并有助于实现状态,以及具有 Functional 子类型的自定义类型的需求。有关更多信息,请参阅 使用 sl_customization 文件定义自定义需求和链接类型。当您在需求编辑器中选择一个需求时,需求类型将显示在右侧窗格中的属性下。当您添加需求时,默认情况下会使用 Functional 类型创建。如果不需要实施某个需求,您可以更改需求类型。要了解有关需求类型的更多信息,请参阅需求类型

为了实现功能需求,您可以将其与 Simulink®、Stateflow® 或 System Composer™ 模型元素链接起来。具有 Implement 类型或定义为 Implement 子类型的自定义链接类型的传入链接的需求被视为已由实施状态实施。有关更多信息,请参阅 链接类型使用 sl_customization 文件定义自定义需求和链接类型

需求集的实施状态是针对该集合中所有需求进行累积的。必须实施每个子需求,父需求才被视为已实施。如果需要手动实施某项需求,可以将其链接到申述对象进行实施。实施状况认为该需求的未实施是合理的。要了解有关证明需求的更多信息,请参阅 申诉需求

注意

如果任何需求具有 Implement 类型的传入链接,则实施状态将考虑实施该需求,而不管链接源项如何(除非链接源是申述,在这种情况下它将被视为合理)。要了解如何更改现有的链接类型,请参阅链接类型

当您将需求链接到 Simulink、Stateflow 或 System Composer模型元素时,默认情况下会使用 Implement 类型创建链接。当您在需求编辑器中选择一个需求时,关联的链接和链接类型将显示在右侧窗格中的链接下。

The Requirements Editor shows the crs_req_func_spec requirement set and displays the Implemented and Verified columns.

提示

如果一个需求可以由多个项目来实现,而您想要了解每个项目的具体实现情况,那么您可以将一个需求拆分为多个更小的需求,然后分别实现每个需求。

Run Link实现分析

Requirements Toolbox 直到您运行它时才执行链接实现分析。您可以在需求编辑器或需求视角中运行分析。

需求编辑器或需求视角中的横幅显示结果待定的情况。要运行分析,点击横幅中的立即分析。或者,点击需求编辑器中的刷新或需求视角中的刷新按钮

链接实现分析在后台持续运行,直到您使用 slreq.clear

或者,您可以使用 updateImplementationStatusgetImplementationStatus 在 MATLAB® 命令行上查看实施状态,而无需在需求编辑器或需求视角中运行分析。

查看实施状态

您可以从需求视角视图中的需求编辑器和需求浏览器查看需求集的实施状态。要切换需求编辑器中的状态显示,请选择 Columns > 实现状态。在需求编辑器或需求浏览器中,指向每个需求或需求集的已实现列以查看与其相关的实施状态。

The mouse points to the implementation status bar for the crs_req_func_spec requirement set. The tooltip indicates the 48 of the requirements are implemented, 4 are justified, and 14 do not have links.

条形的丰满度表示一组需求中(包括父需求和子需求)有多少个需求与实施项目相关联。颜色表示实施级别:

  • 已实现(蓝色):该需求与具有 Implement 类型链接的项目相链接。

  • 已申述(浅蓝色):该需求通过 Implement 类型链接与申述相链接。有关更多信息,请参阅 申诉需求

  • (无色):该需求没有任何 Implement 类型的链接。

另请参阅

相关主题