[Simulink] 基于模型的测试与验证学习笔记_Step1: Reqirements Traceability

【注】 本文为2018 Mathworks 年会上机教程学习笔记， 讲师：周玲， 如有侵权，立即删除

本文所有模型均为上机练习模型，百度云链接

Requirements Management Interface（RMI）

上一节中Ad-hoc testing中仅做了一个简单的测试，还遗留了许多项需要检查，这一节解决其中的一项：
Are all requirements implemented？

需求的spec需要定了的足够清晰，便于早期的验证。同时，Simulink可以将需求直接挂载到模型中进行回溯。

Requirements Management Interface（RMI）可以实现：

• 将需求与Simulink模型、子系统和模块关联
• 将需求与Stateflow的charts、states、transitions、boxes和functions进行关联
• 将需求与Matlab的代码行和函数块进行关联
• 在Model Explorer中对应体现相关需求
• 与外部文档相关联等

需求文档

首先看一下需求文档，该例子中，需求文档采用Word编写。
【Ctrl】+ 对应图标即可打开与之关联的Simulink模型、子系统等

高亮模型

Analysis > Requirements > Highlight Model

这是凡是建立了关联的地方，模型都被高亮显示，如下图

左侧的Requirements Details中是对需求文档链接的说明
橙色边界意味着该子系统中至少有一个块具有相关联的需求，内部填充了黄色并配有链接的文档图标
点击到文档图标上可以查看具体的链接情况：

双向链接的配置方法

RMI可以创建单向（从模型到需求）或是双向（模型到需求或需求到模型）两种形式的链接。

如何设置双向链接是否开启：

• Analysis > Requirements > Settings > 勾选Modify destination for bi-directional linking
  

创建链接到Simulink模型

当需求文档中增加了需求项，选中对应的需求，回到模型中，右键Requirement > Link to Selection Word

创建链接到Stateflow模型

方法同Simulink，结合实际需求，在信号线上创建链接即可。

创建需求追溯报告

对于任何形式的Verification & Validation过程，都需要有跟踪当前工作的能力。同理，在需求可追溯性方面也有同样的要求，RMI提供生成需求追溯报告的功能，报告中对模型与需求的一一对应关系进行统计。

• Analysis > Requirements > Settings > Report选项卡
  
  应用后，点击Analysis > Requirements > Generate Report 生成报告
  
  生成一个html的网页报告。

从模型到代码的追溯性

在【Ctrl + B】对模型编译之前，将Configuration中Code Generation下Comments中Requirements in block comments勾选上。
（2018b版本是默认勾选的）

编译完成后，生成的代码如下：

图中带下划线的均为超链接，链接到所对应的模型以及其需求文档所在位置。

上面是从代码到模型的追溯，下面的是从模型到代码的查看

选中模型上需要查看的模块，Code > C/C++ Code > Navigate To C/C++ Code 即可查看对应的代码部分。

总结一下

通过将需求文档与模型建立直接关联，可以实现从设计初期的需求定义到代码部分的体现。