開發(fā)測試
覆蓋率
覆蓋率技術(shù)原理
插裝原理及方法
字節(jié)碼處理方式
JaCoCo通過注入來修改和生成java字節(jié)碼,使用的是ASM庫。我們知道JaCoCo是字節(jié)碼注入方式,它是通過一個(gè)Probe探針的方式來注入的,探針是字節(jié)指令集插入到j(luò)ava方法中,程序執(zhí)行后可以被記錄,它不會改變原有代碼的行為。
顏色的部分就是探針注入的地方。
JaCoCo是根據(jù)控制流Type來采用不同的探針插入策略的。
一個(gè)用java字節(jié)碼定義的java方法的控制流圖可能有以下的type,每一個(gè)type連接一個(gè)源指令與目標(biāo)指令,type不同探針的注入策略也會不同,如下是type定義:
探針不改變該方法的行為,但記錄他們已被執(zhí)行的事實(shí),從理論上講,可以在控制流圖的每一個(gè)邊插入一個(gè)探針,作為探針實(shí)現(xiàn)本身需要多個(gè)字節(jié)碼指令,這將增加幾倍的類文件的大小和執(zhí)行速度。事實(shí)上,只需要一個(gè)幾個(gè)探頭,根據(jù)每個(gè)方法的控制流的方法,下面說明了如何在不同的邊緣類型的情況下添加額外的指令:
0x2b aload_1 將第二個(gè)引用類型本地變量推送至棧頂
0x05 iconst_2 將int型2推送至棧頂
0x04 iconst_1 將int型1推送至棧頂
從操作數(shù)棧存存儲到數(shù)組:bastore