Simulink Verification and Validation

需求跟踪到模型、测试和生成代码

Simulink Verification and Validation 中的需求管理界面可以让您将 Simulink 和 Stateflow 对象链接到需求文档中的文本。它支持存储在 IBM® Rational® DOORS®、Microsoft® Word、Excel®、PDF 或 HTML 文件中的需求。还可以对其进行定制以支持其他文档类型和需求管理系统。

Requirements Management Interface context menu and Requirements dialog box.
需求管理界面上下文菜单和“需求”对话框。

创建链接

链接是模型中指向外部文档的引用。它们与模型模块唯一标识符相关联,以确保需求可追溯性信息的健壮性和持久性。

需求可追溯性能够让您选择外部文档中的需求对象或书签并通过 Simulink 中的上下文菜单创建链接。在“需求”对话框中,您可以应用关键词和描述来链接,以获得更有针对性的分析。

查看设计和需求

需求管理界面可以突出显示模型中的模块或生成将模型子系统图片与需求文档信息相结合的需求报告。您还可以使用 Simulink Report Generator™ 自定义报告模板。

结合使用 IBM Rational DOORS,Simulink Verification and Validation 可以将 Simulink 链接复制为 DOORS 中的链接对象,从而确保双向可追溯性而无需修改需求文档。需求管理界面还可以同步 DOORS 和 Simulink 中的链接。从而您可以在 IBM Rational DOORS 或 IBM Rational DOORS Web Access 中创建链接,然后通过 Simulink 模型进行同步。为了确保需求链接与源文档一致,您可以运行需求一致性检查,识别已移除或修改的需求。这些检查也可与其他模型顾问检查相结合,对模型进行系统分析。

查看代码

使用 Embedded Coder™HDL Coder™Simulink PLC Coder™ 从模型生成代码,让您能够将需求标签作为注释包含在源代码中,并且将它们制成代码生成报告中的超链接。代码生成报告中的超链接提供了从代码到需求的直接导航。

访问 MathWorks 合作计划,查看支持需求管理界面及提供链接和可追溯性的第三方需求管理方案。

Annotated source code, created with Real-Time Workshop Embedded Coder, showing hyperlinks to requirements.
带注释的源代码,使用 Embedded Coder 创建,显示需求超链接。
下一页: 符合建模标准

试用 Simulink Verification and Validation

获取试用版软件

为工程车辆开发多物理域的系统级模型

观看网上技术交流会录像