功能测试白盒测试

南京信息工程大学实验（实习）报告

实验名称白盒测试（一）实验（实习）日期 2011.5.24 得分指导教师徐旦华

系计算机专业软件工程年级 08 班次 3 姓名许燕学号 20082344908

一、实验目的

理解白盒测试的基本方法，掌握语句覆盖、分支覆盖、条件覆盖、路径覆盖等代码覆盖测试策略，并能应用白盒测试技术设计测试用例。

二、实验内容

1．题目一：使用逻辑覆盖测试方法测试以下程序段（必做）

voidDoWork (intx,inty,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）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。

（1）、控制流程图：

根据程序流程图画控制流图：

（2）1、语句覆盖测试用例：x=4，y=6,z=7 执行顺序： 2-4-5-7-8-9

2、判定覆盖测试用例

第一组：x=4,y=7,z=9

执行顺序：2-4-5-7-8-9

第二组：x=1,y=4,z=6

执行顺序：2-7-9

3、条件覆盖测试用例

设条件x>3真记为T1,假记为F1

条件z<10真记为T2，假记为F2

条件x==4真记为T3，假记为F3

条件y>5真记为T4，假记为F4

6、路径覆盖测试用例

2．题目二：折半查找（选做）

请按要求对下面的java 代码进行测试。代码的功能是：用折半查找法在元素呈升序排列的数组中查找值为key 的元素。

publicintbinSearch ( int array[], int key ) {

int mid, low, high;

low = 0;

high = array.length-1;

while ( low <= high ) {

mid = (low +high)/2;

if ( key = = array [mid] )

return mid;

else if ( key < array [mid] )

high = mid -1;

else

low = mid + 1

}

return -1;

}

（1）试计算此程序段的McCabe 复杂性；

（2）用基本路径覆盖法给出测试路径；

（3）为各测试路径设计测试用例。

三、实验步骤

四、体会和总结