跟踪要求,建筑,设计,编码,测试和

需求追溯连接模型,测试和代码,以帮助管理变化和减少设计周期废弃物需求定义。

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

对于开发人员常见任务工作,达到要求的可追溯性万博1manbetx®系统构成™Stateflow的®包括:

  • 查看开发环境,他们正在实施中的要求的详细信息
  • 生成的可追溯性报告,其中包括设计,测试,并在一份文件中要求信息
  • 识别设计和链接到需求的测试,并导航到外部需求
  • 了解需求变更对设计和试验的影响

Simu万博1manbetxlink环境提供了有效的链接,分析和需求追踪的报告功能。有关详细信息,请参阅万博1manbetx系统构成万博1manbetxSimulink的要求™




也可以看看:形式化验证万博1manbetxSimulink的要求基于模型的测试万博1manbetxSimulink设计验证需求跟踪视频

自动化验证和确认使用Simulink万博1manbetx