| 白盒测试是对软件的过程性细节做详细检查。通过对程序内部结构和逻辑的分析来设计测试用例。适合于白盒测试的设计技术主要有：逻辑覆盖法、基本路径测试等。下面将介绍逻辑覆盖法。
|
|
|
| 逻辑覆盖（Logic Coverage）是以程序内部的逻辑结构为基础的测试技术。它考虑的是测试数据执行（覆盖）程序的逻辑程度。由于穷举测试是不现实的，因此，只希望覆盖的程度更高些。根据覆盖情况的不同，逻辑覆盖可分为：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多重覆盖、路径覆盖。在讨论这几种覆盖时，均以下图所示的程序段为例。这是一个非常简单的程序，共有两个判断、4条不同路径。为了方便起见，分别对第一个判断取假分支，对第一个判断取真分支，对第二个判断取假分支，对第二个判断取真分支并分别命名为b、c、d和e。4条路径表示为abd、acd、abe和ace。其Pascal程序为：
|
|
|
|
|
|
|
|
|
|
|
| 语句覆盖（Statement Coverage）就是设计若干个检测用例，使得程序中的每条语句至少被执行一次。在所举的示例中，只要选择能通过路径ace的测试用例即可。如：
|
|
|
|
|
| 语句覆盖对程序的逻辑覆盖程度很低，如果把第一个判断语句中的AND错写成OR，或把第二个判断语句中的OR错写成AND，用上面的测试用例是不能发现问题的。这说明语句覆盖有可能发现不了判断条件中算法出现的错误。
|
|
|
|
|
| 判定覆盖（Decision Coverage）也被称为分支覆盖，就是设计若干个检测用例，使得程序中的每个判断的取真分支和取假分支至少被执行一次。对上述被测程序来说，需要设计测试用例覆盖路径acd和abe（或abd和ace）。可以选择如下的输入数据：
|
|
|
|
|
|
|
|
|
| 判断覆盖比语句覆盖的程度稍高，因为如果通过了每个分支的测试，则各语句也都被执行了。但仍有不足，如上述的测试用例不能发现把第二个判断语句中的X>1错写成X<1的错误。所以，判断覆盖还不能保证一定能查出判断条件中的错误。因此，需要更强的逻辑覆盖来检测内部条件的错误。
|
|
|
|
|
| 条件覆盖（Condition Coverage）就是设计若干个测试用例，使得被测程序中每个判断的每个条件的所有可能情况都至少被执行一次。
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 条件覆盖通常比判断覆盖强，因为条件覆盖可以使判断语句中的每个条件都能取两个不同的结果。但有可能出现虽然每个条件都取了不同的结果，但判断表达式却始终是一个值的情况，请看下面两组输入数据：
|
|
|
|
|
| 它们满足条件覆盖，但不满足语句覆盖和判断覆盖的标准（未经历路径c，那么就发现不了X=X/A错写成X=X/B的错误）。因此，需要对条件及判断产生的分支兼顾，这就是下面要介绍的判断／条件覆盖。
|
|
|
|
|
| 判断／条件覆盖（Decision/Condition Coverage）是既要满足判断覆盖的要求，又要满足条件覆盖的要求。也就是设计若干个测试用例，使得程序中的每个判断的取真分支和取假分支至少执行一次，而且每个条件的所有可能情况都至少被执行一次。对于上图而言，下面两组输入数据可以满足判断／条件覆盖的要求：
|
|
|
|
|
| 但这两组数据也是条件覆盖中所举的示例。因此，有时判断／条件覆盖并不比条件覆盖更强，逻辑表达式的错误也不一定能被检查出来。
|
|
|
|
|
| 多重覆盖（Multi-job Coverage）就是设计多个测试用例，使得各判断表达式中条件的各种组合至少被执行一次。就上图所示的例子而言，要符合多重覆盖的标准，所设计的测试用例必须满足下面的8种条件组合：
|
|
|
|
|
|
|
|
|
| 很显然，多重覆盖包含了条件覆盖、判断覆盖和判断／条件覆盖，是前面几种覆盖标准中最强的。但就上面的4组输入数据，也没有将程序中的每条路径都覆盖了，如：没有通过acd这条路径，所以测试仍不完全。
|
|
|
|
|
| 路径覆盖就是设计足够多的测试示例，使被测程序中的所有可能路径至少被执行一次。对上面的例子束说，可以选择这样的4组测试数据来覆盖程序中的所有路径：
|
|
|
|
|
| 路径覆盖保证了程序中的所有路径都至少被执行一次，是一种比较全的逻辑覆盖标准。但它没有检查判断表达式中条件的各种组合情况，通常把路径覆盖和多重覆盖结合起来就可以得到查错能力很强的测试用例。如上面的例子，把多重覆盖的4组输入数据和路径覆盖中的第3组数据组合成起来，形成5组输入数据，就可以得到既满足路径覆盖的标准，又满足多重覆盖的标准。
|
|
|
|
|
| 上面介绍的只是语句、分支、条件以及它们的组合情况，而循环也是大多数算法的基础：对循环的测试主要检查循环构造的有效性。循环分为简单循环（Simple Loops）、串联循环（Concatenated Loops）、嵌套循环（Nested Loops）和非结构循环（Unstructured Loops）4种类型，如下图所示。
|
|
|
|
|
|
|
| 对于循环次数为n的简单循环。可以采用下列措施进行测试。
|
|
|
|
|
|
|
|
|
| 对于嵌套循环，如果采用简单循环的测试方法，则测试次数将会成几何级数增长。可以采用以下方法进行测试。
|
|
|
| .从最内层循环开始测试，对所有外层循环都取最小值，内层循环按简单循环的测试方法进行。
|
|
|
| .由里向外，一层层进行测试，凡是外层的循环都取最小值，该层循环嵌套的那些循环取一些典型的值。
|
|
|
|
|
| 对于串联循环的测试可分成两种情况：如果两个循环是独立的，则采用简单循环的测试方法；反之，如果两个循环不是独立的，则需要用嵌套循环的测试方法来测试，对于非结构循环，一般先把程序结构化之后再进行测试。
|
|
|
