[开发测试]白盒测试（逻辑覆盖）

白盒测试主要是检查程序的内部结构、逻辑、循环和路径。常用测试用例设计方法有：
逻辑覆盖：以程序的内部逻辑结构为基础，分为语句覆盖、判定覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖等。

语句覆盖：

语句覆盖法的基本思想是设计若干测试用例，运行被测程序，使程序中的每个可执行语句至少被执行一次

如果是顺序结构，就是让测试从头执行到尾

如果有分支、条件和循环，需要利用下面的方法，执行足够的测试覆盖全部语句

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

【缺点】 ：由于这种测试方法仅仅针对程序逻辑中显式存在的语句，但对于隐藏的条件是无法测试的。如在多分支的逻辑运算中无法全面的考虑。语句覆盖是最弱的逻辑覆盖。

判定覆盖

设计若干用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次，即判断真假值均曾被满足。 一个判定往往代表着程序的一个分支，所以判定覆盖也被称为分支覆盖。

【优点】：判定覆盖具有比语句覆盖更强的测试能力。同样判定覆盖也具有和语句覆盖一样的简单性，无须细分每个判定就可以得到测试用例。

【缺点】：往往大部分的判定语句是由多个逻辑条件组合而成，若仅仅判断其整个最终结果，而忽略每个条件的取值情况，必然会遗漏部分测试路径。判定覆盖仍是弱的逻辑覆盖。

条件覆盖

设计若干测试用例，执行被测程序以后，要使每个判断中每个条件的可能取值至少满足一次。
它覆盖了判定M的N分支和判断N的Y分支。?
【优点】：增加了对条件判定情况的测试，增加了测试路径。

【缺点】：条件覆盖不一定包含判定覆盖。例如，我们刚才设计的用例就没有覆盖判断M的Y分支和判断N的N分支。条件覆盖只能保证每个条件至少有一次为真，而不考虑所有的判定结果。
判定条件覆盖

判定-条件覆盖是判定和条件覆盖设计方法的交集，即设计足够的测试用例，使得判断条件中的所有条件可能取值至少执行一次，同时，所有判断的可能结果至少执行一次。
按照判定－条件覆盖的要求，我们设计的测试用例要满足如下条件：

1.所有条件可能至少执行一次取值；

2.所有判断的可能结果至少执行一次。?
【优点】 ：能同时满足判定、条件两种覆盖标准。

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

条件组合覆盖

设计足够的测试用例，使得程序中每个判断的所有可能的条件取值组合都至少出现一次。

它与条件覆盖的差别是它不是简单地要求每个条件都出现“真”与“假”两种结果，而是要求让这些结果的所有可能组合都至少出现一次。

按照条件组合覆盖的基本思想，对于前面的例子，我们把每个判断中的所有条件进行组合，设计组合条件如表所示，而我们设计的测试用例就要包括所有的组合条件。
【优点】：条件组合覆盖准则满足判定覆盖、条件覆盖和判定/条件覆盖准则。

【缺点】：线性地增加了测试用例的数量。

路径覆盖

设计所有的测试用例，来覆盖程序中的所有可能的执行路径。
【优点】 ：这种测试方法可以对程序进行彻底的测试，比前面五种的覆盖面都广。

【缺点】 ：需要设计大量、复杂的测试用例，使得工作量呈指数级增长，不见得把所有的条件组合都覆盖。?