技术分享 | 白盒测试方法论

本文节选自霍格沃兹测试开发学社内部教材

白盒测试又称为结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法。盒子指的是被测试的软件，白盒指的是盒子是可视的，即清楚盒子内部的东西以及里面是如何运作的。"白盒"法全面了解程序内部逻辑结构，对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。

白盒测试通过检查软件内部的逻辑结构，对软件中的逻辑路径进行覆盖测试。在程序不同地方设立检查点，检查程序的状态，以确定实际运行状态与预期状态是否一致。

白盒测试的度量

根据待测产品的内部实现细节来设计测试用例。白盒测试的执行手段可以涵盖单元测试、集成测试。一般使用代码覆盖率作为白盒测试的主要度量指标。

代码覆盖率常见概念

• 语句覆盖：每行代码都要覆盖至少一次（最基础，不能保证完整度）
• 判定覆盖：判定表达式的真假至少覆盖一次
• 判定/条件覆盖：判定覆盖与条件覆盖都必须覆盖
• 条件组合覆盖：判定表达式中的所有条件组合都需要覆盖
• 分支覆盖：控制流中的每条边都要被覆盖一次
• 路径覆盖：所有的路径都要尽量覆盖
• 指令覆盖：一行代码会被编译为多条指令，尽可能的覆盖所有指令
• 方法覆盖：每个方法至少要被覆盖一次
• 类覆盖：每个类至少被覆盖一次

覆盖率统计的工具

• EMMA：是一个开源、面向 Java 程序的测试覆盖率收集和报告工具。它通过对编译后的 Java 字节码文件进行插桩，在测试