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

1、实验六 白盒测试一、实验目的1、系统地学习和理解白盒测试的基本概念、原理，掌握白盒测试 的基本技术和方法；2、通过实验和应用， 逐步提高和运用白盒测试技术解决实际测试 问题的能力。3、掌握决策表和因果图的测试用例设计方法二、实验内容1程序代码如下：int result(int x, int y, int z)int k=0,j=0;if (xy)&(z3) )j=x*y;return k+j;要求：写出以上程序的语句覆盖、判定覆盖、条件覆盖、判定 条件覆盖、多条件组合覆盖、路径覆盖的测试用例k=O,j=O/ /f-$1T 2xy 且 z5M k=x+yF5k+j语句覆盖：令 x=10,y=11

2、,z=4.满足“ xy 且 z3”这两个条件，刚好覆盖了路径124.判定覆盖：测试用例第一个判断值第二个判断值覆盖路径输入 x=10,y=11,z=3输出 k=21,j=110TT1 2 4输入 x=5,y=3,z=5输出 k=0,j=0FF1 35条件覆盖:对于第一个判断：xy取真时为T1,取假时F1z3取真时为T4,取假时F4测试用例取值条件具体取值条件覆盖路径输入 x=3,y=4,z=5输出 k=0,j=12T1，F2,F3,T4xy,z=5,x!=10,y31 34输入 x=10,y=3,z=4输出 k=0,j=30F1,T2,T3,F4x=y,z5,x=10,y=31 34判定条件覆

3、盖:测试用例取值条件具体取值条件覆盖路径输入 x=10,y=11,z=4输出 k=21,j=110T1,T2,T3,T4xy,z31 2 4输入 x=3,y=2,z=5输出 k=0,j=00F1,F2,F3,F4x=y,z5,x!=10,y=31 35多条件组合覆盖:测试用例取值条件覆盖路径覆盖的判定一条件组合输入 x=10,y=11,z=4输出 k=21,j=110T1，T2,T3,T41 24xy,z3输入 x=3,y=4,z=5输出 k=0,j=12T1,F2,F3,T41 34xy,z5x!=10,y3输入 x=10,y=3,z=4输出 k=0,j=30F1,T2,T3,F41 34x

4、=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)1 int i ;2 int len二getArrValConut(a) ;/获取数组a中实际成绩个数3 if(posle n)/验证

5、实际范围if(posle n)4 return -1 ;5 if(le n二200)/验证是否超过数组最大长度6 return -1 ;7 for(i=le n-1 ;i二pos-1 ;i-)/从插入位置开始后移，以将插入位置空出8 ai+1=ai;9 apos-1=val;/ 插入10 return len ;要求：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.89103、计算环路复杂性3. V(G)=4+1=54、确定独立路径集4. 路径 1:3-14路径 2:3-1 3-24路径 3: 3-1 3-2 56路径 4:3-1 3-25 7 910路径 5:3-1 3-25 7 879105、给出针对每条独立路径的测试用例(注意数组的前置状态：如路径 1: pos=0,len=201路径 2: pos=202路径 3: pos=3,len=201路径 4: pos=3,len=3路径 5: pos=3,len=5三、测试心得体会实验分析与体会 通过这次实验，我了解到了白盒测