等价类覆盖属于黑盒测试方法，不依赖程序内部结构，而是基于输入域的划分

等价类覆盖属于黑盒测试方法，不依赖程序内部结构，而是基于输入域的划分；而白盒测试覆盖标准均以程序内部逻辑结构（如代码语句、分支、路径等）为基础。选项A（语句覆盖）、C（判定覆盖）、D（路径覆盖）均为经典白盒测试覆盖准则，只有B（等价类覆盖）是典型的黑盒测试技术。

等价类划分不能用于白盒测试，根本原因在于其设计原理与白盒测试的目标和基础存在本质冲突：

• 白盒测试以程序内部结构为依据，关注代码的执行路径、语句、分支、条件等逻辑单元，测试用例需根据源代码或控制流图设计，目的是验证“程序是否按预期逻辑运行”。

• 等价类划分是黑盒测试技术，完全不考虑程序内部实现，仅依据需求规格说明或输入/输出行为，将输入域划分为若干“等价”的子集（有效/无效），假设同一等价类中的输入在系统中引发相同处理逻辑。它无法反映代码中具体的语句执行、分支走向或路径覆盖情况。

• 若强行将等价类用于白盒场景，既无法保证语句或路径被触发，也无法检测逻辑错误（如条件表达式写错、变量未初始化等），因为其用例生成不关联控制流或数据流，缺乏对内部结构的可观测性和可驱动性。

因此，等价类划分与白盒测试的“结构驱动”“代码可见”“逻辑验证”等核心原则相悖，不属于也不适用于白盒测试覆盖标准。

在白盒测试中，最小路径覆盖集是指能覆盖程序所有独立路径（即线性无关路径）的最少路径集合，其理论基础是McCabe圈复杂度（Cyclomatic Complexity）。确定该集合的步骤如下：

1. 构建控制流图（CFG）：

   • 将程序代码转换为有向图：每个基本块（无分支的顺序语句序列）为一个节点；
   • 分支、循环、跳转等控制结构（如 if、while、goto）生成有向边；
   • 标识入口节点（Entry）和出口节点（Exit）。

2. 计算圈复杂度 ( V(G) )：
   [
   V(G) = E - N + 2P
   ]
   其中 (E) 为边数，(N) 为节点数，(P) 为连通分量数（通常为1）；
   或更常用：( V(G) = \text{判定节点数} + 1 )（每个判定节点如 if/while 的条件判断贡献1个额外路径）。

3. 确定独立路径数：

   • 圈复杂度 (V(G)) 即为线性无关路径的最小数目，也是最小路径覆盖集的大小下限。

4. 生成独立路径（系统化方法）：

   • 基路径法（Basis Path Testing）：
     a) 以“主路径”（如不执行任何分支的最简执行流）为基准路径；
     b) 对每个判定节点，构造一条仅翻转该判定结果（真→假或假→真）而其他判定保持默认值的路径；
     c) 确保每条新路径至少引入一条未被前序路径覆盖的新边（即增加环路或新分支）；
     d) 最终得到 (V(G)) 条独立路径，构成最小路径覆盖集。

✅ 示例：若 CFG 有 3 个判定节点（如 2 个 if + 1 个 while），则 (V(G) = 3 + 1 = 4)，需设计 4 条独立路径，覆盖全部逻辑可能性，避免冗余（如全组合路径可能达 (2^3=8) 条，但独立路径仅需 4 条）。

⚠️ 注意：最小路径覆盖 ≠ 所有可行路径覆盖（后者是指数级，不可行），而是保证每条线性无关环路至少被执行一次，从而高效暴露因逻辑结构引发的缺陷。