专栏进度：03 / 10 (测试理论专题)
白盒测试，又称结构测试或逻辑驱动测试。它的核心假设是：只有运行过每一行代码、走过每一个分支，我们才能确信程序是健康的。 但问题是，什么样的覆盖才算"够了"？
一、 逻辑覆盖的"六重境界"
在白盒测试理论中，评价测试强度的指标由弱到强分为六个等级：
语句覆盖 (Statement Coverage)：设计用例，使程序中每一行代码至少执行一次。这是最起码的要求，但极其脆弱。
判定覆盖 (Branch Coverage)：每个判断语句的"真"和"假"分支至少各走一次。
条件覆盖 (Condition Coverage)：判定语句中的每一个子条件（如 A>0 && B<0 中的 A>0）的真假都要覆盖。
判定/条件覆盖：同时满足判定覆盖和条件覆盖。
条件组合覆盖：判定语句中所有子条件结果的所有可能组合都要出现。
路径覆盖 (Path Coverage)：覆盖程序中所有可能的执行路径。这是终极目标，但在复杂逻辑下往往存在"路径爆炸"。
二、 核心技术：控制流图（CFG）
为了量化白盒测试，我们通常将代码转化为控制流图。
节点 (Nodes)：代表语句块。
边 (Edges)：代表执行流的方向。
判定节点：代表 if, while, switch 等分支点。
三、 圈复杂度（Cyclomatic Complexity）：衡量测试难度
由 Thomas McCabe 提出的圈复杂度 V(G) 是评估代码逻辑复杂度的数学指标。它直接告诉我们："你至少需要多少个用例才能覆盖所有基本路径？"
计算公式（通常使用简易版）：
V(G)=P+1
其中 P 是控制流图中判定节点的数量。
专家建议：如果一个函数的 V(G)>10，那么它的逻辑就太复杂了，极易藏匿 Bug，且极难测试。此时应考虑重构代码，将其拆分为更小的函数。
四、 案例演示：逻辑陷阱
代码片段：
python
if (A > 1) and (B == 0):
X = X / A
if (A == 2) or (X > 1):
X = X + 1只做语句覆盖：只需要一个用例 (A=2,B=0,X=4) 即可跑完所有行。
隐患：如果第一行应该是 A > 0 呢？或者第二行 X > 1 应该是 X > 0 呢？语句覆盖会让你产生"安全"的错觉。白盒测试的深度，决定了你能发现多少深层的逻辑 Bug。
五、 避坑指南：白盒测试的现实边界
无法发现"缺失"的逻辑：白盒测试只能测代码里有的东西。如果代码漏掉了一个业务需求，白盒测试无法发现。
数据敏感性：逻辑覆盖了，不代表数据对了（如：除以 0 的异常）。
成本高昂：编写白盒测试用例非常耗时，通常用于核心底层模块或高风险组件。