将需求链接到 MATLAB 代码
需求可追溯性是指需求与设计工件、测试工件和其他需求之间的关系。通过可追溯性,可以实现从需求到与需求相关的工件的跟踪,以及从工件到需求的跟踪。需求可追溯性证明了设计中存在各个组件以及测试工件中各个测试的合理性。
在 Requirements Toolbox™ 中,您可以通过创建链接来建立可追溯性。链接从源项指向目标项,并允许您在需求编辑器中的需求与其链接的项(例如 MATLAB® 代码行、Simulink® 模块以及 MATLAB 和 Simulink 测试)之间导航。
在本教程的这一步,您将创建从 myAdd
函数中的 MATLAB 代码行到您在上一步中编写的功能需求的链接。
打开工程文件
打开 MyAdd
工程。
openProject("MyAdd");
在需求编辑器中打开 myAddReqs
需求集。在工程的 documents
文件夹中,右键点击 myAddReqs.slreqx
,然后选择打开。
在 MATLAB 中,打开 myAdd
函数。
open myAdd
myAdd
函数实现 myAddReqs
中描述的功能需求。该函数会接受两个输入,并检查它们是否是有限值,是实数还是复数;将两个输入相加,然后输出结果。
使用该函数将 1
和 2
相加。
y = myAdd(1,2)
y = 3
将需求链接到代码行
通过创建从 myAdd
函数中的代码行到 myAddReqs
需求集中的功能需求的链接,在需求与设计之间建立可追溯性。
在函数和具有摘要 Take two inputs
的需求之间创建链接。在 MATLAB 编辑器中,选择 myAdd
函数的函数定义行。
在需求编辑器中,选择具有摘要 Take two inputs
的需求。通过选择添加链接 > 从 MATLAB 编辑器中所选内容链接来创建链接。
使用添加链接按钮在 myAdd
中的代码行与 myAddReqs
中的需求之间创建以下额外链接:
myAdd
中的第 8 行与具有摘要Add the inputs
的需求myAdd
中的函数定义行(第 1 行)与具有摘要Output the result
的需求myAdd
中的第 5 行和第 6 行与具有摘要Inputs should be finite
的需求
查看和保存链接
点击需求编辑器中的显示链接可查看所创建的链接。
当您在需求与设计或测试项之间创建链接时,Requirements Toolbox 通常会将设计或测试项指定为链接源,并将需求指定为目标。链接集的名称将源工件的名称与源工件的文件扩展名组合在一起,用波浪号分隔。在本例中,源工件的基本名称为 myAdd
,文件扩展名为 .m
,因此链接集名称为 myAdd~m
,后跟 .slmx
链接集文件扩展名。Requirements Toolbox 将链接集存储在与源工件相同的文件夹中。
链接集名称中的星号表示该链接集未保存。选择链接集并点击保存来保存链接集。
在源与目标之间导航
在具有摘要 Take two inputs
的需求与 myAdd
函数中链接的代码行之间导航。
在需求编辑器中,点击显示需求。选择具有摘要 Take two inputs
的需求。在右窗格的链接下点击链接,导航到 myAdd
函数定义行。
系统会在 MATLAB 编辑器中打开代码文件,并选中链接的代码行。通过在 MATLAB 编辑器中右键点击并选择需求 > 启用需求突出显示来启用需求突出显示功能。启用需求突出显示功能后,链接的代码行将以黄色突出显示。
通过以下方法从函数定义行导航到具有摘要 Take two inputs
的需求:右键点击代码行并选择需求 > 1.Take two inputs。