使用实现状态跟踪需求链接
Requirements Toolbox™ 为您提供需求集的实现状态摘要。您可以使用这些状态摘要来识别设计中的需求实现差距。
通过链接到模型元素来实现功能需求
需求类型指定了需求所具有的角色。功能需求旨在实现并有助于实现状态,以及具有 Functional
子类型的自定义类型的需求。有关更多信息,请参阅使用 sl_customization 文件定义自定义需求和链接类型。当您在需求编辑器中选择一个需求时,需求类型将显示在右侧窗格中的属性下。当您添加需求时,默认情况下会使用 Functional
类型创建。如果不需要实现某个需求,您可以更改需求类型。要了解有关需求类型的更多信息,请参阅需求类型。
为了实现功能需求,您可以将其与 Simulink®、Stateflow® 或 System Composer™ 模型元素链接起来。具有 Implement
类型或定义为 Implement
子类型的自定义链接类型的传入链接的需求被视为已由实现状态实现。有关更多信息,请参阅链接类型和使用 sl_customization 文件定义自定义需求和链接类型
需求集的实现状态是针对该集合中所有需求进行累积的。必须实现每个子需求,父需求才被视为已实现。如果需要手动实现某项需求,可以将其链接到申述对象进行实现。实现状况认为该需求的未实现是合理的。要了解有关证明需求的更多信息,请参阅 申诉需求。
注意
如果任何需求具有 Implement
类型的传入链接,则实现状态将考虑实现该需求,而不管链接源项如何(除非链接源是申述,在这种情况下它将被视为合理)。要了解如何更改现有的链接类型,请参阅链接类型。
当您将需求链接到 Simulink、Stateflow 或 System Composer 模型元素时,默认情况下会使用 Implement
类型创建链接。当您在需求编辑器中选择一个需求时,关联的链接和链接类型将显示在右侧窗格中的链接下。
提示
如果一个需求可以由多个项目来实现,而您想要了解每个项目的具体实现情况,那么您可以将一个需求拆分为多个更小的需求,然后分别实现每个需求。
Run Link 实现分析
Requirements Toolbox 直到您运行它时才执行链接实现分析。您可以在需求编辑器或需求视角中运行分析。
需求编辑器或需求视角中的横幅显示结果待定的情况。要运行分析,点击横幅中的立即分析。或者,点击需求编辑器中的刷新或需求视角中的刷新按钮 。
链接实现分析在后台持续运行,直到您使用 slreq.clear
。
或者,您可以使用 updateImplementationStatus
和 getImplementationStatus
在 MATLAB® 命令行上查看实现状态,而无需在需求编辑器或需求视角中运行分析。
查看实现状态
您可以从需求视角视图中的需求编辑器和需求浏览器查看需求集的实现状态。要切换需求编辑器中的状态显示,请选择 Columns > 实现状态。在需求编辑器或需求浏览器中,指向每个需求或需求集的已实现列以查看与其相关的实现状态。
条形的丰满度表示一组需求中(包括父需求和子需求)有多少个需求与实现项目相关联。颜色表示实现级别:
已实现(蓝色):该需求与具有
Implement
类型链接的项目相链接。已申述(浅蓝色):该需求通过
Implement
类型链接与申述相链接。有关更多信息,请参阅申诉需求。无(无色):该需求没有任何
Implement
类型的链接。