主要内容

要求工具箱

作者,链接和验证设计和测试的要求

要求工具箱™允许您在MATLAB中作者,链接和验证验证要求®或者模金宝app拟®。您可以使用具有自定义属性的富文本创建要求或从需求管理工具导入它们。

您可以将要求链接到MATLAB代码,系统Composer™或Simulink模型以及测试。金宝app工具箱分析了可追溯性以识别实施或测试中的空隙。设计突出显示和可追溯性矩阵总结了多种工件中存在的链接,并指导您解决任何空隙。当需求发生变化时,突出显示链接的工件,您可以确定使用可追溯性图影响的上游和下游工件。Simulink Designs的生成代金宝app码包括代码评论,该评论文档以协助审查提供何处。

您可以使用要求表进行正式化要求并分析它们以获得一致性,完整性和正确性。要求透视图使您可以与设计一起查看和管理要求。与Simulink一起使用时,金宝app您可以使用简单的拖放并删除来创建要块的链接。

金宝app通过支持行业标准IEC认证套件(对于ISO 26262和IEC 61508)和做资格套件(对于do-178)。

开始

了解要求工具箱的基础知识

要求定义

作者要求,导入,导出和正式化要求

要求可追溯性

为设计,代码和测试的链接要求,指定关系,添加标记,审核模型和代码的可追溯性,检查一致性

基于要求的测试

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

要求比较和变更跟踪

需求审查和比较,跟踪更改并提供理由,生成签署和批准的报告

要求管理界面

遗留RMI接口支持的需求可追溯性金宝app

验证和验证

使用Si金宝appmulink产品测下载188bet金宝搏试模型和代码,检查设计错误,检查标准,测量覆盖范围,并验证系统

工具资格和认证

符合DO和IEC认证的资格要求工具箱