相同的测试用例，不同的MC/DC覆盖率结果？

示例代码：

#include <stdio.h>
int mcdc(int a, int b, int c)
{
 int result;
 
 printf("a=%d, b=%d, c=%d\n", a, b, c);
 
 if((a > 1) && ((b > 2) || (c < 3)))
 {
  result = a*b+c;
 }
 else
 {
  result =  a+b*c;
 }
 printf("result = %d", result);
 
 return result;
}

通过以上的简单实例，说明一下目前比较常用的几种覆盖率。透过这个过程，相信您也会对覆盖率测试有个基本的认识。

×CASE（a,b,c）表示的是测试用例的输入，如第一个用例输入的是a = 2 b= 3 c = 4

×MC/DC覆盖率翻译名称为“修正条件判定覆盖”。它是DO-178B level A级别的认证标准中规定的。欧美的民用航空飞机的软件要求强制性的遵守DO-178B level A标准。MC/DC是目前要求最严格的覆盖率。

×以上实验的覆盖率数据使用c++test统计完成。

×使用Logiscope TestChecker统计的MC/DC的结果略有不同，如执行完第一条测试用例后，Logiscope TestChecker认为此时MC/DC覆盖率应该是25%，如下图：

×虽然两个工具对单个测试用例的覆盖率数据不同，但二者都认为当执行完表格中的4条用例后，MC/DC覆盖可以达到100%。可以看出两个工具对MC/DC的理解不完全相同。

×我个人认为c++test的理解更准确一些。大家怎么看？欢迎讨论！