我运行C ++代码以获取this post中的代码覆盖范围结果。
#include <iostream>
using namespace std;
int testfunction(int input)
{
if (input > 0) {
return 1;
}
else {
return 0;
}
}
int main()
{
testfunction(-1);
testfunction(1);
}
<< img src =“ https://image.soinside.com/eyJ1cmwiOiAiaHR0cHM6Ly9pLnN0YWNrLmltZ3VyLmNvbS9sRUo3aS5qcGcifQ==” alt =“在此处输入图像描述”>
代码覆盖率结果表示main()中有三个块,而testfunction()中有四个块。该区块是什么意思? main / testfunction中的3/4块如何?
当我如下修改代码时,
int main()
{
testfunction(1);
testfunction(1);
}
或如下
int main()
{
testfunction(-1);
testfunction(-1);
}
我有这个结果。
<< img src =“ https://image.soinside.com/eyJ1cmwiOiAiaHR0cHM6Ly9pLnN0YWNrLmltZ3VyLmNvbS9RVnQ4Si5qcGcifQ==” alt =“在此处输入图像说明”>
似乎testfunction()
有四个块。
我从this post得到提示。
代码覆盖范围内的块的技术术语为基本块。要直接从the Wikipedia entry婴儿床:
基本块中的代码有一个入口点,意味着其中没有代码是跳跃的目的地指令在程序中的任何地方它有一个出口点只有最后一条指令可以导致该程序开始执行代码一个不同的基本块。在这些之下在任何情况下基本块中的指令是执行,其余指令必须执行一次按顺序。
基本块在代码覆盖率中很重要,因为我们可以在基本块的开头插入probe。点击此探针后,我们知道该基本块中的以下所有指令都将执行(由于基本块的属性)。
不幸的是,对于编译器(尤其是优化),源代码如何映射到基本块并不总是很明显。最简单的方法就是查看生成的程序集。例如,让我们看一下原始的main
和testfunction
:
对于main
,我看到下面的程序集(与原始源交错)。与Peter does here类似,我已经指出了基本块的起始位置。
int main()
{
013B2D20 push ebp <--- Block 0 (initial)
013B2D21 mov ebp,esp
013B2D23 sub esp,40h
013B2D26 push ebx
013B2D27 push esi
013B2D28 push edi
testfunction(-1);
013B2D29 push 0FFFFFFFFh
013B2D2B call testfunction (013B10CDh)
013B2D30 add esp,4 <--- Block 1 (due to call)
testfunction(1);
013B2D33 push 1
013B2D35 call testfunction (013B10CDh)
013B2D3A add esp,4 <--- Block 2 (due to call)
}
013B2D3D xor eax,eax
013B2D3F pop edi
013B2D40 pop esi
013B2D41 pop ebx
013B2D42 mov esp,ebp
013B2D44 pop ebp
013B2D45 ret
[我们看到main
具有三个基本块:一个初始块,由于功能调用,另外两个基本块。查看代码,这似乎是合理的。 testfunction
有点难。仅查看源代码,似乎有三个块:
input > 0
)return 1
)return 0
)但是,由于实际生成的程序集,所以有四个块。我假设您在禁用优化的情况下构建了代码。当我在Debug配置中使用VS2010进行构建时(禁用优化),我看到testfunction
的以下反汇编:
int testfunction(int input)
{
013B2CF0 push ebp <--- Block 0 (initial)
013B2CF1 mov ebp,esp
013B2CF3 sub esp,40h
013B2CF6 push ebx
013B2CF7 push esi
013B2CF8 push edi
if (input > 0) {
013B2CF9 cmp dword ptr [input],0
013B2CFD jle testfunction+18h (013B2D08h)
return 1;
013B2CFF mov eax,1 <--- Block 1 (due to jle branch)
013B2D04 jmp testfunction+1Ah (013B2D0Ah)
}
else {
013B2D06 jmp testfunction+1Ah (013B2D0Ah) <--- Not a block (unreachable code)
return 0;
013B2D08 xor eax,eax <--- Block 2 (due to jmp branch @ 013B2D04)
}
}
013B2D0A pop edi <--- Block 3 (due to being jump target from 013B2D04)
013B2D0B pop esi
013B2D0C pop ebx
013B2D0D mov esp,ebp
013B2D0F pop ebp
013B2D10 ret
[这里,我们有四个街区:
如果编译器在条件true和条件false分支中都复制了函数Epilog,您只会看到三个块。同样,有趣的是,编译器在jmp
处插入了一条伪造的013B2D06
指令。因为它是无法访问的代码,所以不会被视为基本块。
通常,所有这些分析都是多余的,因为总体代码覆盖率指标将告诉您您需要了解的内容。这个答案只是为了强调为什么块的数量并不总是很明显或期望的是什么。
根据Code Coverage Data Overview上的MSDN:
代码覆盖率数据是针对代码块,代码行和分行(如果由...执行)试运行。 代码块是一个代码具有单个入口点的路径单个出口点和一组所有在其中运行的指令顺序。一个代码块在它结束时结束达到新的决策点条件语句块函数调用,异常抛出,输入,离开,尝试,捕捉或最终构造。
主块:
测试功能块:
如果有人回答,我将不胜感激。为了报告代码覆盖率,哪个更好地报告块覆盖率或行覆盖率?和为什么?