从设计到验证分配和追踪需求
系统工程设计是一个迭代过程。设计工程师编写、链接和优化需求,然后通过全面的测试来验证系统设计是否准确地实现了每个需求。需求是描述系统的期望行为和特征的语句集合。需求有助于确保系统设计的完整性,并且应该可实现、可验证、无歧义且相互一致。每个设计层级都应该有适当的需求。
需要 Requirements Toolbox™ 许可证才能在 System Composer™ 中链接、追踪和管理需求。
要更新从导入文件中的引用需求链接并将其与 Requirements Toolbox 整合,请参阅从导入文件重定向引用需求链接。
为了增强需求的可追溯性,可将系统需求、功能需求、客户需求、性能需求或设计需求链接到组件和端口。将需求相互链接可表示派生的需求或分配的需求。在架构模型上使用需求管理器 (Requirements Toolbox)或通过自定义视图来管理需求。使用 Simulink 测试管理器 (Simulink Test)为需求分配测试用例,以便进行验证和确认。
需求集是需求的集合。您可以按层次结构组织需求,并将它们链接到组件或端口。使用需求编辑器 (Requirements Toolbox)来编辑和优化需求集中的需求。需求集存储在 SLREQX 文件中。您可以使用 Requirements Toolbox 创建新的需求集并编写需求,也可以从受支持的第三方工具导入需求。
链接是将两个基于模型的设计元素关联起来的对象。需求链接是一种目标为需求的链接。您可以将需求链接到组件或端口。使用需求管理器 (Requirements Toolbox)在 System Composer 中查看链接。在需求浏览器中选择一个需求,可突出显示分配了该需求的组件或端口。链接以 SLMX 文件形式存储在外部。
使用 Simulink 测试管理器 (Simulink Test)以及为组件创建测试框架需要获得 Simulink® Test™ 许可。有关详细信息,请参阅创建测试框架 (Simulink Test)。
提示
要了解更多关于 System Composer 概念在系统工程设计中的应用,请参阅System Composer 概念。
使用需求来建立从系统设计到验证的可追溯性。下表列出了与使用需求相关的主题。
主题 | 描述 |
---|---|
链接和追踪需求 | 定义架构模型的需求,然后将功能需求分配给组件,以建立可追溯性。 |
管理需求 | 使用需求编辑器 (Requirements Toolbox)管理需求,使用可追溯性图追溯需求,并使用 Requirements Table (Requirements Toolbox) 模块分析需求。 |
验证和确认需求 | 围绕组件创建测试框架,使用 Simulink 测试管理器 (Simulink Test)将测试用例与需求链接起来,并验证需求是否满足设计需求。 |
此 Variant Component 模块有一个需求徽章。需求与需求链接在“需求透视”中可见。
另请参阅
模块
- Requirements Table (Requirements Toolbox)
工具
- 需求编辑器 (Requirements Toolbox) | 需求管理器 (Requirements Toolbox) | 架构视图库 | Simulink 测试管理器 (Simulink Test)
函数
slreq.editor
(Requirements Toolbox) |sl_refresh_customizations