主要内容

需求链接和链接类型

需求跟踪链接

当您要从Simulink导航时金宝app®模型或从MATLAB的一个区域®如果将代码添加到需求文档中的某个位置，则可以将需求跟踪链接添加到模型或代码。

需求跟踪链接具有以下属性:

  • 最多255个字符的说明。

  • 需求文档路径名，例如微软®词IBM中的文件或模块®理性的®门®数据库。(RMI支持几种内金宝app置的文档格式。您还可以注册自定义类型的需求文档。看到金宝app支持的需求文档类型．)

  • 需求文件内的指定位置，例如:

    • 书签

    • 锚

    • ID

    • 页码

    • 行号

    • 细胞范围

    • 链接目标

    • 您定义的标记

金宝app需求链接支持的模型对象

您可以将下列类型的Simulink模型对象之间的需求链接关联起来:金宝app

  • 金宝appSimulink框图和子系统

  • 金宝appSimulink块和注释

  • 金宝appSimulink数据字典条目

  • 信号生成器信号组

  • 状态流®图表、子图表、状态、转换和方框

  • Stateflow功能

  • MATLAB代码行数

  • 金宝app仿真软件测试™管理测试用例

链接和链接类型

需求链接是由Simulink管理的数据结构，用于标识文档中的特定位置。使用金宝apprmi指挥部。

链接和链接类型一起执行导航和管理需求。这个医生和id链接的字段唯一地标识外部文档中的链接项。当您从模型导航链接时，RMI将这两个值传递给导航命令。

链接类型属性

链接类型属性定义如何在需求管理工具中创建、标识、导航到和存储链接。下表描述了这些属性中的每一个。

财产 描述
登记

创建链接类型的函数的名称。RMI将这个名称存储在Simulink模型中。金宝app
标签

用于标识此链接类型的字符串。在传出链接编辑器，此字符串将出现在文件类型Simulink或Stateflow对象的金宝app下拉列表。
IsFile

一个布尔属性，指示链接的文档是否是计算机文件系统中的文件。如果一个文件是一个文件:

  • 软件使用标准方法解析路径。

  • 在“外发链接编辑器”中单击时浏览，则打开文件选择对话框。
扩展

文件扩展名数组。单击时，将这些文件扩展名用作传出链接编辑器中的筛选选项浏览．文件扩展名根据文档名称推断链接类型。如果您为同一个文件扩展名注册了多个链接类型，则您注册的链接类型优先级最高。
LocDelimiters

