"服务外包实验-白盒测试上机实验"
该实验报告旨在介绍白盒测试的基本概念、原理和方法，并通过实验和应用，提高白盒测试技术解决实际测试问题的能力。本报告将详细介绍白盒测试的测试用例设计方法，包括语句覆盖、判定覆盖、条件覆盖、判定—条件覆盖、多条件组合覆盖和路径覆盖等。
一、实验目的
1. 系统地学习和理解白盒测试的基本概念和原理。
2. 掌握白盒测试的基本技术和方法。
3. 通过实验和应用，逐步提高和运用白盒测试技术解决实际测试问题的能力。
二、实验内容
1. 程序代码如下：
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;
return k+j;
}
要求：写出以上程序的语句覆盖、判定覆盖、条件覆盖、判定—条件覆盖、多条件组合覆盖和路径覆盖的测试用例。
测试用例：
1. 语句覆盖：
令 x=10,y=11,z=4 满足“x<y 且 z<5”和“x=10 或 y>3”这两个条件，刚好覆盖了路径1—2—4。
2. 判定覆盖：
x<y 且 z<5 k=x+y
x==10 或 y>3 j=x*y
1. T 2. F 3. T 4. k=0,j=0 F5
测试用例：
第一个判断值覆盖路径输入 x=10,y=11,z=3 输出 k=21,j=110 T T 1—2—4
第二个判断值输入 x=5,y=3,z=5 输出 k=0,j=0
对于第一个判断：x>y 取真时为 T1,取假时 F1
z<5 取真时为 T2,取假时 F2
对于第二个判断：x=10 取真时为 T3,取假时 F3
y>3 取真时为 T4,取假时 F4
3. 判定——条件覆盖：
多条件组合覆盖：
测试用例：
x=10,y=11,z=4 输出 k=21,j=110 T1,T2,T3,T4 1—2—4
x<y,z<5,x=10,y>3
x>=y,z<5,x!=10,y<=3 1—3—5
x=3,y=2,z=5 输出 k=0,j=0
x>y,z>=5,x!=10,y>3 1—3—4
x=10,y=3,z=4 输出 k=0,j=30
x>=y,z<5,x=10,y<=3 1—3—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){
int i ;
int len=getArrValConut(a) ;//获取数组 a 中实际成绩个数
if(pos<1|| pos>len) //验证实际范围
return -1 ;
if(len==200)// 验证是否超过数组最大长度
return -1 ;
for(i=len-1 ;i>=pos -1 ;i--)// 从插入位置开始后移，以将插入位置空出
a[i+1]=a[i] ;
a[pos-1]=val ;//插入
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. 画出程序控制流图
答案：
见图1
3. 计算环路复杂性
答案：
V(G)=4+1=5
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—10
5. 给出针对每条独立路径的测试用例
答案：
见表1
表1：
| 路径 | 测试用例 |
| --- | --- |
| 路径 1 | x=10,y=11,z=4 |
| 路径 2 | x=5,y=3,z=5 |
| 路径 3 | x=3,y=2,z=5 |
| 路径 4 | x=10,y=3,z=4 |
| 路径 5 | x=3,y=4,z=5 |
该实验报告详细介绍了白盒测试的基本概念、原理和方法，并通过实验和应用，提高白盒测试技术解决实际测试问题的能力。
VIP享7折，此内容立减5.97元 
