主要内容

需求的工具箱

创建、链接和验证设计和测试的需求

要求工具箱™允许您在MATLAB中编写、链接和验证需求®或仿真万博1manbetx软件®.您可以使用带有自定义属性的富文本创建需求,或者从需求管理工具中导入它们。

您可以将需求链接到MATLAB代码、System Composer™或Simulink模型和测试。万博1manbetx工具箱分析可追溯性,以确定实现或测试中的差距。设计突出显示和可跟踪矩阵总结了多个工件之间的链接存在的位置,并指导您解决任何差距。当需求更改时,链接的工件将被突出显示,并且您可以使用可跟踪关系图确定受影响的上游和下游工件。从Simulink设计中生成的代码包括代万博1manbetx码注释,这些注释记录了实现需求的位置,以协助审查。

您可以使用需求表形式化需求,并分析它们的一致性、完整性和正确性。需求透视图使您能够与设计一起查看和管理需求。当与Simulink一起使用时万博1manbetx,您可以通过简单的拖放创建到块的链接。

万博1manbetx对行业标准的支持可通过IEC认证套件(适用于iso26262及iec61508)及DO资格套件(- 178)。

开始

学习需求工具箱的基础知识

需求定义

编写需求、导入、导出并形式化需求

需求跟踪

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

基于需求的测试

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

需求比较和变更跟踪

需求评审和比较,跟踪变更并提供理由,生成报告以供签署和批准

需求管理界面

由遗留RMI接口支持的需求可跟踪性万博1manbetx

验证与验证

使用Si万博1manbetxmulink产品来s manbetx 845测试模型和代码,检查设计错误,检查标准,测量覆盖率,并验证系统

工具确认和认证

符合需求工具箱的DO和IEC认证