测了多少才算够：代码覆盖率

可视化演示

动态演示测了多少才算够的核心机制，通过基础/核心/应用/扩展四种模式展示关键概念与交互流程。

1. 覆盖率是什么——同一份巡检清单

巡检员的清单上，每一项都代表一处“该检查的地方”：101 室的门、102 室的窗、地下车库的消防栓。清单勾掉的项越多，他越有底气说“我查得够全”。代码测试也一样，测试用例跑得再多，如果没碰到某段关键逻辑，一切等于白搭。代码覆盖率就是给“测了多少”这件事做量化——它回答一个最基本的问题：测试到底触碰过多少代码？

这个问题的通用答案是一个朴素的比例式：把“被测试接触到的代码单元”除以“所有代码单元”再换成百分比。所谓“代码单元”，可以是一行可执行语句，可以是一个 if 判定的两个出口，也可以是一条完整的状态流转路径。后面三节讲的行覆盖、分支覆盖、路径覆盖，本质是同一个公式往三个不同单位里套。

在工程实践中，覆盖率早已不是仅供阅读的数字。CI 流水线会把它设置成一道“质量门禁”：覆盖率低于 80%，构建直接失败，代码无法合并进主干。这就像物业规定“巡检清单完成率低于 80% 不许交班”——它不是纯粹的绩效展示，而是一个强制的质量底线。

把覆盖率当作巡检清单，你就理解了它的本质：它是一张“已检查位置”的地图，而非“检查质量”的证明。记住这一点，后面所有指标的优缺点都顺理成章。

2. 行覆盖率——推开每扇门看一眼

巡检员检查楼层时，最省力的做法是“每间房都推开门探头看一眼”。不检查柜子，不检查床底，只要视线扫过就算完成一间。行覆盖率就是这种“探头式检查”：测试执行过程中，一行可执行代码只要被跑到一次，就算被覆盖了。

从技术上讲，行覆盖率的分子是“被执行过的可执行代码行数”。注意，空行和注释都不算，因为解释器根本不会执行它们。分母是所有可执行代码行的总数。工具会自动把两者相除算出百分比。正因为机制简单，几乎所有覆盖率工具（coverage.py、JaCoCo、Istanbul）都默认输出行覆盖率。

它最大的优点是直观、自动化成本低，跑完测试立刻出数；但它的盲区也恰恰藏在“只看行”这件事上。假设函数里写着 if user.is_vip:，下面跟着两行逻辑。只要测试用例里存在一个 VIP 用户，if 那一行就被执行了，行覆盖率满格。可如果没有任何测试把 is_vip=False 的分支走一遍，非 VIP 用户的逻辑可能早就坏掉了，行覆盖率却依然报出 95% 的高分——就像巡检员推开门探头扫一眼，却没发现房间角落已经漏水的管道。

行覆盖率就像巡检的“第一道网”：它能快速筛出完全没人测过的死亡代码，却对“逻辑分支没测全”十分迟钝。所以成熟的团队不会只看它，而会把目光投向更细的分支覆盖率。

3. 分支覆盖率——把两扇门都推开

真正的安全巡检不会满足于“探头看一眼”。巡检员走到消防门面前，会用力把门推向两个方向：往里推，确认里面能打开；往外拉，确认逃生方向畅通。分支覆盖率要求的就是这种“两个方向都试一次”：每一个判定结构（if、while、三元表达式）的所有出口，都至少被覆盖一次。

以 if price > 100: 为例，它天然存在两个分支：条件为真（true）时执行降价逻辑，条件为假（false）时跳过。分支覆盖率的分子是“被执行过的分支数量”，分母是“所有分支的总数”。一个 if-else 贡献 2 个分支，一个带 elif 的多路判断每加一个 elif 就多一个出口，switch 语句则按 case 数量计数。此外，像 a and b 这种包含逻辑运算符的表达式，a 和 b 各自也会编译出独立的真/假判定，同样计入分支总数——这一点常被初看报告的人忽略。

对比上一节你会发现：行覆盖可以做到 100%，分支覆盖却可能只有 60%。因为只要测试数据总是让条件成立，false 分支就永远没触发，可那几行代码确实被执行过。分支覆盖率补上了这个洞：它逼着测试者为每个判定准备“反着来”的数据。用巡检的比喻来说，行覆盖保证你进了房间，分支覆盖保证你把每扇门都推开检查过。

分支覆盖率是行覆盖率的“升级版巡检眼”：它不满足于扫一眼，还要推拉每一扇门。对涉及大量条件判断的业务代码——比如 AI 服务里的阈值分流、特征过滤——这一指标比行覆盖率重要得多。

4. 路径覆盖率——把所有路线走一遍

最严格的巡检是什么？巡检员不光要每个房间都看，还要把“从大门走到楼顶”的所有路线组合都完整走一遍：走楼梯还是坐电梯、经过 A 走廊还是 B 走廊，每条通路都得实地踏勘。路径覆盖率正是这种“全路线演习”：它要求测试覆盖程序执行的所有可能“路径组合”。

一条路径，从函数入口开始，由沿途每个判定的结果串联而成。假如一个函数先后有两个独立 if，路径就有 4 条：if1 真→if2 真、if1 真→if2 假、if1 假→if2 真、if1 假→if2 假。如果把其中一个 if 换成 if a and b，内部还会多出若干布尔判定，路径数进一步膨胀。路径覆盖能发现分支覆盖漏掉的“分支之间相互作用”的缺陷——比如两条分支单独测都没问题，组合起来却产生状态冲突。

