服务外包实验-白盒测试上机实验

1、精品文档实验六白盒测试、实验目的1、系统地学习和理解白盒测试的基本概念、原理，掌握白盒测试的基本技术和方法;2、通过实验和应用，逐步提高和运用白盒测试技术解决实际测试问题的能力。3、掌握决策表和因果图的测试用例设计方法二、实验内容1.程序代码如下:int result(i nt x, int y, int z)int k=O,j=O;if(xy)&(z3)j=x*y;retur n k+j;要求:精品文档写出以上程序的语句覆盖、判定覆盖、条件覆盖、判定 一条件覆精品文档判定覆盖:测试用例第一个判断值第二个判断值覆盖路径输入x=10,y=11,z=3输出 k=21,j=110TT12-4

2、输入x=5,y=3,z=5输出 k=0,j=0FF13-5盖、多条件组合覆盖、路径覆盖的测试用例。k=O,j=Oxy且z3 _IL LF5广j=x*yk+j令x=10,y=11,z=4.满足“x3”刚好覆盖了路径124.精品文档条件覆盖:精品文档对于第一个判断：xy取真时为T1,取假时F1ZV5取真时为T2,取假时F2对于第二个判断：x=10取真时为T3,取假时F3y3取真时为T4,取假时F4测试用例取值条件具体取值条件覆盖路径输入x=3,y=4,z=5输出 k=0,j=121T1，F2,F3,T4xy,z=5,x!=10,y313-4输入x=10,y=3,z=4输出 k=0,j=301F1,

3、T2,T3,F4x=y,z5,x=10,y=313-4判定一一条件覆盖:测试用例取值条件具体取值条件覆盖路径输入x=10,y=11,z=4输出 k=21,j=1101T1,T2,T3,T4xy,z31-24输入x=3,y=2,z=5输出 k=0,j=001F1,F2,F3,F4x=y,z5,x!=10,y=31-35精品文档多条件组合覆盖:精品文档测试用例取值条件覆盖路径覆盖的判定一条件组合输入x=10,y=11,z=4输出 k=21,j=110T1，T2,T3,T4124xy,z3输入x=3,y=4,z=5输出 k=0,j=12T1,F2,F3,T4134xy,z5x!=10,y3输入x=1

4、0,y=3,z=4输出 k=0,j=30F1,T2,T3,F4134x=y,z5,x=10,y=y,z=5,x!=10,y=32.插入函数int insert(int a,int val,int pos)。功能:将成绩插入到成绩数组的指定位置， 数组最大可以容纳200个成绩。参数:a为成绩数组，val为成绩值，pos为插入的位置（应在1实际成绩个数+1之间）返回值：插入失败返回-1（如超过范围），成功返回实际长度（即实际成绩个数）Java代码如下:int in sert(i nt a,i nt val,i nt pos)inti ;int len二getArrValConut（a） ;/获取数

5、组a中实际成绩个数if(p osle n)/验证实际范围if(p osle n)精品文档精品文档return -1 ;if(le n=200)/验证是否超过数组最大长度return -1 ;for(i=le n-1 ;i=pos-1 ;i-)/从插入位置开始后移，以将插入位置空出ai+1=ai;ap os-1=val ;/插入要求:1、静态代码检查，程序中哪几处有问题？找出并更正1.if(len二200)改为if(len=200)for(i=len-1;i二pos-1;i-)改为for(i=len-1;i二pos;i-)2、画出程序控制流图2.10return len ;精品文档103、计算环路复杂性3.V(G)=4+1=54、确定独立路径集4.路径1:3-14路径2:3-13-24路径3：3-1 3-256路径4:3-13-257910路径5:3-13-257879105、给出针对每条独立路径的测试用例（注意数组的前置状态：如精品文档结构及工作情况。白盒测试方法深入到了程序内部，能从程序具体体现的角度发现问题。路径2:pos=202三、测试心得体会实验分析与体会 通过这次实验，我了解到了白盒测试和黑盒测试。黑盒测试是一种确认技术，目的是确认 “设计的系统是否正确”，黑盒测试是以用户的观点，从输入数据与输出数据的对应关系，也就是根据程序外部特征进行的测