实验4白盒测试(二) 下载本文

内容发布更新时间 : 2024/12/26 3:20:57星期一 下面是文章的全部内容请认真阅读。

南京信息工程大学 实验(实习)报告

实验(实习)名称实验四 白盒测试(二)日期 2015-5-31 得分 指导教师 系 计软院 专业 软工 年级 2013 班次 1 姓名 徐佳 学号20131344027

实验四 白盒测试(二)

一、 实验目的

理解白盒测试的基本方法,掌握语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖等代码覆盖测试策略,并能运用相应的方法设计测试用例

二、 实验时间

2学时

三、 实验准备

主流PC 机一套,要求安装windows 操作系统和Office 工具及相应编程软件;

四、 实验内容

1.题目一:使用逻辑覆盖测试方法测试以下程序段 void DoWork (int x,int y,int z) {

1 int k=0, j=0;

2 if ( (x>3)&&(z<10) ) 3 {

4 k=x*y-1; 5 j=sqrt(k); 6 }

7 if((x==4)||(y>5)) 8 j=x*y+10; 9 j=j%3; 10 }

说明:程序段中每行开头的数字(1~10)是对每条语句的编号。 (1)画出程序的控制流图(用题中给出的语句编号表示)。

(2)分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖方法设计测试用例,并写出每个测试用例的执行路径(用题中给出的语句编号表示)。

2.题目二:

请按要求对下面的java 代码进行测试。代码的功能是:用折半查找法在元素呈升序排

列的数组中查找值为key 的元素。

public int binSearch ( int array[], int key ) { 1 int mid, low, high; 2 low = 0;

3 high = array.length-1; 4 while ( low <= high ) { 5 mid = (low +high)/2; 6 if ( key = = array [mid] ) 7 return mid;

8 else if ( key < array [mid] ) 9 high = mid -1; 10 else

11 low = mid + 1 12 }

13 return -1; 14 }

(1) 画出此程序段的控制流图;

(2)试计算此程序段的McCabe 复杂性;

(3)用独立路径覆盖法给出测试路径;并为各测试路径设计测试用例。

五、 实验步骤

1. 基本流图

开始int k=0,j=0Nx>3&&z<10MYk=x*y-1x=4||y>5j=sqrt(k)YNj=x*y+10j=j%3结束

2. 控制流程图