针对需求链接的模型顾问检查
要检查模型中的每个需求链接在需求文档中都有一个有效的目标,请从 Simulink 工具条中打开需求工具。点击检查一致性以在模型顾问中运行“需求一致性检查”检查项。
在模型顾问中,需求一致性检查在以下位置可用:
按产品 > Requirements Toolbox > 需求一致性
按任务 > 需求一致性检查
注意
为高完整性系统建模时,要检查模型元素是否链接到需求文档,请运行检查模型元素中是否存在与需求不关联的部分。。
| 模型顾问检查 | 检查 ID |
|---|---|
| 标识具有缺失文档的需求链接 | mathworks.req.Documents |
| 标识指定文档中无效位置的需求链接 | mathworks.req.Identifiers |
| 标识其描述字段与其需求文档文本不匹配的基于选择的链接 | mathworks.req.Labels |
| 标识路径类型与预设项不一致的需求链接 | mathworks.req.Paths |
| 识别与 IBM 链接但不与 DOORS 链接的 Simulink Simulink 对象 | 不适用 |
另请参阅
主题
- 验证模型中的需求链接 (Requirements Toolbox)
- 运行模型顾问检查并查看结果