2、
3、(y>3)）j=x*y;returnk+j;}要求：写出以上程序的语句覆盖、判定覆盖、条件覆盖、判定—条件覆盖、多条件组合覆盖、路径覆盖的测试用例。x<
4、y且z<5k=x+yx==10或y>3j=x*y1T2F3T4k=0,j=0k+jF5语句覆盖：令x=10,y=11,z=4.满足“x3”这两个条件，刚好覆盖了路径1—2—4.判定覆盖：输入x=5,y=3,z=5输出k=0,j=0第二个判断值测试用例第一个判断值覆盖路径输入x=10,y=11,z=3输出k=21,j=110TT1—2—4FF1—3—5条件覆盖：对于第一个判断：x>y取真时为T1,取假时F1z<5取真时为T2,取假时F2对于第二个判断：x=10取真时为T3,取假时F3y>3取真时为T
5、4,取假时F4测试用例取值条件覆盖路径输入x=3,y=4,z=5输出k=0,j=12T1，F2,F3,T4x>y,z>=5,x!=10,y>31—3—4F1,T2,T3,F4x>=y,z<5,x=10,y<=31—3—4具体取值条件输入x=10,y=3,z=4输出k=0,j=30判定——条件覆盖：测试用例取值条件覆盖路径输入x=10,y=11,z=4输出k=21,j=110T1,T2,T3,T4x31—2—4F1,F2,F3,F4x>=y,z<5,x!=10,y<=31—3—5具体取值条件输入x=3,
6、y=2,z=5输出k=0,j=00多条件组合覆盖：F1,F2,F3,F4测试用例取值条件覆盖的判定—条件组合输入x=10,y=11,z=4输出k=21,j=110T1，T2,T3,T41—2—4x3T1,F2,F3,T41—3—4x>y,z>5x!=10,y>3覆盖路径输入x=3,y=4,z=5输出k=0,j=12输入x=10,y=3,z=4输出k=0,j=30F1,T2,T3,F41—3—4x>=y,z<5,x=10,y<=3输入x=3,y=2,z=5输出k=0,j=01—3—5x>=y,z>=5,
7、x!=10,y<=32.问题：插入函数intinsert(inta[],intval,intpos)。功能：将成绩插入到成绩数组的指定位置，数组最大可以容纳200个成绩。参数：a为成绩数组，val为成绩值，pos为插入的位置（应在1——实际成绩个数+1之间）返回值：插入失败返回-1（如超过围），成功返回实际长度（即实际成绩个数）Java代码如下：intinsert(inta[],intval,intpos){1inti ;2intlen=getArrValConut(a) ;//获取数组a中实际成绩个数3if(pos<1
8、
9、po
10、s>len)//验证实际围if(pos<0
11、
12、pos>len)4return-1 ;5if(len=200)//验证是否超过数组最大长度6return-1 ;7for(i=len-1 ;i>=pos-1 ;i--)//从插入位置开始后移，以将插入位置空出8a[i+1]=a[i] ;9a[pos-1]=val ;//插入10returnlen ;}要求：1、静态代码检查，程序中哪几处有问题？找出并更正1.if(len=200)改为if(len==200)for(i=len-1;i>=pos-1;i--)改为for(i=len-1;
13、i>=pos;i--)2、画出程序控制流图2.357891003、计算环路复杂性3.V(G)=4+1=54、确定独立路径集4.路径1:3-1—4路径2:3-1—3-2—4路径3：3-1——3-2—5—6路径4:3-1—3-2—5—7—9—10路径5:3-1—3-2—5—7—8—7—9—105、给出针对每条独立路径的测试用例（注意数组的前置状态：如当前实际成绩个数）路径1：pos=0,len=201路径2：pos=202路径3：pos=3,len=201路径4：pos=3,len=3路径5：pos=3,len=5三、测试心得体会实
14、验分析与体会通过这次实验，我了解到了白盒测试和黑盒测试。黑盒测试是一种确认技术，目的是确认“设计的系统是否正确”，黑盒测试是以用户的观点，从输入数据与输出数据的对应关系，也就是根据程序外部特征进行的测试，而不考虑程序部结构及工作情况。白盒测试方法深入到了程序部，
