需求的工具箱
编写、链接并验证设计和测试的需求
要求工具箱™让您在MATLAB中编写、链接和验证需求®或仿真软件®.您可以使用具有自定义属性的富文本创建需求,或者从需求管理工具导入它们。
您可以将需求链接到MATLAB代码、System Composer™或Simulink模型和测试。工具箱分析可追溯性,以确定实现或测试中的差距。设计突出显示和跟踪矩阵总结了跨多个工件存在的链接,并指导您解决任何差距。当需求更改时,链接的工件将被突出显示,并且您可以使用可追溯关系图确定受影响的上游和下游工件。从Simulink设计中生成的代码包括记录需求实现位置的代码注释,以辅助评审。
您可以使用需求表将需求形式化,并分析它们的一致性、完整性和正确性。需求透视使您能够在设计的同时查看和管理需求。当与Simulink一起使用时,您可以通过简单的拖放创建到块的链接。
开始
学习需求工具箱的基础知识
需求定义
编写需求,导入,导出,并形式化需求
需求跟踪
将需求与设计、代码和测试联系起来,指定关系,添加标记,检查模型和代码的可追溯性,检查一致性
基于需求的测试
基于需求的模型验证,解释和报告测试结果
需求比较和变更跟踪
审核和比较需求,跟踪变更并提供理由,生成报告以供签署和批准
需求管理界面
遗留RMI接口支持的需求可追溯性
验证和确认
使用Simulink产品来2022世界杯八强谁会赢?测试模型和代码,检查设计错误,检查标准,测量覆盖率,并验证系统
工具资质和认证
符合DO和IEC认证要求的工具箱