为什么需要代码覆盖率分析?
在发布代码的时候,我们常常会对其进行一系列的测试来协调软件的性能和功能,使他们和预计的相同。但是检验通常都是相当的困难,即使程序相当的简单。开发者常常会借助一些 测试工具( test suite) 来模拟或者重建执行脚本。如果测试程序组是彻底的,那么程序的各个功能都将被测试到并且都可以证明是可以工作的。
但是怎样才算彻底呢?简单点说就是测试程序的每一条路径,验证每一个结果,执行每一条语句,证明没一句语句是没用的。 gcov 就是一个用来检验你的每一句语句是否都执行了的工具。
什么是代码覆盖率分析?
代码覆盖率分析就是找到定位没用的或者不执行的代码的过程。没用的代码不会存在什么问题,但是他们会影响程序的可读性;不执行的代码则可能是未来 bug 的所在。所以找到他们,把他们从你的程序中移处是大有裨益的。
覆盖率分析主要有下面的几个过程:
通过测试程序组找到不执行的程序段;
添加额外测试程序组,以便增加代码覆盖率;
决定代码覆盖率的定量测度,它也是程序质量的间接测度。
代码覆盖率分析的缺陷
代码覆盖率分析不能找出程序的逻辑错误。考虑一下下面的代码
10: rc = call_to_xx ();
11: if (rc == ERROR_FATAL)
12: exit(2); /* exit with error code 2 */
13: else
14: /* continue on */
当测试程序段运行到 11 行时, 11 行始终都不能为真。 call_to_xx 返回了另外的一个错误比如 ERROR_HANDLE ,除非我们加入这种错误的处理方式的代码。
代码覆盖测试工具不会告诉你什么是必须的,他们只能显示已经存在的代码的覆盖率。
代码覆盖率的类型
gcov 可以用来测量各种形式的代码覆盖率。最常见最有用的两种是分支覆盖( branch coverage) 和循环覆盖( loop coverage )
分支覆盖证明各个方向的每一条分支都被执行到了。循环覆盖试图证明循环内部的每一条路径都被测试到了。循环覆盖似乎非常的复杂,但基本上只要满足下面的三个状况,就可以作了。
1 。循环条件不满足,循环没有内部没有执行;
2 。循环条件就满足了一次,循环内部就执行了一次;
3 。循环条件至少满足了两次,循环至少执行了两次。
举个例子
void function(int number)
{
if (number % 2) == 0)
printf("even \n");
for (;number < 9; number++){
printf("number is %d\n", number);
}
}
function(11); 满足状况一
function(8); 满足状况二
function(6); 满足状况三