白盒测试之逻辑覆盖
PS:课程笔记(里面有余九九课本里的举例)
首先, 逻辑覆盖是一种基于程序内部逻辑结构的动态白盒测试方法;其次,根据逻辑覆盖的强度由低到高可以分为语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖、路径覆盖。
语句覆盖(可执行语句)
在使用语句覆盖设计测试用例时,要求程序中可执行的语句必须至少被执行一次。它只关注每个判定表达式的最终结果逻辑值(Y或N),并不关注判定表达式中不同条件的取值情况,所以,某些测试用例是无法检测出错误的(eg:如果判定表达式是“if((x>0)&&(y>0))”错将“&&”写成“||”输入“x=1,y=1”程序结果还是Y,就无法检测出错误)。
设计测试用例:
void test(int x,int A,int B){
if(A>1)&&(B==0) //语句①
x=x/A; //语句②
if(A==2)||(x>1) //语句③
x++; //语句④
}
测试用例 | 输入数据 | (A>1)&&(B==0)① | (A==2)||(x>1)③ | 覆盖语句 | ||
x | A | B | ||||
Test Case1 | 1 | 2 | 0 | Y | Y | ②④ |
判定覆盖(判定表达式)
又称分支覆盖,要求程序中每个判定表达式的Y和N分支至少被执行一次。
设计测试用例:
测试用例 | 输入数据 | (A>1)&&(B==0)① | (A==2)||(x>1)③ | 覆盖语句 | ||
x | A | B | ||||
Test Case1 | 1 | 2 | 0 | Y | Y | ②④ |
Test Case2 | 1 | 3 | 1 | N | N | 无 |
测试用例 | 输入数据 | (A>1)&&(B==0)① | (A==2)||(x>1)③ | 覆盖语句 | ||
x | A | B | ||||
Test Case1 | 1 | 3 | 0 | Y | N | ② |
Test Case2 | 2 | 2 | 2 | N | Y | ④ |
条件覆盖(判定条件)
要求程序中每个判定表达式里的每个判定条件的Y和N都要至少被执行一次。
设计测试用例(只写一组)
测试用例 | 输入数据 | (A>1) | (B==0) | (A==2) | (x>1) | 覆盖语句 | ||
x | A | B | ||||||
Test Case1 | 1 | 2 | 0 | Y | Y | Y | N | ②④ |
Test Case2 | 2 | 1 | 1 | N | N | N | Y | ④ |
设计测试用例(只写一组)
测试用例 | 输入数据 | (A>1)&&(B==0)① | (A==2)||(x>1)③ | (A>1) | (B==0) | (A==2) | (x>1) | 覆盖语句 | ||
x | A | B | ||||||||
Test Case1 | 2 | 2 | 2 | N | Y | N | N | Y | Y | ④ |
Test Case2 | 1 | 4 | 0 | Y | N | Y | Y | N | N | ② |
条件组合覆盖(里外组合)
要求每个判定表达式里的判定条件的Y和N的组合(就是1下面有11和12两个条件,那么组合有“YY”,"YN","NY","NN"四种组合)至少被执行一次。
设计测试用例(只写一组)
测试用例 | 输入数据 | (A>1) | (B==0) | (A==2) | (x>1) | 覆盖语句 | ||
x | A | B | ||||||
Test Case1 | 4 | 2 | 0 | Y | Y | Y | Y | ②④ |
Test Case2 | 1 | 1 | 1 | N | Y | N | N | 无 |
Test Case3 | 2 | 2 | 1 | Y | N | Y | N | ④ |
Test Case4 | 2 | 1 | 1 | N | N | N | Y | ④ |
路径覆盖(路径)
要求所有路径至少被执行一次。(对于较复杂的循环结构程序很难做到)
设计测试用例(只写一组)
————————————————
版权声明:本文为CSDN博主「天上星水中月」的原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接及本声明。
原文链接:https://blog.csdn.net/shanliyiyeren/article/details/120068034