主要内容

评审需求实施状态

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

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

需求类型指定了需求所具有的角色。的子类型的自定义类型的需求也意味着功能需求的实现和对实现状态的贡献功能．有关更多信息，请参见定义自定义需求和链接类型．中选择需求时要求编辑器时，需求类型将显示在细节窗格中,在属性．添加需求时，将使用功能默认类型。如果一个需求不打算被实现，你可以改变需求类型。要阅读有关需求类型的更多信息，请参见需求类型．

要实现功能性需求，您可以将其与Simulink链接起来金宝app®, Stateflow®，或System Composer™模型元素。对象具有传入链接的需求实现类型的子类型定义的自定义链接类型实现被认为是通过实现状态实现的。有关更多信息，请参见链接类型而且定义自定义需求和链接类型．

需求集的实现状态是对集合中的需求进行累积聚合的。每个子需求都必须实现，才能考虑实现父需求。如果您需要手动实现一个需求，您可以将它链接到一个用于实现的验证对象。实现状态认为这个需求缺乏实现是合理的。要阅读有关证明需求的更多信息，请参见证明要求．

请注意

的传入链接，实现状态将考虑要实现的任何需求实现类型，不管链接源项目是什么(除非链接源是一个对齐，在这种情况下，它将被认为是对齐的)。要阅读有关如何更改现有链接类型的信息，请参见链接类型．

将需求链接到Simulink、Stateflow或System C金宝appomposer模型元素时，将使用实现默认类型。中选择需求时要求编辑器，显示已关联的链路和链路类型细节窗格中,在链接．

提示

如果一个需求可以由多个项目实现，并且您希望获得每个项目实现的详细状态，那么您可以将一个需求分解为更小的需求，并分别实现每个需求。

查看实施状态

您可以从两个站点查看需求集的实现状态要求编辑器以及需求透视视图中的需求浏览器。控件中的状态显示要求编辑器中,选择列>实现状态．在要求编辑器或需求浏览器，指向实现列，以查看与其关联的实现状态。

条的丰满度表示一组中有多少需求(包括父需求和子需求)链接到实现项。颜色表示执行级别:

  • 实现(蓝色):需求链接到带有实现链接类型。

  • 合理的(浅蓝色):需求链接到带有实现链接类型。有关更多信息，请参见证明要求．

  • 没有一个(无色):没有任何要求实现链接类型。

另请参阅

相关的话题