主要内容

本页采用了机器翻译。点击此处可查看最新英文版本。

从设计到验证分配和追踪需求

系统工程设计是一个迭代过程。设计工程师编写、链接和优化需求,然后通过全面的测试来验证系统设计是否准确地实现了每个需求。需求是描述系统的期望行为和特征的语句集合。需求有助于确保系统设计的完整性,并且应该可实现、可验证、无歧义且相互一致。每个设计层级都应该有适当的需求。

需要 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 模块有一个需求徽章。需求与需求链接在“需求透视”中可见。

另请参阅

模块

工具

函数

主题