阅读本文前,建议先了解以下相关知识:
- JVM字节码
- java动态代理
- Java字节码插桩技术
- Java字节码操作框架ASM:
史上最通俗易懂的ASM教程
Jacoco使用插桩的方式来记录覆盖率数据,是通过一个probe探针来注入。
一、
覆盖率分析机制
有几种不同的方法来收集覆盖率信息。对于每种方法,由不同的实现技术,黄色路径是jacoco推荐的方式,即通过字节码插桩实现代码覆盖率的统计:
在ByteCode字节码上插桩模式有两种:
1. on-the-fly模式
JVM通过 -javaagent参数指定jar文件启动代理程序,代理程序在ClassLoader装载一个class前判断是否修改class文件,并将探针插入class文件,探针不改变原有方法的行为,只是记录是否已经执行。
2. offline模式
在测试之前先对文件进行插桩,生成插过桩的class或jar包,测试插过桩的class和jar包,生成覆盖率信息到文件,最后统一处理,生成报告。
二、jacoco插桩策略
参考文章:
Java方法的控制流分析
1、Java字节码的控制流程图
要实现对代码的覆盖率统计,首先要了解方法的内部控制流。以下面这段java代码为例
public static void example() {
a();
if (cond()) {
b();
} else {
c();
}
d();
}
编译之后的字节码如下(.class文件中保存的就是字节码):
public static example()V
INVOKESTATIC a()V
INVOKESTATIC cond()Z
IFEQ L1
INVOKESTATIC b()V
GOTO L2
L1: INVOKESTATIC c()V
L2: INVOKESTATIC d()V
RETURN
控制流通过有条件或无条件操作码之类的
跳转
指令 来实现。跳转目标在技术上是相对于目标指令的相对偏移。为了提高可读性,我们改用符号标签(ASM API也使用此类符号标签,
IFEQ L1 GOTO
L2
):
上面字节码的控制流程可以用流程图表示。节点是字节码指令,边表示指令之间的控制流。该示例的控制流显示在该图的左框中:
2、探针插入策略
探针就是可以插入现有指令之间的一段其他指令,它们不会改变方法的行为,但是会记录它们已被执行的事实。
jacoco插桩并不是每行,
探针实现本身需要多个字节码指令,因此这将使类文件的大小增加数倍,并显着降低所检测类的执行速度。实际上,根据方法的控制流程,每个方法仅需要几个探针,具体策略如下:
- 在每个方法出口处(返回或抛出)插入探针
- 具有多条指向边的目标指令的多条指向边上
二、jacoco原理
Jacoco on-the-fly 模式通过jacoco agent在类加载时对原始类进行插桩,得到插桩后的类。正常class文件加载流程如下:
被jacoco代理的class文件加载流程