Ansys SCADE Test 模型和代码覆盖分析

凭借基于需求的高级测试套件，SCADE Test ModelCoverage可通过模型和生成代码的覆盖测量功能来扩展SCADE Suite或SCADE Display应用的开发。

SCADE Test Model Coverage与SCADE Test Environment for Host相结合，使用户可以测量在主机上创建和执行的测试案例的模型覆盖率。更有利的是还能将模型和代码覆盖可合并为一项工作，这样所需的时间和工作量即可减少一半。根据DO-178C/D0-330 TOL-4、IS0 26262 TCL3、 EN 50128 T2和IEC 61508 T2等标准，模型级覆盖可测量合格开发工具内的分支覆盖、决策覆盖和修正后的条件/决策覆盖。