1 白盒测试的概念

2 白盒测试的主要目的

3 测试覆盖标准

4 白盒测试的主要方法

4.1 逻辑驱动测试

4.1.1 语句覆盖

4.1.2 判定覆盖（分支覆盖）

4.1.3 条件覆盖

4.1.4 判定/条件覆盖

4.1.5 条件组合覆盖

4.1.6 黑盒法补充测试用例

4.2 路径测试

4.2.1 基本路径测试

1 白盒测试的概念

白盒测试也称结构测试或逻辑驱动测试，是一种测试用例设计方法，它从程序的控制结构导出测试用例。（测试用例由测试输入数据以及与之对应的输出结果组成。）

白盒测试使用被测单元内部如何工作的信息，允许测试人员对程序内部逻辑结构及有关信息来设计和选择测试用例，对程序的逻辑路径进行测试。基于一个应用代码的内部逻辑知识，测试是基于覆盖全部代码、分支、路径、条件。

2 白盒测试的主要目的

保证一个模块中的所有独立路径至少被执行一次；
对所有的逻辑值均需要测试真、假两个分支；
在上下边界及可操作范围内运行所有循环；
检查内部数据结构以确保其有效性。

3 测试覆盖标准

白盒法特点：以程序的内部逻辑为基础设计测试用例，所以又称为逻辑覆盖法。应用白盒法时，手头必须有程序的规格说明以及程序清单。

白盒法考虑的是测试用例对程序内部逻辑的覆盖程度。最彻底的白盒法是覆盖程序中的每一条路径，但是由于程序中一般含有循环，所以路径的数目极大，要执行每一条路径是不可能的，只能希望覆盖的程度尽可能高些。

图1 程序流程图

图1包括了一个执行达20次的循环。那么它所包含的不同执行路径数高达520（＝1013）条，若要对它进行穷举测试，覆盖所有的路径。假使测试程序对每一条路径进行测试需要1毫秒，同
样假定一天工作24小时，一年工作365天，那么要想把如图所示的小程序的所有路径测试完，则需要3170年。

为了衡量测试的覆盖程度，需要建立一些标准，目前常用的一些覆盖标准从低到高分别是：

语句覆盖：是一个比较弱的测试标准，它的含义是：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。它是最弱的逻辑覆盖，效果有限，必须与其它方法交互使用。
判定覆盖（也称为分支覆盖）：执行足够的测试用例，使得程序中的每一个分支至少都通过一次。判定覆盖只比语句覆盖稍强一些，但实际效果表明，只是判定覆盖，还不能保证一定能查出在判断的条件中存在的错误。因此，还需要更强的逻辑覆盖准则去检验判断内部条件。
条件覆盖：执行足够的测试用例，使程序中每个判断的每个条件的每个可能取值至少执行一次；条件覆盖深入到判定中的每个条件，但可能不能满足判定覆盖的要求。
判定/条件覆盖：执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个判定取到各种可能的结果。判定/条件覆盖有缺陷。从表面上来看，它测试了所有条件的取值。但是事实并非如此。往往某些条件掩盖了另一些条件。会遗漏某些条件取值错误的情况。为彻底地检查所有条件的取值，需要将判定语句中给出的复合条件表达式进行分解，形成由多个基本判定嵌套的流程图。这样就可以有效地检查所有的条件是否正确了。
条件组合覆盖：执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。这是一种相当强的覆盖准则，可以有效地检查各种可能的条件取值的组合是否正确。它不但可覆盖所有条件的可能取值的组合，还可覆盖所有判断的可取分支，但可能有的路径会遗漏掉。测试还不完全。

4 白盒测试的主要方法

逻辑驱动测试
语句覆盖
判定覆盖（分支覆盖）
条件覆盖
判定/条件覆盖
条件组合覆盖
基本路径测试
设计足够多的测试用例，运行所测程序，要覆盖程序中所有可能的路径。这是最强的覆盖准则。但在路径数目很大时，真正做到完全覆盖是很困难的，必须把覆盖路径数目压缩到一定限度。

4.1 逻辑驱动测试

4.1.1 语句覆盖

程序1如下：

PROCEDURE M(VAR A，B，X：REAL)；
BEGIN
IF (A>1) AND (B=0) THEN X:=X/A ；
IF (A=2) OR (X>1) THEN X:=X+1 ；
END

图2 程序流程图

为使程序中每个语句至少执行一次，只需设计一个能通过路径ace的例子就可以了，就可达到“语句覆盖”标准。例如选择输入数据为：

A=2，B=0，X=3

缺点：从上例可看出，语句覆盖实际上是很弱的

如果第一个条件语句中的AND错误地编写成OR，上面的测试用例是不能发现这个错误的；
又如第三个条件语句中X＞1误写成X＞0，这个测试用例也不能暴露它；
此外，沿着路径abd执行时，X的值应该保持不变，如果这一方面有错误，上述测试数据也不能发现它们。

4.1.2 判定覆盖（分支覆盖）

对程序1，如果设计两个用例，使它们能通过路径ace和abd，或者通过路径acd和abe，就可达到“判定覆盖”标准，为此，可以选择输入数据为：

