实验六 白盒测试一、实验目的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;要求：写出以上程序的语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多条件组合覆盖、路径覆盖的测试用例。xy且z3j=x*y1T 2F 3T 4k=0,j=0k+jF5 语句覆盖：令x=10,y=11,z=4.满足“xy且z3”这两个条件，刚好覆盖了路径124.判定覆盖：输入x=5,y=3,z=5输出k=0,j=0第二个判断值测试用例第一个判断值覆盖路径输入x=10,y=11,z=3输出k=21,j=110 T T124 F F135条件覆盖：对于第一个判断：xy取真时为T1,取假时F1z3取真时为T4,取假时F4测试用例取值条件覆盖路径输入x=3,y=4,z=5输出k=0,j=12T1，F2,F3,T4xy,z=5,x!=10,y3134F1,T2,T3,F4x=y,z5,x=10,y=3134具体取值条件输入x=10,y=3,z=4输出k=0,j=30判定条件覆盖：测试用例取值条件覆盖路径输入x=10,y=11,z=4输出k=21,j=110T1,T2,T3,T4xy,z3124F1,F2,F3,F4x=y,z5,x!=10,y=3135具体取值条件输入x=3,y=2,z=5输出k=0,j=00多条件组合覆盖：F1,F2,F3,F4测试用例取值条件覆盖的判定条件组合输入x=10,y=11,z=4输出k=21,j=110T1，T2,T3,T4124xy,z3T1,F2,F3,T4134xy,z5x!=10,y3覆盖路径输入x=3,y=4,z=5输出k=0,j=12输入x=10,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 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)/验证是否超过数组最大长度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三、测试心得体会实验分析与体会 通过这次实验，我了解到了白盒测试和黑盒测试。黑盒测试是一种确 认技术，目的是确认“设计的系统是否正确” ，黑盒测试是以用户的观点， 从输入数据与输出数据的对应关系， 也就是根据程序外部特征进行的测试， 而不考虑程序内部结构及工作情况。白盒测试方法深入到了程序内部，能 从程序具体体现的角度发现问题。