为何Eclipse分支覆盖率报告显示存在未覆盖分支？

问题背景 #

编写了覆盖所有if分支组合的测试用例，但Eclipse覆盖率报告仍显示存在未覆盖分支（如1/4、2/4），需明确原因及遗漏分支位置。

被测代码 #

public class Coverage {

  public void function(Object o1, Object o2) {

    if (o1 == null && o2 == null) {

      System.out.println(o1 + " " + o2);

    } else if (o1 != null && o2 == null) {

      System.out.println(o1 + " " + o2);

    } else if (o1 == null && o2 != null) {

      System.out.println(o1 + " " + o2);

    } else if (o1 != null && o2 != null) {

      System.out.println(o1 + " " + o2);

    }
  }
}

测试代码 #

public class CoverageTest {

  Coverage c;

  @BeforeEach
  public void beforeEach() {
    c = new Coverage();
  }

  @Test
  public void testFunction_null_null() {
    c.function(null, null);
  }

  @Test
  public void testFunction_object_null() {
    c.function(new Object(), null);
  }

  @Test
  public void testFunction_null_object() {
    c.function(null, new Object());
  }

  @Test
  public void testFunction_object_object() {
    c.function(new Object(), new Object());
  }

}

Eclipse覆盖率报告 #

原因分析 #

问题源于短路与运算符&&的分支统计逻辑，以及else if链式判断带来的不可达分支：

1. &&的分支拆分规则：Eclipse会将a && b拆分为两个独立的布尔判断，每个判断的true/false均被视为独立分支，因此每个if (a && b)会被统计为4个分支（a=false、a=true+b=false、a=true+b=true，以及逻辑上不可达的a=false+b=xxx分支）。

2. 不可达分支的产生：由于else if的特性是“前面条件不成立才会进入后续判断”，导致部分分支永远无法被执行：

   • 第二个else if (o1 != null && o2 == null)：进入该判断时，已经满足!(o1 == null && o2 == null)，若o1 != null为false（即o1=null），则o2必然不为null，这种情况会被第三个else if处理，永远不会进入当前判断的o1 != null为false的分支。
   • 第三个else if (o1 == null && o2 != null)：进入该判断时，前两个条件都不成立，意味着o2必然不为null，因此o2 != null为false的分支永远不会触发。
   • 第四个else if完全冗余，前三个条件已覆盖所有可能的组合，它的条件分支也存在不可达情况。

这些不可达分支就是覆盖率报告中显示的未覆盖部分，并非测试用例遗漏了合理场景，而是代码逻辑本身导致某些分支永远不会被执行。

优化建议 #

若想让覆盖率报告显示100%分支覆盖，可优化代码结构：比如合并重复逻辑（四个分支的打印逻辑完全一致，可直接去掉所有if判断），或改用非链式的独立if判断（但会导致逻辑冗余）。实际上这些不可达分支不影响代码实际执行，无需强行覆盖。

内容的提问来源于stack exchange，提问作者sdorof