关于Jacoco分支覆盖率偏低但其他覆盖率近100%的技术咨询

以下是造成这类现象的核心原因：

• 单行多分支逻辑未完全触发
  当一行代码包含&&、||这类短路逻辑运算符时，Jacoco会将每个子条件视为独立分支。例如if (a > 0 && b < 10)会被拆分为两个分支：a>0的真假，以及a>0为真时b<10的真假。只要其中某个子分支未被执行（比如始终只测试a>0为真的场景），分支覆盖率就会下降，但行覆盖率会因该行被执行而记为已覆盖，指令覆盖率也会对应达标。

• 隐式分支未被覆盖
  诸如switch语句的默认分支（即使代码未显式写default）、三元运算符x ? y : z的两个分支，这些隐式分支如果未被触发，Jacoco会标记为未覆盖，但行和指令覆盖率依然会因为主代码路径被执行而接近100%。

• 异常分支未触发
  try-catch结构中，catch块对应的异常触发分支如果没有被测试用例覆盖，Jacoco会将其计入未覆盖分支。但只要try块代码被执行，行覆盖率、指令覆盖率都会统计该行，方法覆盖率也会标记为已覆盖，进而导致分支覆盖率偏低。

• Evosuite的生成优先级
  Evosuite默认优先覆盖代码的基础执行路径与行，不会主动构造所有分支的边界测试用例。比如它会生成让方法正常执行的用例，但不会刻意构造触发条件分支反向场景的用例，最终导致分支覆盖不全。

内容的提问来源于stack exchange，提问作者Marc Ouédraogo