包含受支持的导航分隔符列表的字符串。金宝app需求ID中的第一个字符指定标识符的类型。例如，标识符可以引用特定的页码(#4)、命名书签(@我的标签)，或一些可搜索的文本(search_text ?)。有效的位置分隔符确定传出链接编辑器中可能的条目位置下拉列表。
NavigateFcn

点击链接时调用的MATLAB回调函数。该函数有两个输入参数:文档字段和链接的ID字段:

函数宏指令(LinkType。NavigateFcn,Link.document, Link.id)
ContentsFcn

单击时调用的MATLAB回调函数文档索引选项卡中的外发链接编辑器。此函数有一个包含解析函数的完整路径的输入参数，如果链接类型不是文件，则为文件字段的内容。

该函数返回三个输出:

  • 标签

  • 深度

  • 位置
BrowseFcn

当你点击时，MATLAB回调函数被调用浏览在传出链接编辑器中。当链接类型为文件时，不需要此函数。该函数不接受任何输入参数，并返回标识所选文档的单个输出参数。
CreateURLFcn

为需求构造路径名的MATLAB回调函数。此函数使用文档路径或URL来创建特定的需求URL。需求URL基于在第三个输入参数中指定的位置标识符。输入参数是:

  • 需求文档的完整路径名

  • 有关创建文档URL的信息（如果适用）

  • 需求在文档中的位置

此函数返回指定为字符向量的单个输出参数。从生成的报告导航到需求时使用此参数。
IsValidDocFcn

运行需求一致性检查时调用的MATLAB回调。该函数接受一个输入参数—需求文档的完全限定名。如果可以找到文档，则返回true;如果无法找到文档或文档名称无效，则返回false。
IsValidIdFcn

运行需求一致性检查时调用的MATLAB回调。这个函数有两个输入参数:

  • 需求文档的完全限定名称

  • 需求在文档中的位置

IsValidIdFcn如果在指定文档中找不到需求，则返回true；如果在指定文档中找不到该需求，则返回false。
IsValidDescFcn

运行需求一致性检查时调用的MATLAB回调。这个函数有三个输入参数:

  • 需求文档的完整路径

  • 需求在文档中的位置

  • 在Simulink中存储的需求描述标签金宝app

IsValidDescFcn返回两个输出：

  • 如果描述符合要求则为True，否则为false。

  • 如果在Simulink中不匹配，则文档中的需求标签。金宝app
详细信息

当您使用包括链接文档中的详细信息选项此函数返回与需求相关的详细内容，并具有三个输入参数：

  • 需求文档的完整路径

  • 需求在文档中的位置

  • 报告中要包含的细节级别(未使用)

这个详细信息返回两个输出：

  • 描述单元数组中片段之间的层次关系的数字数组

  • 来自需求的格式化片段（段落、表格等）的单元格数组
SelectionLinkFcn

当您对此文档类型使用基于选择的链接菜单选项时，将调用MATLAB回调。此函数有两个输入参数：

  • 将具有需求链接的模型对象的句柄

  • 如果在需求文档中插入了导航对象，则为True;如果没有插入导航对象，则为false

SelectionLinkFcn返回所选需求的需求链接结构。
GetResultFcn

当您将外部测试用例与需求链接到自定义链接类型文件时，将调用MATLAB回调函数。它用于自定义链接类型文件，并获取外部结果以与验证状态集成。

此函数有一个输入参数：

  • 链接:这是一个slreq.链路对象。该函数标识链接的源和目的。

函数返回一个输出参数，结果指定为结构体包含以下字段:

  • 状态（必需）：这是来自的值slreq.verification.Status(通过,失败,不新鲜的或不为人知)

  • 时间戳(可选):跳过该字段或标记纳特避免陈旧的结果检测。

  • 信息(可选):这应该是一个字符，向量或字符串。的价值信息在状态的工具提示上打印为诊断。

  • 错误(可选):这应该是一个字符，向量或字符串。的价值错误在状态的工具提示上打印为诊断。如果提供，则优先于信息领域

传出链接编辑器

使用传出链接编辑器管理需求跟踪链接

您可以使用外发链接编辑器创建、编辑和删除需求跟踪链接。打开外发连结编辑器:

  • 在Simuli金宝appnk Editor中，右键单击具有需求跟踪链接的模型对象。从上下文菜单中选择需求>打开外发链接对话框．

  • 在MATLAB编辑器中，右键单击具有需求跟踪链接的代码区域。从上下文菜单中选择需求>打开外发链接对话框．

将打开外发链接编辑器，如下所示。

在传出链接编辑器中，您可以：

  • 从一个或多个Simulink模型对象或MATLAB代码行创建需求链接。金宝app

  • 自定义有关需求链接的信息，包括指定用户标记以筛选需求突出显示和报告。

  • 删除现有的需求链接。

  • 修改需求的存储顺序，以控制链接对象上下文菜单中标签的顺序。

要求标签

上需求选项卡，指定链接的详细信息，包括:

  • 需求描述(最多255字)。如果您使用文档索引创建链接，除非一个描述已经存在，索引位置的名称成为链接的描述。

  • 需求文档的路径名。

  • 文档类型(微软文字处理软件,Microsoft Excel®，IBM Rational DOORS，MuPAD®， HTML，文本文件等)。

  • 需求的位置(搜索文本、指定位置或页面或项目编号)。

  • 用户指定的标记或关键字。

文档索引选项卡

这个文档索引属性中指定文件时，选项卡才可用文件球场需求支持索引的选项卡。金宝app上文档索引选项卡，RMI在指定的需求文档中为以下类型的需求文档生成位置列表:

  • 微软文字处理软件

  • IBM Rational DOORS

  • HTML文件

  • MuPAD

注

RMI不能为PDF文件创建文档索引。

从文档索引中选择所需的需求并单击好吧．除非说明已存在，索引位置的名称将成为链接的说明。

如果对需求文档进行任何更改，要将任何新创建的位置加载到文档索引中，必须单击刷新. 在MATLAB会话期间，RMI不会重新加载文档索引，除非您单击刷新按钮。

金宝app仿真软件需求文档

金宝app

使用Simulink自动化验证和确认金宝app

使用Simulink自动化验证和确认金宝app

得到资源