发布时间 : 星期五 文章实验4更新完毕开始阅读a891ddb85727a5e9846a6160
南京信息工程大学实验报告
实验名称：白盒测试（二） 指导老师：徐旦华 实验时间：2015.5.27 专业：软件工程 年级：2013 班级：2 姓名：学号：
一．实验目的
理解白盒测试的基本方法，掌握语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖等代码覆盖测试策略，并能运用相应的方法设计测试用例。
二． 实验时间
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）程序的流程图
开始 输入x,y,z N x>3&&z<10 Y k=x*y-1;j=sqrt(k) (x==4)||(y>5) N j=x*y=10 Y j=j%3 输出j 结束 程序的控制流图
1 2.a 2.b 3 4 5 6 7.a 7.b 8 9 10 (2) 1.语句覆盖测试用例：x=4,y=6,z=8 执行顺序：1—2—3—4—5—6—7—8—9—10 2.判定覆盖测试用例：x=4,y=7,z=8 执行顺序：1—2—3—4—5—6—7—8—9—10 x=3,y=5,z=8 执行顺序：1—2—3—6—7—9 3.条件覆盖测试用例：
设条件x>3真记为T1，假记为F1；条件z<10真记为T2，假记为F2；条件x==4真记为T3，假记为F3；条件y>5记为T4，假记为F4. 测试用例 覆盖条件 x=3,y=8,z=8 x=4,y=6,z=11 4.判定条件覆盖 设条件x>3真记为T1，假记为F1；条件z<10真记为T2，假记为F2；条件x==4真记为T3，假记为F3；条件y>5记为T4，假记为F4. 测试用例 x=3,y=5,z=13 x=4,y=7,z=8 5.条件组合覆盖 覆盖条件 F1,F2,F3,F4 T1,T2,T3,T4 执行路径 1 2 3 6 7 9 10 1 2 3 4 5 6 7 8 9 10 F1,T2,F3,F4 T1,F2,T3,F4 执行路径 1 2 3 6 7 8 9 10 1 2 3 6 7 8 9 10 设条件x>3真记为T1，假记为F1；条件z<10真记为T2，假记为F2；条件x==4真记为T3，假记为F3；条件y>5记为T4，假记为F4. 具体条件取值 覆盖条件 x>3,z<10 x>3,z<=10 x<=3,z<10 x<=3,z<=10 x==4,y>5 x==4,y<=5 x!=4,y>5 x!=4,y<=5 测试用例 测试数据 x=4,y=8,z=8 x=4,y=3,z=13 x=2,y=8,z=8 x=2,y=3,z=13 6.路径覆盖 测试用例编号 1 2 3 4
测试数据 x=4,y=8,z=8 x=4.y=3,z=13 x=6,y=2,z=8 x=2,y=3,z=13 执行路径 1 2 3 4 5 6 7 8 9 10 1 2 3 6 7 8 9 10 1 2 3 4 5 6 7 9 10 1 2 3 6 7 9 10 覆盖条件 T1,T2,T3,T4 T1,F2,T3,F4 F1,T2,F3,T4 F1,F2,F3,F4 执行路径 1 2 3 4 5 6 7 8 9 10 1 2 3 6 7 8 9 10 1 2 3 6 7 8 9 10 1 2 3 6 7 9 10 T1,T2 T1,F2 F1,T2 F1,F2 T3,T4 T3,F4 F3,T4 F3,F4 判定取值 第一个判定：取真分支 第一个判定：取假分支 第一个判定：取假分支 第一个判定：取假分支 第二个判定：取真分支 第二个判定：取假分支 第二个判定：取假分支 第二个判定：取假分支