但代价极其昂贵：路径数随判定数指数爆炸。每增加 1 个独立判定，路径总数就翻一倍。一个包含 10 个 if 的函数，路径总数高达 1024 条，想用测试用例逐条覆盖几乎不可能。这就是为什么大型项目中，路径覆盖率通常被当作一种“参考指南”而不是硬性门禁——工程上更现实的做法是筛选“关键路径”重点覆盖，比如支付链路、模型推理主流程，而不是奢求 100%。

路径覆盖率是巡检的“终极形态”，但也是现实的“奢侈品”。聪明的巡检员会挑重点路线仔细走，而不是傻乎乎地把所有组合走完——理解了这一点，你就抓住了覆盖率实践的精髓。

5. 工具应用——自动巡检记录仪

巡检员靠纸笔记录容易漏项，聪明的物业会给他配一台自动记录仪：走到哪个房间，设备自动打卡；没去过的地方，系统自动标红。coverage.py 就是 Python 生态里那台“自动巡检记录仪”。它通过 Python 的追踪机制监听代码执行过程，哪一行被跑到、哪个分支被走进，全部自动记录，最后汇总成一份带红绿高亮的“巡检报告”。

用法非常简洁：coverage run -m pytest 让测试在追踪状态下跑完，随后 coverage report 在终端输出各文件的行覆盖率与分支覆盖率，coverage html 则生成网页版报告——绿色表示已覆盖，红色表示“裸奔”的未覆盖行，点开即见。如果要看更精确的差异，coverage report -m 会额外列出缺失行号，方便你精准补测试。

比报告更重要的是“质量门禁”配置。在项目根目录放一个 .coveragerc，写 [report] fail_under = 80，再配合 shell 命令的退出码，就能实现“覆盖率低于 80%，CI 构建直接失败”。若再开启 branch = true，分支覆盖率也会一并计入考核——这就把“巡检清单完成率”从口头要求变成了机器强制执行的硬规则。

有了这台“记录仪”和这套“门禁规则”，覆盖率就从概念落地成了工程机制。下一步，就是学会合理设置那条及格线——也就是最后一个问题：到底设多少才算够？

6. 实战策略——巡检清单的正确用法

有经验的物业经理不会天真地要求“每处巡检项都 100% 完成”。燃气管道、消防通道必须次次满分；普通储物间看一眼就够。覆盖率目标同样讲究分层：团队可以先为全项目设定一个“基础及格线”，比如行覆盖率 80%、分支覆盖率 70%；再对核心模块（支付、鉴权、AI 推理主链路）单独立项，要求行覆盖 100%、分支覆盖 90% 以上。

让旧代码一夜之间达标并不现实。合理的落地节奏是：新代码强制过门禁，旧代码逐步提升。可以在 CI 中加入增量覆盖（diff coverage）检查，只统计本次改动涉及的行，要求改动行覆盖率达到 100%——这比盯着全项目数字更有意义，因为它把责任精确落到每个提交者头上。

最后要警惕“数字虚高”的陷阱。有些人为了把覆盖率刷上去，写了测试却故意去掉断言，或者滥用 # pragma: no cover 跳过难测分支。这就像巡检员在清单上打勾却没真正推开房门，属于自欺欺人。覆盖率是导航仪而不是终点——它告诉你“哪些地方还没测到”，但测得好不好，还得靠有效的断言和真实的业务场景。建议用“行覆盖 + 分支覆盖 + 关键路径覆盖”加权合成一个综合分数，避免被单一数字绑架。

巡检不是把清单勾满，而是让重点区域满分、次要点良好、并留出改进空间。覆盖率策略的目标从来不是“数字好看”，而是让每一次代码合并都带着足够的信心——这正是“测多少才算够”的最终答案：够到能兜住核心风险，够到每次修改都不会让坏味道悄悄溜进主干。

AI 应用场景

Python 演示

"""演示 coverage.py 采集代码覆盖率并生成报告"""import coverageimport sys  def discount(price, member):    """会员打 8 折，折后满 100 再减 10"""    if member:        price = price * 0.8    if price >= 100:        price -= 10    return price  def test_normal():    assert discount(200, False) == 190  def test_member():    assert discount(200, True) == 150  cov = coverage.Coverage(branch=True)cov.start()test_normal()test_member()cov.stop()cov.save()cov.report(show_missing=True, morfs=[sys.modules["__main__"]])cov.html_report(directory="coverage_html", morfs=[sys.modules["__main__"]])

1. cov = coverage.Coverage(branch=True)创建覆盖率采集器，branch=True 同时统计分支覆盖
2. cov.start()启动“自动巡检记录仪”，开始记录每一行代码的执行状态
3. test_normal()走一遍非会员调用路径，触发 if member 的 false 分支
4. test_member()走一遍会员调用路径，触发 if member 的 true 分支
5. cov.report(show_missing=True, morfs=[sys.modules["__main__"]])输出终端报告，show_missing 标注未覆盖行号
6. cov.html_report(directory="coverage_html", ...)生成红绿高亮的网页版报告，红色即“裸奔”代码

常见误区

面试题