白盒测试有哪些方法

白盒测试方法有：1. 静态分析，是一种不通过执行程序而进行测试的技术。静态分析的关键功能是检查软件的表示和描述是否一致，没有冲突或者没有歧义；2. 动态分析，其主要特点是当软件系统在模拟的或真实的环境中执行之前、之中和之后，对软件系统行为的分析。动态分析包含了程序在受控的环境下使用特定的期望结果进行正式的运行。它显示了一个系统在检查状态下是正确还是不正确。

主流六种覆盖测试方法属于动态分析方法。

1、语句覆盖

（1）主要特点

语句覆盖是最基本的结构覆盖要求，语句覆盖要求设计足够多的测试用 例，使得程序中每条语句至少被执行一次。

（2）优点

可以很直观地从源代码得到测试用例，无须细分每条判定表达式。

（3）缺点

由于这种测试方法仅仅针对程序逻辑中显式存在的语句，但对于隐藏的条件和可能到达的隐式逻辑分支，是无法测试的。在本例中去掉了语句1一Print去掉，那么就少 了一条测试路径。在if结构中若源代码没有给出else后面的执行分支。那么语句覆盖测试就不会考虑这种情况。但是我们不能排除这种以外的分支不会被执行，而往往这种错误会经常出现。再如，在Do-While结构中，语句覆 盖执行其中某一个条件分支。那么显然，语句覆盖对于多分支的逻辑运算是无法全面反映 的，它只在乎运行一次，而不考虑其他情况。

2、判定覆盖

（1）主要特点

又称分支覆盖，设计若干个测试用例，运行所测程序，使程序中每个判断的取真分支和取假分支至少执行一次。即：程序中的每个分支至少执行一次。每个判断的取真、取假至少执行一次。

（2）优点

判定覆盖比语句覆盖要多几乎一倍的测试路径，当然也就具有比语句覆盖更强的测试能力。同样判定覆盖也具有和语句覆盖一样的简单性，无须细分每个判定就可以得到测试用例。

（3）缺点

往往大部分的判定语句是由多个逻辑条件组合而成(如：判定语句中包含AND、 OR、CASE)。若仅仅判断其整个最终结果，而忽略每个条件的取值情况，必然会遗漏部分测试路径。

3、条件覆盖

（1）主要特点

条件覆盖要隶设计足够多的测试用例，使得判定中的每个条件获得各种可能的结果，即每个条件至少有一次为真值，有一次为假值。

（2）优点

显然条件覆盖比判定覆盖，增加了对符合判定情况的测试，增加了测试路径。

（3）缺点

要达到条件覆盖，需要足够多的测试用例，但条件覆盖并不能保证判定覆盖。条件覆盖只能保证每个条件至少有一次为真，而不考虑所有的判定结果。

4、判定/条件覆盖

（1）主要特点:设计足够多的测试用例，使得判定中每个条件的所有可能结果至少出现一次，每个判定本身所有可能结果也至少出现一次。

（2）优点

判定/条件覆盖满足判定覆盖准则和条件覆盖准则，弥补了二者的不足。

（3）缺点

判定/条件覆盖准则的缺点是未考虑条件的组合情况。

5、组合覆盖

（1）主要特点

要求设计足够多的测试用例，使得每个判定种条件结果的所有可能组合至少出现一次。

（2）优点

多重条件覆盖准则满足判定覆盖、条件覆盖和判定/条件覆盖准则。更改的判定/条件覆盖要求设计足够多的测试用例，使得判定中每个条件的所有可能结果至少出现一次。每个判定本身的所有可能结果也至少出现一次，并且每个条件都显示能单独影响判定结呆。

（3）缺点

线性地增加了测试用例的数量。

6、路径覆盖

（1）主要特点

设计足够的测试用例，覆盖程序中所有可能的路径。

（2）优点

这种测试方法可以对程序进行彻底的测试，比前面五种的覆盖面都广。

（3）缺点

由于路径覆盖需要对所有可能的路径进行测试(包括循环，条件组合.分支选择等).那么需要设计大量、复杂的测试用例，使得工作量呈指数级增长。而在有些情况下，一些执行路是不可能被执行的，如：

If(！flag)x++；

If(！flag)y–；

这两个语句实际只包括了2条执行路径，即flag为真或假时候对x和y的处理，真或假不可能都存在，而路径覆盖测试认为是包含了真与假的4条执行路径。这样不仅降低了测试效率，而且大量的测试结果的累积，也为排错带来麻烦。