Python白盒测试实验报告样稿.doc

青 岛 科 技 大 学 实 验 报 告
课程：软件测试基础 试验项目：白盒测试
专业：计算机科学和技术 班级：惠普测试142
姓名：闫伟明 日期：-11-25
试验要求：
依据下述C代码及对应步骤图，将其转换成Python代码；
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
}
步骤图：
Python代码：
#
import math
def DoWork(x,y,z):
k=0
j=0
if x>3 and z<10:
k=x*y-1
j=(k)
if x==4 or y>5:
j=x*y+10
j=j%3
return k,j
依据Python代码设计白盒测试用例，包含：
语句覆盖；
测试用例输入为：{ x=5、y=6、z=7 }
程序实施路径是：abd
判定覆盖；
测试用例输入为：{x=5、y=6、z=7}；{x=1、y=2、z=3}
程序实施路径分别是：abd；ace
条件覆盖；
对于第一个判定( (x>3)&&(z<10) )：
条件x>3
取真值记为T1
取假值记为-T
条件z<10
取真值记为T2
取假值记为-T2
对于第二个判定( (x==4)||(y>5) )：
条件x==4
取真值记为T3
取假值记为-T3
条件y>5
取真值记为T4
取假值记为-T4
测试用例
实施路径
覆盖条件
覆盖分支
x=4,y=6,z=7
abd
T1,T2,T3,T4
bd
x=4,y=4,z=13
ace
-T1,-T2,-T3,-T4
ce
判定 / 条件覆盖；
测试用例
实施路径
覆盖条件
覆盖分支
x=4,y=6,z=9
abd
T1,T2,T3,T4
bd
x=3,y=5,z=10
ace
-T1,-T2,-T3,-T4
ce
组合覆盖
对DoWork函数中各个判定条件取值组合加以标识：
组合号
条件取值组合
标识
覆盖判定
1
x>3, z<10
记做T1 T2
第一个判定取真分支
2
x>3, z>=10
记做T1 -T2
第一个判定取假分支
3
x<=3, z<10
记做-T1 T2
第一个判定取假分支
4
x<=3, z>=10
记做-T1 -T2
第一个判定取假分支
5
x==4, y>5
记做T3 T4
第二个判定取真分支
6
x==4, y<=5
记做T3 -T4
第二个判定取真分支
7
x!=4, y>5
记做-T3 T4