JaCoCo覆盖率计数器

覆盖率计数器

JaCoCo使用一组不同的计数器来计算覆盖率指标。所有这些计数器都是从Java类文件里获取信息，这些类文件包含Java 字节码指令和调试信息。即使没有可用源代码情况下，这种方法可以实时有效的对应用程序进行检测和分析。在大多数情况下，收集的信息可以映射回源代码，并可视化到每一行代码的粒度。然而，这种方法也有局限性。这些类文件必须使用调试信息编译，这样才可以计算行的覆盖率并让源码高亮显示。并不是所有的Java语言的结构都可以直接编译成相应的字节码。在这种情况下，Java编译器创建所谓的“合成”代码，有时会导致未预料到的代码覆盖结果。

指令（C0 覆盖率）

JaCoCo最小的计数单元是单个Java字节代码指令。指令覆盖率提供了代码是否被执行的信息。这个度量是完全独立于源格式并且经常可用，即使在类文件缺失调试信息的情况下。

分支（C1 覆盖率）

JaCoCo还计算所有的 if 和 switch 语句的分支覆盖率。这个度量计算一个方法里的总分支数并确定执行或未执行的分支数。分支覆盖率总是可用的，即使类文件里缺失调试信息的情况下。请注意异常处理是不在分支度量里面统计的。

如果类文件使用调试信息编译，产生的覆盖率可以映射到源码行并且高亮显示：

没有覆盖：行内没有分支被执行（红色代码块）
部分覆盖：行内只有一部分分支被执行（黄色代码块）
完全覆盖：行内所有分支都被执行 (绿色代码块)

圈复杂度

JaCoCo同样可以为每一个非抽象方法计算圈复杂度，最终计算出类、包、组的复杂度。根据McCabe1996圈复杂度的定义是，在线性组合中，计算在一个方法里面所有可能路径的最小数量。因此，复杂度的值可以作为表示单元测试用例是否有完全覆盖所有场景的一个依据。复杂度数字即使在类文件缺失调试信息的情况下也可以计算。

圈复杂度 v(G) 的正式定义基于方法的控制流程图作为有向图的表示：

v(G) = E - N + 2

其中，E代表边界的数量，N表示节点的数量。JaCoCo通过下面基于分支数量（B）和决策点数量（D）的等价方程来计算方法的圈复杂度：

v(G) = B - D + 1

基于每个分支的被覆盖情况，JaCoCo也为每个方法计算覆盖率和缺失的复杂度。缺失的复杂度同样表示测试用例没有完全覆盖到这个模块。值得注意的是JaCoCo并不会将异常处理作为分支， try/catch 块也同样不会增加复杂度。

行

所有的类文件使用调试信息编译之后，就可以计算行的覆盖率信息。一行源代码是否被执行，要看这一行中是否至少有一个指令被执行。由于单一行代码通常被编译为多个字节码指令，这样源码在高亮显示时，会显示成3种不同的状态：

没有覆盖：行中没有执行任何指令（红色背景）
部分覆盖：行中只有一部分指令被执行（黄色背景）
完全覆盖：行中的所有指令都已执行（绿色背景）

根据源代码格式的不同，源代码的单行可能引用多个方法或多个类。因此，不能简单地添加方法的行计数来获取包含类的总数。同一个源文件中多个类的行也是如此。Jacoco根据覆盖的实际源行计算类和源文件的行覆盖率。

方法

每个非抽象方法至少包含一个指令。一个方法是否执行取决于方法中是否至少有一个指令被执行。当Jacoco在字节代码级别上工作时，构造器和静态初始化同样会像方法一样统计。其中一些方法可能没有可以直接对应的Java源码，比如默认构造器或常量的初始化命令。

类

一个类是否执行取决于类中是否至少有一个方法被执行。值得注意的是JaCoCo认为构造函数和静态初始化都是方法。Java的接口一般包含静态初始化，所以接口也同样被认为是可执行的类。