白盒测试的六种方法比较分析
一、摘要
白盒测试是测试人员常用的一种测试方法，越来越受到测试工程师的重视。白盒测试并不是简单的按照代码测试用例而走，需要根据不同的测试需求，结合不同的测试对象，使用适合的方法进行测试。本文介绍六种白盒测试方法：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖。
二、概述
白盒测试也称结构测试或逻辑驱动测试， 它是按照程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明 书的规定正常进行，检验程序中的每条通路是 否都能按预定要求正确工作。这一方法是把测试对象看作一个打开的盒子，测试人员依据 程序内部逻辑结构相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序的状态，确定实际的状态是否 与预期的状态一致。常崩的软件测试方法有两大类：静态测试方法和动态测试方法。其中 软件的静态测试不要求在计算机上实际执行 所测程序，主要以一些人工的模拟技术对软件 进行分析和测试-而软件的动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的 过程。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子内部的东西以及里面是如何 运作的。
三、白盒的测试用例需要做到
- 保证一个模块中的所有独立路径至少被使用一次
- 对所有逻辑值均需测试Lrue和false
- 在上下边界及可操作范围内运行所有循环
- 检查内部数据结构以确保其有效性
四、白盒测试的目标
通过检查软件内部的逻辑结构，对软件中的逻辑路径进行覆盖测试，在程序不同地方设立检查点，检查程序的状态，以确定实际运行 状态与预期状态是否一致。
下面这些规则也可以看作是测试的目标或定义:
- 测试是为了发现程序中的错误而执行 程序的过程，
- 好的测试方案是极可能发现迄今为止 尚未发现的错误的测试方案;
- 成功的测试是发现了至今为止尚未发 现的错误的损4试。
五、白盒测试的特点
依据软件设计说明书进行测试、对程序内部细节的严密检验、针对特定条件设计测 试用例、对软件的逻辑路径进行覆盖测试。是把测试对象看作一个打开的盒子，测试人员依据程序内部逻辑结构相关信息，设计或选择测 试用例，对程序所有逻辑路径进行测试，通过 在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。
六、白盒测试的实施步骤
- 测试计划阶段：根据需求说明书，制定测试进度；
- 测试设计阶段：依据程序设计说明书，按照一定规范化的方法进行软件结构划分和设计测试用例；
- 测试执行阶段:输入测试用例，得到测试结果；
- 测试总结阶段：对比测试的结果和代码的预期结果，分析错误原因，找到并解决错误。
七、白盒测试的方法
总体上分为静态方法和动态方法两大类。
静态分析是一种不通过执行程序而进行测试的技术。静态分析的关键功能是检查软件的表示和描述是否一致，没有冲突或者没有歧义。
动态分析的主要特点是当软件系统在模拟的或真实的环境中执行之前、之中和之后.，对软件系统行为的分析。动态分析包含了程 序在受控的环境下使用特定的期望结果进行正式的运行。它显示了一个系统在检查状态 下是正确还是不正确。在动态分析技术中，最 重要的技术是路径和分支测试。下面要介绍的六种覆盖测试方法属于动态分析方法。
八、白盒测试的优缺点
优点：使得测试人员去仔细思考软件的实现。可以检测代码中的每条分支和路径，能尽量揭示隐藏在代码中的错误，对代码的测试比较彻底。
缺点：昂贵、费时，很难检测代码中遗漏的路径和数据。
九、白盒测试的六种方法比较分析
1、语句覆盖
（1）主要特点
语句覆盖是最基本的结构覆盖要求，语句覆盖要求设计足够多的测试用 例，使得程序中每条语句至少被执行一次。
（2）用例设计
如果此时将A路径上的隐式语句l—Print去掉，那么用例如下👇
| X | Y | 路径 | |
|---|---|---|---|
| 1 | 50 | 35 | OBDE |
| 2 | 100 | 40 | OBCE |
（3）优点
可以很直观地从源代码得到测试用例，无须细分每条判定表达式。
（4）缺点
由于这种测试方法仅仅针对程序逻辑中显式存在的语句，但对于隐藏的条件和可能到达的隐式逻辑分支，是无法测试的。在本例中去掉了语句1一Print去掉，那么就少 了一条测试路径。在if结构中若源代码没有给出else后面的执行分支。那么语句覆盖测试就不会考虑这种情况。但是我们不能排除这种以外的分支不会被执行，而往往这种错误会经常出现。再如，在Do-While结构中，语句覆 盖执行其中某一个条件分支。那么显然，语句覆盖对于多分支的逻辑运算是无法全面反映 的，它只在乎运行一次，而不考虑其他情况。
2、判定覆盖
（1）主要特点
又称分支覆盖，设计若干个测试用例，运行所测程序，使程序中每个判断的取真分支和取假分支至少执行一次。即：程序中的每个分支至少执行一次。每个判断的取真、取假至少执行一次。
（2）用例设计
| X | Y | 路径 | |
|---|---|---|---|
| 1 | 120 | 120 | OAE |
| 2 | 50 | 35 | OBDE |
| 3 | 100 | 40 | OBCE |
（3）优点
判定覆盖比语句覆盖要多几乎一倍的测试路径，当然也就具有比语句覆盖更强的测试能力。同样判定覆盖也具有和语句覆盖一样的简单性，无须细分每个判定就可以得到测试用例。
（4）缺点
往往大部分的判定语句是由多个逻辑条件组合而成(如：判定语句中包含AND、 OR、CASE)。若仅仅判断其整个最终结果，而忽略每个条件的取值情况，必然会遗漏部分测试路径。
3、条件覆盖
（1）主要特点
条件覆盖要隶设计足够多的测试用例，使得判定中的每个条件获得各种可能的结果，即每个条件至少有一次为真值，有一次为假值。
（2）用例设计
| X | Y | 路径 | |
|---|---|---|---|
| 1 | 100 | 40 | OBCE |
| 2 | 50 | 35 | OBDE |
（3）优点
显然条件覆盖比判定覆盖，增加了对符合判定情况的测试，增加了测试路径。
（3）缺点
要达到条件覆盖，需要足够多的测试用例，但条件覆盖并不能保证判定覆盖。条件覆盖只能保证每个条件至少有一次为真，而不考虑所有的判定结果。
4、判定/条件覆盖
（1）主要特点:设计足够多的测试用例，使得判定中每个条件的所有可能结果至少出现一次，每个判定本身所有可能结果也至少出现一次。
（2）用例设计
| X | Y | 路径 | |
|---|---|---|---|
| 1 | 120 | 120 | OAE |
| 2 | 50 | 35 | OBDE |
| 3 | 100 | 40 | OBCE |
| 4 | 70 | 90 | OBCE |
（3）优点
判定/条件覆盖满足判定覆盖准则和条件覆盖准则，弥补了二者的不足。
（4）缺点
判定/条件覆盖准则的缺点是未考虑条件的组合情况。
5、组合覆盖
（1）主要特点
要求设计足够多的测试用例，使得每个判定种条件结果的所有可能组合至少出现一次。
（2）用例测试
| X | Y | 路径 | |
|---|---|---|---|
| 1 | 120 | 120 | OAE |
| 2 | 100 | 40 | OBCE |
| 3 | 50 | 35 | OBDE |
| 4 | 70 | 90 | OBCE |
| 5 | 35 | 90 | OBDE |
| 6 | 70 | 75 | OBDE |
| 7 | 60 | 60 | OBDE |
（3）优点
多重条件覆盖准则满足判定覆盖、条件覆盖和判定/条件覆盖准则。更改的判定/条件覆盖要求设计足够多的测试用例，使得判定中每个条件的所有可能结果至少出现一次。每个判定本身的所有可能结果也至少出现一次，并且每个条件都显示能单独影响判定结呆。
（4）缺点
线性地增加了测试用例的数量。
6、路径覆盖
（1）主要特点
设计足够的测试用例，覆盖程序中所有可能的路径。
（2）用例设计
| X | Y | 路径 | |
|---|---|---|---|
| 1 | 120 | 120 | OAE |
| 2 | 50 | 50 | OBDE |
| 3 | 100 | 40 | OBCE |
| 4 | 40 | 100 | OBCE |
（3）优点
这种测试方法可以对程序进行彻底的测试，比前面五种的覆盖面都广。
（4）缺点
由于路径覆盖需要对所有可能的路径进行测试(包括循环，条件组合.分支 选择等).那么需要设计大量、复杂的测试用例，使得工作量呈指数级增长。而在有些情况下，一些执行路是不可能被执行的，如：
If(！flag)x++；
If(！flag)y–；
这两个语句实际只包括了2条执行路径，即flag为真或假时候对x和y的处理，真或假不可能都存在，而路径覆盖测试认为是包含了真与假的4条执行路径。这样不仅降低了测试效率，而且大量的测试结果的累积，也为排错带来麻烦。
