Main Content

Requirements Toolbox

编写、链接和验证设计和测试的需求

通过 Requirements Toolbox™,您可以在 MATLAB® 或 Simulink® 中编写、链接和验证需求。您可以使用具有自定义属性的富文本来创建需求,也可以从需求管理工具导入需求。

您可以将需求链接到 MATLAB 代码,System Composer™ 或 Simulink 模型,以及测试。该工具箱会分析可追溯性,以确定实现或测试中的缺失。设计突出显示功能和可追溯性矩阵会概要显示多个工件之间哪里存在链接,并指导您消除任何缺失。当需求发生更改时,与之链接的工件会突出显示,您可以使用可追溯性图来确定受影响的上游和下游工件。从 Simulink 设计生成的代码包括代码注释,这些注释会记录实现了需求的位置以帮助进行审核。

您可以使用“需求表”来将需求正式化并对其进行一致性、完整性和正确性分析。您可以使用“需求透视”功能,与设计一起查看和管理需求。当与 Simulink 结合使用时,您可以通过简单的拖放操作创建到模块的链接。

通过 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178) 实现对行业标准的支持。

Requirements Toolbox 快速入门

Requirements Toolbox 基础知识学习

需求定义

编写、导入、导出需求并使需求正式化

需求可追溯性

将需求链接到设计、代码和测试,指定关系,添加标记,查看模型和代码的可追溯性,检查一致性

基于需求的测试

基于需求的模型验证,解释和报告测试结果

需求比较和更改跟踪

需求查看和比较,跟踪更改和提供申诉,生成报告以供签核和批准

需求管理界面

旧版 RMI 界面支持的需求可追溯性

验证和确认

使用 Simulink 产品测试模型和代码,检查设计错误,检查是否符合标准,测量覆盖率,并验证系统

工具鉴定与认证

针对 DO 和 IEC 认证鉴定 Requirements Toolbox