分支覆盖率是发现复杂逻辑漏测的最直接手段，尤其在Python 3.9+中，match语句、嵌套if、循环else及异常传播链易致语句覆盖率达100%却漏关键分支；启用需显式加--branch参数，配置文件设置不足。
分支覆盖率不是“锦上添花”，而是发现复杂逻辑漏测的最直接手段——尤其在 Python 3.9+ 中，match 语句、嵌套 if、带 else 的循环、以及异常传播链，都可能让语句覆盖率显示 100%，却实际漏掉关键分支。
启用分支覆盖必须加 --branch，配置文件里设 branch = True 不够
很多开发者在 .coveragerc 或 pyproject.toml 里写了 branch = True，但运行时仍没看到分支统计，原因很实在：
-
coverage run命令默认忽略配置文件中的branch设置，除非显式传参或用coverage run --rcfile指定配置路径 - 更稳妥的做法是每次运行测试时直接加
--branch：coverage run --branch -m pytest tests/ - 如果用
pytest-cov插件，需在pytest.ini中写addopts = --cov --cov-branch，单靠cov_branch = true在某些 pytest 版本下不生效
match 语句和嵌套条件的分支容易被误判为“已覆盖”
Python 3.9 引入的 match 是典型分支密集结构，但 coveragepy 对它的分支识别有边界条件：
- 每个
case子句本身算一个分支，但case _（通配）不会单独计为“未覆盖分支”，即使你没写测试触发它——coveragepy 认为它是兜底，不强制要求覆盖 - 真正危险的是带守卫（
if条件）的case：case x if x > 10:，这里x > 10的真假路径都会被独立追踪，漏测任意一端都会在 HTML 报告中标黄 - 嵌套
if中，外层else覆盖了，不代表内层所有elif/else都执行过；分支覆盖率会把每个判断点的跳转路径拆开统计，比语句覆盖严格得多
循环体 + else、try/except/else/finally 都是分支高发区
这些结构在语句覆盖率里常被“一笔带过”，但分支覆盖率会逐个拉出跳转点：
Secure Python Code Sandbox
下载
安全 Python 代码沙箱：在隔离的沙箱中执行任意 Python 代码，预装 requests、NumPy、pandas 库。返回 stdout、stderr。
立即学习“Python免费学习笔记（深入）”；
-
for和while的else子句是独立分支：循环正常结束（没被break）才进，漏测就标为BrMiss -
try块本身不算分支，但每个except子句的匹配逻辑是分支：比如except ValueError:和except Exception:会被分别追踪是否命中 -
try...except...else中的else是另一个分支——仅当没抛异常时执行，常被忽略 -
finally总是执行，不计入分支统计，但它内部的逻辑（如日志、清理）仍受语句覆盖约束
HTML 报告里标黄的“部分覆盖”行，要重点看跳转箭头指向
生成 coverage html 后，打开文件，黄色高亮行右侧会出现小箭头图标，点击可展开跳转路径详情：
- 箭头指向多个目标？说明该行有多个分支出口（如
if后跟return和后续语句） - 只标黄、没箭头？可能是该行属于不可达代码（如
if False:后面），coveragepy 会标记为“部分覆盖”，但不报错 - 注意
BrMiss数值：它等于所有未执行分支数之和，不是“未覆盖的if个数”。一个三路if-elif-else漏测elif和else，BrMiss是 2
最易被忽略的是：分支覆盖率不验证逻辑正确性，只记录“是否走过”。哪怕你测试用例传了错误参数、结果断言失败，只要那条分支被执行过，就算覆盖。所以标绿 ≠ 正确，只是“到过”。
