Main Content

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

定义自定义需求和链接类型和属性

Requirements Toolbox™ 包括内置需求和链接类型,您可以使用它们来指示您的需求的作用以及链接项目之间的关系。您可以使用原型或 sl_customization 文件定义自己的自定义需求或链接类型来扩展内置类型。

此外,Requirements Toolbox 还包含可用于提供有关您的需求和链接的信息的属性。您可以使用原型属性或自定义属性来定义自己的自定义需求或扩展内置属性的链接属性。

定义自定义需求和链接类型

要定义自定义需求或链接类型,您可以定义一个原型或创建一个 sl_customization 文件。

下表总结了两种方法之间的差异:

原型sl_customization 文件
您只能将原型与分配了配置文件的需求集或链接集一起使用。您可以将自定义类型与所有开放的需求或链接一起使用。但是,您必须在每个 MATLAB® 会话期间执行 slreq.refreshCustomizations
您可以跨工程重复使用原型。您可以在跨工程之间重复使用 sl_customization 文件。
您可以在单个工程中创建多个配置文件,并将多个配置文件分配给单个需求集或链接集。MATLAB 路径上只能有一个 sl_customization 文件。
要与其他用户共享需求或链接集,您必须共享需求或链接集和配置文件 XML 文件

要与其他用户共享需求或链接集:

  1. 您必须共享需求或链接集和sl_customization文件。

  2. 他们必须执行slreq.refreshCustomizations才能让Requirements Toolbox识别自定义类型。

当您对配置文件或原型进行更改,然后加载需求或链接集时,您必须修复过时的配置文件。当您对 sl_customization 文件进行更改时,您必须执行 slreq.refreshCustomizations 来更新自定义类型。

使用原型定义自定义类型

要使用原型定义自定义类型,您必须创建一个配置文件来包含原型,然后定义原型。要使用原型,请将配置文件分配给需求集或链接集。在需求编辑器或 MATLAB 命令行中将需求或链接类型设置为原型。有关更多信息,请参阅 使用原型自定义需求和链接

使用 sl_customization 文件定义自定义类型

要使用 sl_customization 文件定义自定义类型,必须创建一个定义名为 sl_customization 的函数的 MATLAB 代码文件,然后将自定义类型的定义添加到该文件中。使用 slreq.refreshCustomizations 注册自定义类型。有关更多信息,请参阅 使用 sl_customization 文件定义自定义需求和链接类型

需求编辑器或 MATLAB 命令行中将需求或链接类型设置为自定义类型。

定义需求和链接的自定义属性

要为需求或链接定义自定义属性,您可以定义具有原型属性的原型,或者为需求集或链接集定义自定义属性。

下表总结了两种方法之间的差异:

由原型属性定义的自定义属性自定义属性定义的自定义特性
您必须先将配置文件应用到需求集或链接集,然后才能使用原型属性。您必须为每个需求集或链接集定义自定义属性。
您只能将原型属性与使用该原型的需求或链接一起使用。您只能将自定义属性与已定义自定义属性的需求集或链接集中的需求或链接一起使用。
您可以通过重复使用配置文件来跨工程重复使用原型属性。除非您重复使用整个需求集,否则您无法跨工程重复使用自定义属性。
当您与其他用户共享需求集或链接集和配置文件 XML 文件时,Requirements Toolbox 会识别原型属性。当您与其他用户共享需求集或链接集时,Requirements Toolbox 会识别自定义属性。您不需要共享额外的文件。
如果您对配置文件或原型进行了更改,然后加载需求集或链接集,则必须修复过时的配置文件。如果您对自定义属性进行更改,Requirements Toolbox 会自动应用更改,但可能会丢失一些数据。有关更多信息,请参阅 向需求添加自定义属性向链接添加自定义属性 中的编辑自定义属性部分。

使用原型定义自定义属性

要使用原型来定义自定义属性,您必须创建一个配置文件,定义一个原型,然后向该原型添加属性。将需求或链接类型设置为原型后,您可以在需求编辑器或 MATLAB 命令行中设置自定义属性的值。有关更多信息,请参阅 使用原型自定义需求和链接

使用自定义属性定义自定义属性

要使用自定义属性来定义自定义属性,您必须将每个属性定义为每个需求集或链接集的自定义属性。您可以在需求编辑器或 MATLAB 命令行中定义自定义属性。有关更多信息,请参阅 向需求添加自定义属性向链接添加自定义属性

选择内置类型作为基本行为

由于所有自定义类型都必须基于内置类型之一,因此自定义类型对实现和验证状态的贡献与内置类型相同。此外,自定义链接类型从内置链接类型继承其影响方向。

  • 要创建可通过链接到设计元素和测试来实现和验证的自定义需求类型,请使用 Functional 内置类型作为基本行为。Functional需求有助于实现和验证状态。有关详细信息,请参阅:

  • 要创建有助于实现状态的自定义链接类型,请使用 Implement 链接类型作为基本行为。

  • 要创建有助于验证状态的自定义链接类型,请使用 Verify 链接类型作为基本行为。

  • 要创建通过链接到外部测试结果来验证需求的自定义链接类型,请使用 Confirm 链接类型作为基本行为。有关更多信息,请参阅 创建和存储链接链接类型 部分。

  • 要创建具有与影响方向一致的前向和后向名称的链接类型,请使用与内置类型相同的链接方向。有关更多信息,请参阅 链接类型 下的表格。

    注意

    影响方向描述了变化如何在可追溯性图中的节点之间传播。有关更多信息,请参阅 使用可追溯性图可视化链接影响方向 部分。

相关主题