JaCoCo应该为基于Java VM的环境中的代码覆盖率分析提供标准技术。重点是提供一个轻量级,灵活且文档齐全的库,以与各种构建和开发工具集成。
有几种适用于Java的开源覆盖技术。在实现Eclipse插件EclEmma时,观察到它们都不是真正为集成而设计的。它们中的大多数特别适合特定工具(Ant任务,命令行,IDE插件),并且不提供允许在不同上下文中嵌入的文档化API。 EMMA和Cobertura是最好的和广泛使用的两个开源工具。这两个工具都不再由原始作者积极维护,并且不支持当前的Java版本。由于缺乏回归测试,因此很难进行维护和添加功能。
因此,我们启动了JaCoCo项目,以为基于Java VM的环境中的代码覆盖率分析提供一种新的标准技术。重点是提供一个轻量级,灵活且文档齐全的库,以与各种构建和开发工具集成。提供了Ant任务,Maven插件和EclEmma Eclipse插件作为参考使用方案。同样,许多其他工具供应商和开源项目也将JaCoCo集成到了他们的工具中。
目前,JaCoCo已与以下产品和技术集成在一起。
Technology | Documentation | Remarks |
---|---|---|
Java API | JaCoCo JavaDoc | |
Java Agent | JaCoCo Manual | |
Command Line Tools | JaCoCo Manual | Since version 0.8.0 |
Apache Ant | JaCoCo Manual | |
Apache Maven | JaCoCo Manual | Since version 0.5.3 |
Eclipse | EclEmma Project | Since version 2.0 |
与往常一样,上面列出的所有商标均为其各自所有者的财产。
JaCoCo使用一组不同的计数器来计算覆盖率指标。所有这些计数器都从Java类文件中包含的信息派生而来,这些信息基本上是Java字节码指令以及调试信息(可选地嵌入在类文件中)。即使没有可用的源代码,这种方法也可以对应用程序进行高效的即时检测和分析(instrumentation and analysis)。在大多数情况下,可以将收集到的信息映射回源代码,并可视化到行级粒度。无论如何,这种方法存在局限性。必须使用调试信息编译类文件,以计算行级覆盖率并提供源高亮显示。并非所有Java语言构造都可以直接编译为相应的字节码。在这种情况下,Java编译器会创建所谓的合成代码,有时会导致意外的代码覆盖率结果。
JaCoCo计数的最小单位是单个Java字节代码指令。指令覆盖率提供有关已执行或遗漏(executed or missed)的代码量的信息。该度量完全独立于源格式,并且即使在类文件中没有调试信息的情况下也始终可用。
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块也不会增加复杂性。
对于已使用调试信息编译的所有类文件,可以计算各个行的覆盖率信息。当已执行至少一个分配给该源代码行的指令时,该源代码行被视为已执行。
由于单行通常会编译为多字节代码指令,因此,源代码高亮显示每行包含源代码的三种不同状态:
根据源格式,源代码的一行可能会引用多个方法或多个类。因此,不能简单地添加方法的行数以获得包含类的总数。单个源文件中的多个类的行也是如此。 JaCoCo根据覆盖的实际源代码行计算类和源文件的代码行覆盖率。
方法
每个非抽象方法都包含至少一条指令。当至少一个指令已被执行时,一种方法被视为已执行。由于JaCoCo在字节码级别上工作,因此构造函数和静态初始化程序也被视为方法。这些方法中的某些方法在Java源代码中可能没有直接的对应关系,例如隐式生成的常量的默认构造函数或初始化器。
当至少一个类的方法已执行时,该类被视为已执行。 请注意,JaCoCo将构造函数以及静态初始化程序视为方法。 由于Java接口类型可能包含静态初始化器,因此此类接口也被视为可执行类。