白盒测试中的逻辑覆盖

逻辑覆盖属于白盒测试，是以程序内部的逻辑结构为基础的设计测试用例的技术。

它分为语句覆盖，判定覆盖，条件覆盖，判定-条件覆盖，条件组合覆盖，路径覆盖六种

其中，前三种覆盖较低，在不同程度上都存在缺陷；

路径覆盖较为严格；

例子：

 

 

 

该例子中有两个判断，四条路径：ace，abd，abe，acd

1、语句覆盖

设计若干个测试用例运行被测程序，每一可执行语句至少执行一次。

在上面的例子中，即a，b，x可以分别取3,0,2

 

2、判定覆盖

每个判定的取真分支和取假分支至少经历一次。

（条件都成立和都不成立）

a，b，x分别取1,1,1和2,0,4

 

3、条件覆盖

每个判断的每个条件的可能取值至少执行一次

即a,b,x的取值分别为2,0,4   2,0,3    1,0,1

 

4、判定-条件覆盖

判断中每个条件的所有可能值至少执行一次，同时每个判断中的每个条件的可能取值至少执行一次。

 

5、条件组合覆盖

使得每个判断的所有可能的条件取值组合至少执行一次

在例子中，

a，b，x  三个条件，八种情况

 

 

 

找到覆盖组合

 

6、路径测试

覆盖程序中的所有可能的路径