A=3，B=0，X=1 (沿路径acd执行)；
A=2，B=1，X=3(沿路径abe执行)

优点：“分支覆盖”比“语句覆盖”严格，因为如果每个分支都执行过了，则每个语句也就执行过了。

缺点：但是，“分支覆盖”还是很不够的

两个测试用例未能烤炉到A<=1的情况
两个测试用例未能检查沿着路径abd执行时，X的值是否保持不变。

4.1.3 条件覆盖

一个判定中往往包含了若干个条件，如程序中，判定 (A＞1) AND (B=0)包含了两个条件： A＞1以及 B=0，所以可引进一个更强的覆盖标准——“条件覆盖”。

程序1有四个条件：

A＞1 、B=0、A=2、X＞1
为了达到“条件覆盖”标准，需要执行足够的测试用例使得在a点有：
A＞1、A≤1、B=0、B≠0
以及在b点有：
A=2、A≠2、X＞1、X≤1
现在只需设计以下两个测试用例就可满足这一标准：

A=2，B=1，X=4 (沿路径abe执行)；
A=1，B=0，X=1 (沿路径abd执行)。

优点：“条件覆盖”通常比“分支覆盖”强，因为它使一个判定中的每一个条件都取到了两个不同的结果，而判定覆盖则不保证这一点。

缺点：“条件覆盖”并不包含“分支覆盖”，如两个用例没有有覆盖判定（A>1 and B=0）为True的情况

4.1.4 判定/条件覆盖

程序1，以下用例是满足判定/条件覆盖：

A=2，B=0，X=4 (沿ace路径)
A=1，B=1，X=1 (沿abd路径)

优点：既有“条件覆盖”，又有“判定覆盖”

缺点：分支/条件覆盖从表面来看，它测试了所有条件的取值，但是实际上某些条件掩盖了另一些条件。

对于第一个表达式（A>1 and B=0）如果（A＞1）为假则一般的编译器不在判断是否B=0了。
对于第二个表达式（A=2 or X>1）来说，若A=2测试结果为真，就认为表达式的结果为真，这时不再检查（X>1）条件了。

因此，采用分支/条件覆盖，逻辑表达式中的错误不一定能够查出来了。

4.1.5 条件组合覆盖

程序1，以下用例是满足条件组合覆盖：

再看程序1，我们需要选择适当的用例，使得下面 8种条件组合都能够出现：

1) A>1, B=0　　2) A>1, B≠0　　3) A≤1, B=0　　4) A≤1, B≠0

5) A=2, X>1　　6) A=2, X≤1　　7) A≠2, X>1　　8) A≠2, X≤1

5) 、6) 、7)、8)四种情况是第二个 IF语句的条件组合，而X的值在该语句之前是要经过计算的，所以还必须根据程序的逻辑推算出在程序的入口点X的输入值应是什么。

下面设计的四个用例可以使上述 8种条件组合至少出现一次：

A=2，B=0，X=4 使 1)、5)两种情况出现 (沿ace路径)；
A=2，B=1，X=1 使 2)、6)两种情况出现 (沿abd路径)；
A=1，B=0，X=2 使 3)、7)两种情况出现 (沿abe路径)；
A=1，B=1，X=1 使 4)、8)两种情况出现 (沿abd路径)。

优点：既有“条件覆盖”，又有“判定覆盖”，还有“条件组合覆盖”

缺点：上面四个例子虽然满足条件组合覆盖，但并不能覆盖程序中的每一条路径，例如路径acd就没有执行

4.1.6 黑盒法补充测试用例

通过前面逻辑驱动测试方法，可以得到两点结论：

“条件组合覆盖”标准比其他标准优越。
即使达到任何一种覆盖标准，其测试效果仍然是不彻底的，我们还需要用其他的测试方法作补充。

一个参考的黑盒法补充策略是：

1) 在任何情况下都需使用边界值分析(这个方法应包括对输入和输出的边界值进行分析)。
2) 必要的话，再用等价分类法补充一些测试用例。
3) 再用错误推测法附加测试用例。
4) 检查上述例子的逻辑覆盖程度，如果未能满足某些覆盖标准，则再增加足够的测试用例。
5) 如果功能说明中含有输入条件的组合情况，则一开始就可先用因果图(判定表)法。

4.2 路径测试

路径测试就是设计足够多的测试用例，覆盖被测试对象中的所有可能路径。

4.2.1 基本路径测试

程序1是很简单的程序函数，只有四条路径。但在实践中，一个不太复杂的程序，其路径都是一个庞大的数字，要在测试中覆盖所有的路径是不现实的。为了解决这一难题，只得把覆盖的路径数压缩到一定限度内，例如，程序中的循环体只执行一次。

基本路径测试就是这样一种测试方法，它在程序控制图的基础上，通过分析控制构造的环行复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每一个可执行语句至少执行一次。

在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。包括以下4个步骤和一个工具方法：

程序的控制流图：描述程序控制流的一种图示方法。
程序圈复杂度：McCabe复杂性度量。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。
导出测试用例：根据圈复杂度和程序结构设计用例数据输入和预期结果。
准备测试用例：确保基本路径集中的每一条路径的执行。

工具方法：