白盒测试用例之逻辑覆盖
白盒测试也称为结构测试，根据程序的内部结构和逻辑来设计测试用例，对程序的路径和过程进行测试，检查是否满足设计的需要。
白盒测试常用的技术是逻辑覆盖、循环覆盖和基本路径测试。这里只讲逻辑覆盖，逻辑覆盖有6种：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。其中语句覆盖和路径覆盖与执行路径有关，因此下面放到一起讲（图1），其余4个覆盖与条件判断有关，用图2来举例说明，为方便看图，我把图放到用例的中间。
1、语句覆盖：每条语句至少被执行一次（图1）
|
用例 |
a |
i |
路径 |
说明 |
|
1 |
1 |
1 |
ABDEGHI |
本用例一个用例就能执行完所有语句,因为路径C, J没有执行语句,路径F后面虽然有语句”k=2”,但是在本用例路径E已经执行过了 |
(图1) 语句覆盖和路径覆盖实例图
6、路径覆盖：覆盖程序中所有可能的路径,包括循环、条件组合、分支选择等（图1）
|
用例 |
a |
i |
路径 |
说明 |
|
1 |
1 |
1 |
ABDEGHI |
从图的起点到终点画出所有路径,有几条路径即需要几个测试用例,每个用例执行一条路径.本例题有3个判断分支,每个分支有两条路径,因此有3*2=6条路径,需要6个用例 |
|
2 |
1 |
0 |
ABDEGJ |
|
|
3 |
-1 |
1 |
ABFGHI |
|
|
4 |
-1 |
0 |
ABFGJ |
|
|
5 |
0 |
1 |
ACHI |
|
|
6 |
0 |
0 |
ACJ |
2、判定覆盖(分支覆盖)：每个判定(分支)至少执行一次, 注意没有代码的分支可不执行（图2）
|
用例 |
x |
y |
路径 |
测试内容 |
|
1 |
90 |
90 |
ABF |
AB分支(判定1=TRUE) |
|
2 |
50 |
50 |
ACEF |
AC分支(判定1=FALSE) CE分支(判定2=FALSE) |
|
3 |
90 |
70 |
ACDF |
CD分支(判定2=TRUE) |
3、条件覆盖：每个条件真假至少各执行一次, 不考虑判定结果（分支）（图2）
|
用例 |
x |
y |
路径 |
测试内容 |
|
1 |
90 |
90 |
ABF |
X>=80： TRUE Y>=80：TRUE |
|
2 |
50 |
50 |
ACEF |
X>=80：FALSE Y>=80：FALSE X+Y>=140：FALSE X>=90：FALSE Y>90：FALSE |
|
3 |
90 |
70 |
ACDF |
X+Y>=140：TRUE X>=90：TRUE |
|
4 |
70 |
95 |
ACDF |
Y>90：TRUE |
(图2) 判定覆盖、条件覆盖、判定/条件覆盖和条件组合覆盖实例图
4、判定/条件覆盖：每个条件真假至少各执行一次,并且每个分支至少执行一次（图2）
|
用例 |
x |
y |
路径 |
测试内容 |
|
1 |
90 |
90 |
ABF |
X>=80：TRUE Y>=80：TRUE AB分支(判定1=TRUE) |
|
2 |
50 |
50 |
ACEF |
X>=80：FALSE Y>=80：FALSE AC分支(判定1=FALSE) X+Y>=140：FALSE X>=90：FALSE Y>90：FALSE CE分支(判定2=FALSE) |
|
3 |
90 |
70 |
ACDF |
X+Y>=140：TRUE X>=90：TRUE CD分支(判定2=TRUE) |
|
4 |
70 |
95 |
ACDF |
Y>90：TRUE |
5、条件组合覆盖：每个条件的所有可能组合至少出现一次（图2）
|
用例 |
x |
y |
路径 |
测试内容 |
|
1 |
90 |
90 |
ABF |
判定1真真组合 |
|
2 |
90 |
70 |
ACDF |
判定1真假组合 判定2真真假组合 |
|
3 |
70 |
95 |
ACDF |
判定1假真组合 判定2真假真组合 |
|
4 |
70 |
70 |
ACEF |
判定1假假组合 判定2真假假组合 |
|
5 |
90 |
30 |
ACEF |
判定2假真假组合 |
|
6 |
30 |
95 |
ACEF |
判定2假假真组合 |
|
7 |
50 |
50 |
ACEF |
判定2假假假组合 |
|
注1:判定2真真真组合不必测试,因为此判定会执行AB分支,不会执行AC分支 注2:判定2假真真组合不存在,后两个条件同时为真时第一个条件肯定为真 |
||||