白盒测试用例练习题.doc

文档介绍：白盒测试用例练****br/>,要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖,并画出相应的程序流程图。
void DoWork (int x,int y,int z)
{
int k=0,j=0;
if ( (x>3)&&(z<10) )
{ k=x*y-1;
j=sqrt(k); //语句块1
}
if ( (x==4)||(y>5) )
{
j=x*y+10;
} //语句块2
j=j%3; //语句块3
k=0
j=0
k=x*y-1
j=sqrt(k)
x>3
and
z<10
}
a
Y c

N
b
x=4
or
y>5
e
Y
j=x*y+10
N
d
j=j%3

由这个流程图可以看出,该程序模块有4条不同的路径:
P1:(a-c-e) P2:(a-c-d)
P3:(a-b-e) P4:(a-b-d)
将里面的判定条件和过程记录如下:
判定条件M={x>3 and z<10}
判定条件N={x=4 or y>5}
语句覆盖
测试用例输入
输出
判定M的取值
判定N的取值
覆盖路径
x=4,z=5,y=8
k=31,j=0
T
T
P1(a-c-e)
2、判定覆盖
p1和p4可以作为测试用例,其中p1作为取真的路径,p4作为取反的路径。
测试用例输入
输出
判定M的取值
判定N的取值
覆盖路径
x=4,z=5,y=8
k=31,j=0
T
T
P1(a-c-e)
x=2,z=11,y=5
k=0,j=0
F
F
P4(a-b-d)
也可以让测试用例测试路径P2和P3。相应的两组输入数据如下:
测试用例输入
输出
判定M的取值
判定N的取值
覆盖路径
x=5,z=5,y=4
k=19,j=sqrt(19)%3
T
F
P2(a-c-d)
x=4,z=11,y=6
k=0,j=1
F
T
P3(a-b-e)
3、条件覆盖
对于M:x>3取真时T1,取假时F1;
z<10取真时T2,取假时F2;
对于N:x=4取真时T3,取假时F3;
y>5取真时T4,取假时F4。
条件:x>3,z<10,x=4,y>5
条件:x<=3,z>=10,x!=4,y<=5
根据条件覆盖的基本思路,和这8个条件取值,组合测试用例如表所示:
测试用例输入
输出
取值条件
具体取值条件
覆盖路径
x=4,z=5,y=8
k=31, j=0
T1,T2,T3,T4
x>3,z<10,x=4,y>5
P1(a-c-e)
x=3,z=11,y=5
k=0, j=0
F1,F2,F3,F4
x<=3,z>=10,x!=4,y<=5
P4(a-b-d)
4、判定/条件覆盖
测试用例输入
输出
取值条件
具体取值条件
覆盖路径
x=4,z=5,y=8
k=31, j=0
T1,T2,T3,T4
x>3,z<10,x=4,y>5
P1(a-c-e)
x=3,z=11,y=5
k=0, j=0
F1,F2,F3,F4
x<=