配置形式化需求的属性
当您使用 Requirements Table 模块创建形式化需求时，该模块还会创建您可以在需求编辑器或属性检查器中配置的需求。您还可以使用需求编辑器将 Requirements Table 模块中的需求链接到模型元素。配置需求后，您可以使用可追溯性矩阵或可追溯性图来分析需求。
在需求编辑器中打开需求
当您加载包含至少一个 Requirements Table 模块的 Simulink® 模型时，需求编辑器会加载与该模块相关的需求。要打开需求编辑器，请在 App 选项卡中点击需求编辑器。或者，在 MATLAB® 命令行输入 slreq.editor。您可以加载一个或多个模型。
如果您加载的模型至少包含一个 Requirements Table 模块，则需求编辑器会将每个模型作为需求集加载。需求编辑器将每个模型中包含的 Requirements Table 模块列为导入节点，您可以展开这些节点来查看需求。节点的摘要列是每个模块的名称。
例如，加载在示例模型中使用假设中使用的模型并展开导入节点 Table1 以查看需求。
Simulink 存储模型中每个模块的需求集。当您加载模型时，Requirements Toolbox™ 会在内存中创建需求集文件的副本。但是，Requirements Toolbox 不会创建单独的需求集文件。
如果您加载包含多个 Requirements Table 模块的模型，则需求编辑器会加载每个 Requirements Table 模块的需求集。您不能指定从给定模型中加载单独的 Requirements Table 模块。
在需求编辑器和属性检查器中管理需求
加载模型后，您可以使用需求编辑器和属性检查器来修改每个需求的需求类型、自定义 ID、描述、理由或关键字。
使用需求编辑器
在需求编辑器中，展开导入节点以查看需求。点击一个需求可以修改其属性。
然后您可以修改类型、自定义 ID、描述、理由、关键字和注释属性。使用类型属性来指定需求的角色。请参阅需求类型。使用自定义 ID、描述、理由、关键字和注释属性向需求添加基于文本的详细信息，以帮助您定位需求并传达有用的信息。
当您在模块中添加或删除需求时，需求会在编辑器中更新。如果您更改模块中每个需求摘要的名称，则摘要属性会自动更新。当您第一次创建需求时，描述字段具有与摘要属性相同的值。
使用属性检查器
要使用属性检查器：
打开包含 Requirements Table 模块的模型。
打开 Requirements Table 模块。
打开属性检查器。在建模选项卡的设计数据部分中，点击属性检查器。
在模块的需求选项卡中，点击需求。
属性检查器显示与需求编辑器右侧窗格中相同的属性。
链接需求
您可以使用需求编辑器向 Requirements Table 模块中的需求添加传入或出向链接。要创建从模块需求到模型中另一个元素的传入链接：
在模型中，选择一个模型元素。
在需求编辑器中，选择一个需求。
点击 添加链接 > 从 Simulink 中所选内容链接。
有关创建链接的更多信息，请参阅 创建和存储链接。
如果使用新名称保存模型，软件将创建与模型文件同名的链接集文件的副本。但是，如果需求有任何传入链接，则在保存模型时会出现一个对话框询问是否复制或清除链接。点击更新入向链接复制链接或点击断开入向链接清除新链接集。
当您在 Requirements Table 模块中链接需求时，软件会默认创建一个与模型同名的单独链接集文件。如果您不想创建单独的链接集文件，您也可以将链接作为模型的一部分内部存储：
在 App 选项卡中，点击需求管理器。
在需求浏览器中，将视图设置为链接。
在需求选项卡的设置部分中，点击链接设置 > 默认链接存储。
在“需求设置”窗口的存储选项卡中，选择内部存储(嵌入在 Simulink 图文件中)。
有关详细信息，请参阅链接存储。
创建可追溯性矩阵和可追溯性图
链接需求之后，您可以创建可追溯性矩阵或可追溯性图。
创建可追溯性矩阵
要访问可追溯性矩阵窗口，请使用以下方法之一：
在需求编辑器中，点击可追溯性矩阵。
在 MATLAB 命令行中，输入：
slreq.generateTraceabilityMatrix
要创建可追溯性矩阵，请选择模型文件和同名的 SLREQX 文件。有关详细信息，请参阅使用可追溯性矩阵跟踪需求链接。
创建可追溯性图
要创建可追溯性图，请使用以下方法之一：
在需求编辑器中，选择需求或导入节点，然后在分析部分中点击可追溯性图。
在需求编辑器中，右键点击需求集或模块节点并选择查看可追溯性图。
在 MATLAB 命令行中，输入：
slreq.generateTraceabilityDiagram
有关详细信息，请参阅使用可追溯性图可视化链接。
