让我一步步拆解你遇到的Eclipse覆盖率相关问题，结合你的代码案例把背后的逻辑讲清楚：

一、Eclipse默认采用的测试覆盖率标准 #

Eclipse集成的覆盖率工具（基于JaCoCo/EclEmma）默认以分支覆盖率（Branch Coverage）作为主显示指标，但同时会追踪更细粒度的条件覆盖、MC/DC覆盖情况——这就是你看到矛盾现象的核心原因：窗口显示的是分支覆盖率的百分比，但黄色标记和分支提示指向的是更严格的条件/MC/DC覆盖缺失。

二、你的函数g的覆盖矛盾分析 #

先看函数g的核心代码：

public void g(int x, int y) {
    if (x == 0 || y > 0) { // 第18行
        print("red");
    } else {
        print("blue");
    }
}

结合你的测试用例，我们拆解不同覆盖标准的表现：

1. 分支覆盖率（100%的来源） #

函数g只有2个顶级分支：if块和else块。你的测试用例：

• g(0,5)、g(0,0)走了if分支
• g(5,0)走了else分支
  两个分支都被覆盖到了，所以分支覆盖率是100%，这就是覆盖率窗口显示100%的原因。

2. 条件覆盖/MC/DC覆盖（黄色标记和未覆盖提示的来源） #

x == 0 || y > 0这个判断包含两个独立条件，我们细拆：

• 每个条件需要覆盖真、假两种场景：
  • x == 0：真（g(0,5)、g(0,0)）、假（g(5,0)）→ 已完全覆盖
  • y > 0：假（g(5,0)、g(0,0)），但当x == 0为假时，y > 0为真的场景完全缺失（也就是你注释掉的g(5,5)用例）
• 因为||是短路运算符，当x == 0为真时，y > 0不会被执行。所以你的测试用例从未触发过x == 0为假且y > 0为真的情况，这就导致：
  • 条件覆盖的4个细分分支（每个条件2种状态）缺了1个，对应提示“4个分支中有1个未覆盖”
  • MC/DC覆盖要求每个条件能独立影响表达式结果，而y > 0的真状态没有机会独立决定表达式的结果（只有当x == 0为假时，它的真假才会改变表达式结果），所以MC/DC覆盖也未达标
• Eclipse用黄色标记第18行，就是在提示你：这行代码的内部条件/MC/DC覆盖存在缺失，即使分支覆盖率已经拉满。

三、绿色进度条的含义 #

覆盖率窗口的绿色进度条是基于代码行的覆盖完整性计算的：

• 函数f的所有代码行（包括sum>0、sum<0、sum=0的分支，以及所有调用路径）都被完全覆盖，没有任何条件或分支缺失，所以进度条更长
• 函数g虽然分支覆盖率100%，但存在内部条件的覆盖缺口，对应代码行的覆盖完整性不如函数f，所以进度条更短

总结 #

Eclipse默认显示的是分支覆盖率，但会额外标记更严格的条件覆盖、MC/DC覆盖的缺失。你看到的矛盾是：分支覆盖率达标（100%），但条件/MC/DC覆盖未达标（黄色标记、未覆盖提示），而绿色进度条则直观反映了代码行的整体覆盖完整度。

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