【测试之道】第三篇：白盒方法论 —— 逻辑覆盖与路径分析：深入代码的“毛细血管”

专栏进度：03 / 10 (测试理论专题)

白盒测试，又称结构测试或逻辑驱动测试。它的核心假设是：只有运行过每一行代码、走过每一个分支，我们才能确信程序是健康的。但问题是，什么样的覆盖才算"够了"？

在白盒测试理论中，评价测试强度的指标由弱到强分为六个等级：

语句覆盖 (Statement Coverage)：设计用例，使程序中每一行代码至少执行一次。这是最起码的要求，但极其脆弱。

判定覆盖 (Branch Coverage)：每个判断语句的"真"和"假"分支至少各走一次。

条件覆盖 (Condition Coverage)：判定语句中的每一个子条件（如 A>0 && B<0 中的 A>0）的真假都要覆盖。

判定/条件覆盖：同时满足判定覆盖和条件覆盖。

条件组合覆盖：判定语句中所有子条件结果的所有可能组合都要出现。

路径覆盖 (Path Coverage)：覆盖程序中所有可能的执行路径。这是终极目标，但在复杂逻辑下往往存在"路径爆炸"。

为了量化白盒测试，我们通常将代码转化为控制流图。

节点 (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 的异常）。

成本高昂：编写白盒测试用例非常耗时，通常用于核心底层模块或高风险组件。