白盒测试的方法

逻辑覆盖是以程序内部的逻辑结构为基础的测试方法，属于“白盒”测试

1）语句覆盖

语句覆盖是最起码的测试要求，使得每一条语句至少被执行一次，对程序的逻辑覆盖很少，只关心判定表达式的值，是很弱的逻辑覆盖标准。

2）判定覆盖

要求设计足够的测试用例，使得程序中的每一个分支至少通过一次即每一条分支语句的“真”值和“假”值都至少执行一次。

3）条件覆盖

不仅每一个语句至少执行一次，使得判定中的每个条件获得各种可能的结果。判定覆盖只关心整个判定表达式的结果，条件覆盖关心的则是每个条件各种取值的结果。

4）判定/条件覆盖

设计足够多的测试用例，使得判定中每个条件的所有可能取值至少能够获取一次，同时每个判断的所有可能的判定结果至少执行一次。

5）条件组合

要求设计足够多的测试用例，使得每个判定中条件的各种组合至少出现一次。满足条件组合覆盖标准的测试用例，也一定满足判定覆盖、条件覆盖和判定/条件覆盖标准。

6）路径覆盖

要求设计足够多的测试用例，使得程序中所有的路径都至少执行一次 。