主要内容

评审要求实施情况

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

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

需求类型指定了需求的角色。的子类型的自定义类型的需求也意味着实现功能需求并对实现状态做出贡献功能.有关更多信息,请参见使用sl_customization文件定义自定义需求和链接类型.中选择需求时要求编辑器,需求类型显示在右边的窗格中,在属性.当您添加一个需求时,它是用功能默认情况下键入。如果一个需求不打算被实现,你可以改变需求类型。要阅读更多关于需求类型的信息,请参见需求类型

要实现功能需求,您可以将其与Simulink链接起来®, Stateflow®,或System Composer™模型元素。控件有传入链接的需求实现类型或定义为的子类型的自定义链接类型实现被认为是实现了的实现状态。有关更多信息,请参见链接类型而且使用sl_customization文件定义自定义需求和链接类型

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

请注意

的传入链接,实现状态将考虑要实现的任何需求实现类型,无论链接源项是什么(除非链接源是一个验证,在这种情况下,它将被认为是经过验证的)。若要了解如何更改现有链接类型,请参见链接类型

当您将需求链接到Simulink、Stateflow或System Composer模型元素时,该链接将使用实现默认情况下键入。中选择需求时要求编辑器,关联的链接和链接类型将显示在右侧窗格的下方链接

提示

如果一个需求可以由多个项目实现,并且您想要获得每个项目实现的详细状态,那么您可以将一个需求分割成更小的需求,并分别实现每个需求。

Run Link实现分析

需求的工具箱在运行链接实现分析之前,不会执行该分析。你可以在要求编辑器或者需求视角。

一个横幅在要求编辑器或需求透视指示结果何时挂起。要运行分析,请单击分析现在在横幅上。或者,单击刷新要求编辑器或者刷新按钮在需求视角中。

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

或者,您也可以使用updateImplementationStatus而且getImplementationStatus,在MATLAB中查看实现状态®命令行中无需运行分析要求编辑器或者需求视角。

查看执行状态

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

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

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

  • 合理的(浅蓝色):该需求与使用实现链接类型。有关更多信息,请参见证明要求

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

另请参阅

相关的话题

Baidu
map