跟踪对体系结构、设计、代码和测试的需求

需求可追溯性将模型、测试和代码与需求定义连接起来,以帮助管理变更并减少设计生命周期中的浪费。

可追溯性分析需要符合行业标准,如汽车行业的ISO 26262和IEC 61508,商业航空行业的DO-178C,铁路行业的EN 50128,医疗行业的IEC 62304,以及通用软件开发标准,如CMMI和SPICE。

开发人员实现需求可跟踪性的常见任务金宝app®,系统作曲家™,Stateflow®包括:

  • 查看正在实现需求的开发环境中的需求细节
  • 在单个文档中生成包括设计、测试和需求信息的可跟踪性报告
  • 识别与需求链接并导航到外部需求的设计和测试
  • 理解需求变更对设计和测试的影响

Simu金宝applink环境提供了对需求可追溯性进行有效链接、分析和报告的功能。有关详细信息,请参见金宝app,系统的作曲家,金宝app仿真软件需求™




参见:形式验证,金宝app仿真软件的需求,基于模型的测试,金宝app仿真软件设计验证器,需求跟踪视频

Automatización de la verificación y validación con 金宝appSimulink