覆盖率类型详解：行覆盖、分支覆盖、条件覆盖、路径覆盖、MC/DC覆盖

各位同学，今天我们来聊聊覆盖率的具体类型。说实话，我刚入行那会儿，觉得覆盖率就是「代码跑了多少行」，后来被一个线上事故狠狠教育了一顿——行覆盖100%，但核心逻辑全漏了。从那以后，我才真正开始研究每种覆盖率的含义。

覆盖率不是越全越好，而是越「精准」越好。你想想看，如果测了半天，关键分支没走到，那跟没测有啥区别？

1. 行覆盖（Line Coverage / Statement Coverage）

行覆盖是最基础、最直观的覆盖率。说白了，就是看你的测试用例执行了多少行代码。

定义：每个可执行语句是否至少被执行一次。

// 示例代码
public int calculate(int a, int b) {
    int result = 0;          // 行1
    if (a > 0) {             // 行2
        result = a + b;      // 行3
    }
    return result;           // 行4
}

如果测试用例只传了 calculate(1, 2)，那么行1、2、3、4都执行了，行覆盖100%。但如果你传 calculate(-1, 2)，行3就没走到。

我的经验：行覆盖是最低要求，但千万别迷信它。我曾经见过一个项目，行覆盖95%，结果核心的异常处理分支根本没测到。行覆盖只能告诉你「这段代码跑了」，但跑得对不对，它管不了。

2. 分支覆盖（Branch Coverage）

分支覆盖比行覆盖更进一步。它关心的是每个判断条件的「真」和「假」两个分支是否都走到了。

定义：每个控制结构（如if、while、for）的每个分支是否至少被执行一次。

// 示例代码
public void process(int x) {
    if (x > 0) {        // 分支1：真
        doSomething();
    } else {            // 分支2：假
        doOther();
    }
}

如果只测了 x = 1，分支覆盖只有50%。必须再测一个 x = -1，才能达到100%。

避坑指南：我曾经遇到过一个bug，分支覆盖100%了，但条件组合出了问题。比如 if (a > 0 && b > 0)，分支覆盖只保证两个分支都走到，但 a > 0 且 b <= 0 这种组合可能完全没测到。嗯，这就是分支覆盖的局限性。

3. 条件覆盖（Condition Coverage）

条件覆盖更细了。它关注的是每个「原子条件」的真假值是否都被覆盖到。

定义：每个布尔子表达式（原子条件）的真假值是否至少出现一次。

// 示例代码
if (a > 0 && b < 10) {
    // ...
}

这里有2个原子条件：a > 0 和 b < 10。条件覆盖要求：

a > 0 至少为真一次，为假一次
b < 10 至少为真一次，为假一次

但注意！条件覆盖100%不代表分支覆盖100%。比如测试用例：

用例1：a=5, b=5（两个条件都为真）
用例2：a=-1, b=20（两个条件都为假）

条件覆盖100%，但分支只走了「真」和「假」各一次？不对，这里分支只有「真」和「假」两个，其实分支覆盖也是100%。但如果是 if (a > 0 || b < 10)，情况就不同了。

我个人的习惯：条件覆盖通常和分支覆盖搭配使用。单独看条件覆盖，容易漏掉组合逻辑的问题。

4. 路径覆盖（Path Coverage）

路径覆盖是最「理想化」的覆盖率。它要求测试用例覆盖程序中所有可能的执行路径。

定义：从程序入口到出口的所有可能路径至少被执行一次。

// 示例代码
public void example(int a, int b) {
    if (a > 0) {      // 路径分叉点1
        x = 1;
    } else {
        x = 2;
    }
    if (b > 0) {      // 路径分叉点2
        y = 3;
    } else {
        y = 4;
    }
}

这里有2个if，每个if有2个分支，所以总共有2×2=4条路径：

路径1：a>0 真, b>0 真
路径2：a>0 真, b>0 假
路径3：a>0 假, b>0 真
路径4：a>0 假, b>0 假

现实问题：路径覆盖在实际项目中几乎不可能做到100%。为什么？因为循环！一个循环10次的代码，路径数量是指数级增长的。我记得在一个通信协议的项目中，路径数量算出来是2^100级别，根本测不完。所以路径覆盖更多是理论指导，实际中我们用它来评估关键模块。

5. MC/DC覆盖（Modified Condition/Decision Coverage）

MC/DC是航空、医疗等高安全领域常用的覆盖率标准。它比条件覆盖更严格，要求每个条件都能「独立地」影响决策结果。

定义：每个条件都能独立地改变决策结果，且每个条件的所有可能取值至少出现一次。

MC/DC有4个核心要求：

每个入口和出口至少执行一次
每个决策的所有可能结果至少出现一次
每个条件的所有可能取值至少出现一次
每个条件都能独立地影响决策结果

// 示例代码
if (A && B) {   // 决策 = A && B
    // ...
}

要满足MC/DC，需要以下测试用例：

用例	A	B	结果	说明
1	真	真	真	基础用例
2	假	真	假	A独立影响结果
3	真	假	假	B独立影响结果

你看，用例2和用例1对比，只有A变了，结果从真变假，说明A能独立影响决策。同理，用例3证明B也能独立影响决策。

我的实战经验：MC/DC在汽车电子、航空航天领域是强制要求。我曾经参与过一个飞控系统的测试，MC/DC覆盖率必须达到100%才能发布。那段时间真是痛并快乐着——用例数量比普通项目多3-5倍，但质量确实有保障。

知识体系总览

下面这张图总结了5种覆盖率的关系和适用场景：

总结一下：行覆盖是底线，分支覆盖是基础，条件覆盖是补充，路径覆盖是理想，MC/DC是硬核。实际项目中，我一般建议：

普通模块：行覆盖 ≥ 80%，分支覆盖 ≥ 70%
核心模块：分支覆盖 ≥ 90%，条件覆盖 ≥ 80%
安全关键模块：MC/DC 100%

嗯，覆盖率不是越高越好，而是「够用就好」。你想想看，为了把行覆盖从95%提升到98%，可能要多花一倍的时间，但缺陷检出率可能只提升1%。所以，合理选择覆盖率类型，比盲目追求高覆盖率更重要。

可可精品资料库

📚 课程目录

覆盖率类型详解：行覆盖、分支覆盖、条件覆盖、路径覆盖、MC/DC覆盖

1. 行覆盖（Line Coverage / Statement Coverage）

2. 分支覆盖（Branch Coverage）

3. 条件覆盖（Condition Coverage）

4. 路径覆盖（Path Coverage）

5. MC/DC覆盖（Modified Condition/Decision Coverage）

知识体系总览