评估分配和影响

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

您可以使用可追溯性图窗口来可视化基于模型的设计项目之间的链接。该图源自与某个项目对应的起始节点，并显示从起始节点到与其他可链接项目对应的其他节点的链接（也称为边）。有关更多信息，请参阅使用可追溯性图可视化链接。

可追溯性图还允许您直观地检查需求集的需求分配，这是一个分解需求并将其链接到设计元素并进行实现和验证测试的过程。需求分配允许您确认设计实现并验证了高层所需的行为，例如描述最终用户需求的需求。

您还可以使用可追溯性图来可视化间接链接，以评估变更如何影响和在基于模型的设计项目之间传播，尤其是当需求在包含多个级别的需求层次结构内发生变化时。

评估需求分配

需求分配过程允许您确认高层所需的功能已分别通过设计和测试实现和验证。要分配单个高级需求，您必须：

将高级需求分解为一个或多个更详细的低级需求，以便于最终的实现和验证。低层需求应该累积地捕获高层所需的功能。
在高级需求和分解需求之间建立联系。这样就创建了从高层所需功能到低层实现和验证的可追溯性。
通过将低级需求与设计和测试项目联系起来来实现并验证低级需求。

分配需求后，您可以使用可追溯性图根据该需求创建图并直观地检查分配情况。您可以将与低级需求以及实现和验证项（例如 Simulink^® 模块和测试用例）的链接可视化。

分解需求

需求分配的第一步是分解您的高层需求。有些需求过于抽象，必须分解成可实现和验证的低层功能需求。

将高级需求分解为更详细的低级需求，使您可以使用明确执行所需功能的设计组件来实现这些需求。此外，您可以创建仅需要包含该组件的系统部分的测试。这种组件级的实现和验证有助于在多个组件集成到系统中时保持需求的实现和验证。

例如，CruiseRequirementsExample 工程中的文件描述了巡航控制系统设计。通过在 MATLAB^® 命令提示符中输入以下命令来打开工程：

openExample("slrequirements/CruiseRequirementsExample")

crs_req_func_spec 需求集包含确保系统满足功能设定的需求。Calculate Target Speed and Throttle Value 需求是分解的高级需求的一个例子。

This image shows the third requirement in the crs_req_func_spec requirement set.

链接、实施和验证需求

为了分配分解后的高级需求，它必须链接到相应的低级需求。此外，每个低层功能需求必须至少有一个用于实施的出向链接和一个用于验证的出向链接。如果您有意不实施或验证低层功能需求，您可以创建一个申述链接，并添加有关为什么此需求无需实施或验证的信息。有关更多信息，请参阅申诉需求。

您必须充分分配您的高级需求，才能在可追溯性图窗口中可视化设计项。例如，Calculate Target Speed and Throttle Value 已分解，但尚未链接到其子需求。下图显示它只有一个链接。

The Traceability Diagram for the Calculate Target Speed and Throttle Value requirement shows that the requirement is implemented by the TargetSpeedThrottle Simulink block.

您可以使用需求编辑器、需求视角或可追溯性矩阵来创建链接。有关更多信息，请参阅创建和存储链接。

需求分配可视化

分配需求后，您可以通过从高级需求创建可追溯性图来实现分配的可视化。有关更多信息，请参阅生成可追溯性图。

例如，下图源自 Calculate Target Speed and Throttle Value 需求，并显示了 Calculate Target Speed and Throttle Value 与其子需求之间的添加链接。

The Traceability Diagram for the allocated Calculate Target Speed and Throttle Value requirement shows that the requirement now has other links to requirements that decompose it.

Each child requirement has at least one Implement type link to a model element. However, the child requirements do not have Verify type links to test items or to justifications, so the Calculate Target Speed and Throttle Value requirement is not considered fully allocated.

可视化变更传播

Requirements Toolbox™ 允许您跟踪需求的变化。如果链接的需求发生变化，则相关链接就会出现变更问题。有关更多信息，请参阅跟踪需求链接的变更。

在可追溯性图中，具有变更问题的链接显示为红色虚线。因为当您更改链接需求时，变更问题仅适用于直接链接，所以您可以使用可追溯性图来评估具有变更问题的链接和间接链接到变更需求的项目的变更传播。

可视化间接链接

如果您对需求进行更改，则更改问题仅适用于该直接链接。然而，变化可能会影响间接相关的其他项目。间接链接是项目之间至少具有一级分离度的链接。您可以使用可追溯性图来可视化间接链接。

例如，此图显示了 Disabling cruise control 需求和 Enumerated Constant Simulink 模块之间的间接联系：

Traceability Diagram originating from the Cancel Switch Detection requirement. The Disabling cruise control requirement and the Enumerated Constant block are both linked to the Cancel Switch Detection requirement, so they are indirectly linked.

评估变更传播

变化可以从发生变化的节点流经多层上游或下游节点。您可以使用可追溯性图来直观地了解更改如何通过间接链接传播，并评估更改如何影响进一步的上游或下游节点。

例如，下图源自 Calculate Target Speed and Throttle Value 需求并显示了与子需求的链接。Calculate Target Speed and Throttle Value 需求已做出更改。该图明来自 Calculate Target Speed and Throttle Value 需求的四个出向链接存在变化问题。

The Traceability Diagram for the allocated Calculate Target Speed and Throttle Value requirement has red dashed edges to other requirements.