主页>产品介绍>SCADE Suite>模型测试覆盖率分析

模型覆盖率分析 (MTC)

MTC是符合DO-178B的验证工具

MTC可评估SCADE模型被测试的程度

SCADE MTC模块能够统计基于需求的测试用例对模型的覆盖率，因而可验证模型的每一个基本单元是否都被激活过，以此来发现一些不需要的功能。

SCADE MTC的作用

覆盖率准则是基于运算符的特性

• SCADE模型是运算符组成的网络
• 每一个运算符都有各自的属性，不同的行为

覆盖率分析针对于每一个运算符的实例

模型覆盖率VS代码覆盖率

代码覆盖率分析

• 目标设计/编码/编译错误（代码中不需要的的功能）
• 不能发现软件需求错误
• 与手工的或不合格代码有关
• 代码覆盖率分析可以通过使用认证级代码生成器而省略

模型覆盖率分析

• 针对于软件需求错误（软件低层需求中不需要的功能）
• 一种功能的增加，而不是对代码覆盖率的弥补