白盒测试实验2

问题：插入函数 int insert(int a[],int val,int pos)。
功能：将成绩插入到成绩数组的指定位置，数组最大可以容纳 200个成绩。
参数：a为成绩数组，val为成绩值，pos为插入的位置（应在1— —实际成绩个数+1之间） 返回值：插入失败返回 -1 （如超过范围），成功返回实际长度 （即实际成绩个数） Java 代码如下：
白盒测试实验
主讲：颜远海

一、实验目的
1 、系统地学习和理解白盒测试的基本概念、原理，掌握白盒测 试的基本技术和方法；
2 、通过实验和应用，逐步提高和运用白盒测试技术解决实际测 试问题的能力。 3、掌握决策表和因果图的测试用例设计方法




二、实验内容 1． 程序代码如下：
开始 k=0，j=0 1 T2 x<y且z<5 F 3 x=10或y>3 F 5 k+j T 4 k=x+y




int insert(int a[],int val,int pos){ 1 int i ; 2 int len=getArrValConut(a) ;//获取数组a中实际成绩个数 3 if(pos<1|| pos>len) //验证实际范围




4
return -1 ;

5 if(len=200)//验证是否超过数组最大长度 6 return -1 ;


7 for(i=len-1 ;i>=pos ;i--)//从插入位置开始后移，以将插入位置空出
8 9 a[i+1]=a[i] ; a[pos-1]=val ;//插入



10 return len ; }


要求：
1、静态代码检查，程序中哪几处有问题？找出并更正
2、画出程序控制流图 3、计算环路复杂性 4、确定独立路径集 5 、给出针对每条独立路径的测试用例（注意数组的前置状态： 如当前实际成绩个数）

int result(int x, int y, int z) { int k=0,j=0; if（(x<y)&&(z<5)） k=x+y; if（(x==10)||(y>3)） j=x*y;
j=xy


return k+j;
}
结束

要求：
写出以上程序的语句覆盖、判定覆盖、条件覆盖、判定—条件覆 盖、多条件组合覆盖测试用例。