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

等价类覆盖属于黑盒测试方法不依赖程序内部结构而是基于输入域的划分而白盒测试覆盖标准均以程序内部逻辑结构如代码语句、分支、路径等为基础。选项A语句覆盖、C判定覆盖、D路径覆盖均为经典白盒测试覆盖准则只有B等价类覆盖是典型的黑盒测试技术。等价类划分不能用于白盒测试根本原因在于其设计原理与白盒测试的目标和基础存在本质冲突白盒测试以程序内部结构为依据关注代码的执行路径、语句、分支、条件等逻辑单元测试用例需根据源代码或控制流图设计目的是验证“程序是否按预期逻辑运行”。等价类划分是黑盒测试技术完全不考虑程序内部实现仅依据需求规格说明或输入/输出行为将输入域划分为若干“等价”的子集有效/无效假设同一等价类中的输入在系统中引发相同处理逻辑。它无法反映代码中具体的语句执行、分支走向或路径覆盖情况。若强行将等价类用于白盒场景既无法保证语句或路径被触发也无法检测逻辑错误如条件表达式写错、变量未初始化等因为其用例生成不关联控制流或数据流缺乏对内部结构的可观测性和可驱动性。因此等价类划分与白盒测试的“结构驱动”“代码可见”“逻辑验证”等核心原则相悖不属于也不适用于白盒测试覆盖标准。在白盒测试中最小路径覆盖集是指能覆盖程序所有独立路径即线性无关路径的最少路径集合其理论基础是McCabe圈复杂度Cyclomatic Complexity。确定该集合的步骤如下构建控制流图CFG将程序代码转换为有向图每个基本块无分支的顺序语句序列为一个节点分支、循环、跳转等控制结构如 if、while、goto生成有向边标识入口节点Entry和出口节点Exit。计算圈复杂度 ( V(G) )[V(G) E - N 2P]其中 (E) 为边数(N) 为节点数(P) 为连通分量数通常为1或更常用( V(G) \text{判定节点数} 1 )每个判定节点如 if/while 的条件判断贡献1个额外路径。确定独立路径数圈复杂度 (V(G)) 即为线性无关路径的最小数目也是最小路径覆盖集的大小下限。生成独立路径系统化方法基路径法Basis Path Testinga) 以“主路径”如不执行任何分支的最简执行流为基准路径b) 对每个判定节点构造一条仅翻转该判定结果真→假或假→真而其他判定保持默认值的路径c) 确保每条新路径至少引入一条未被前序路径覆盖的新边即增加环路或新分支d) 最终得到 (V(G)) 条独立路径构成最小路径覆盖集。✅ 示例若 CFG 有 3 个判定节点如 2 个 if 1 个 while则 (V(G) 3 1 4)需设计 4 条独立路径覆盖全部逻辑可能性避免冗余如全组合路径可能达 (2^38) 条但独立路径仅需 4 条。⚠️ 注意最小路径覆盖 ≠ 所有可行路径覆盖后者是指数级不可行而是保证每条线性无关环路至少被执行一次从而高效暴露因逻辑结构引发的缺陷。