《服务外包实验6_白盒测试上机实验》由会员分享，可在线阅读，更多相关《服务外包实验6_白盒测试上机实验（7页珍藏版）》请在金锄头文库上搜索。
1、-实验六 白盒测试一、实验目的1、系统地学习和理解白盒测试的根本概念、原理，掌握白盒测试的根本技术和方法；2、通过实验和应用，逐步提高和运用白盒测试技术解决实际测试问题的能力。3、掌握决策表和因果图的测试用例设计方法二、实验容1程序代码如下：int result(int *, int y, int z)int k=0,j=0;if(*y)&(z3)j=*y;return k+j;要求：写出以上程序的语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多条件组合覆盖、路径覆盖的测试用例。*y且z3j=*y1T 2F 3T 4k=0,j=0k+jF5 语句覆盖：令*=10,y=11,z=4.满足*y且z3
2、这两个条件，刚好覆盖了路径124.判定覆盖：输入*=5,y=3,z=5输出k=0,j=0第二个判断值测试用例第一个判断值覆盖路径输入*=10,y=11,z=3输出k=21,j=110 T T124 F F135条件覆盖：对于第一个判断：*y取真时为T1,取假时F1z3取真时为T4,取假时F4测试用例取值条件覆盖路径输入*=3,y=4,z=5输出k=0,j=12T1，F2,F3,T4*y,z=5,*!=10,y3134F1,T2,T3,F4*=y,z5,*=10,y=3134具体取值条件输入*=10,y=3,z=4输出k=0,j=30判定条件覆盖：测试用例取值条件覆盖路径输入*=10,y=11,
3、z=4输出k=21,j=110T1,T2,T3,T4*y,z3124F1,F2,F3,F4*=y,z5,*!=10,y=3135具体取值条件输入*=3,y=2,z=5输出k=0,j=00多条件组合覆盖：F1,F2,F3,F4测试用例取值条件覆盖的判定条件组合输入*=10,y=11,z=4输出k=21,j=110T1，T2,T3,T4124*y,z3T1,F2,F3,T4134*y,z5*!=10,y3覆盖路径输入*=3,y=4,z=5输出k=0,j=12输入*=10,y=3,z=4输出k=0,j=30F1,T2,T3,F4134*=y,z5,*=10,y=y,z=5,*!=10,y=32.问题
4、：插入函数 int insert(int a,int val,int pos)。功能：将成绩插入到成绩数组的指定位置，数组最大可以容纳200个成绩。参数：a为成绩数组，val为成绩值，pos为插入的位置应在1实际成绩个数+1之间返回值：插入失败返回-1如超过围，成功返回实际长度即实际成绩个数Java 代码如下：int insert(int a,int val,int pos)1 int i;2 int len=getArrValConut(a);/获取数组a中实际成绩个数3 if(poslen) /验证实际围 if(poslen) 4 return -1;5 if(len=200)/验证是否超
5、过数组最大长度6 return -1;7 for(i=len-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.357891003、计算环路复杂性3.V(G)=4+1=54、确定独立路径集4.路径1:3-14路径2:3-13-24路径3：3-13-256路径4:3-13-257910路径5:3-13-257879105、给出针对每条独立路径的测试用例注意数组的前置状态：如当前实际成绩个数路径1：pos=0,len=201路径2：pos=202路径3：pos=3,len=201路径4：pos=3,len=3路径5：pos=3,len=5三、测试心得体会实验分析与体会 通过这次实验，我了解到了白盒测试和黑盒测试。黑盒测试是一种确 认技术，目的是确认设计的系统是否正确 ，黑盒测试是以用户的观点， 从输入数据与输出数据的对应关系， 也就是根据程序外部特征进展的测试， 而不考虑程序部构造及工作情况。白盒测试方法深入到了程序部，能 从程序具体表达的角度发现问题。. z.
