软件质量测试与管理实验四实验报告.docx

南京信息工程大学实验（实习）报告实验（实习）名称白盒测试（二）实验（实习）日期2015.5.27得分指导教师 徐旦华 院 计软 专业 软件工程 年级 2 班次 1 姓名学号 20131344028 实验目的理解白盒测试的基本方法，掌握语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖等代码覆盖测试策略，并能运用相应的方法设计测试用例实验内容1．题目一：使用逻辑覆盖测试方法测试以下程序段void DoWork (int x,int y,int z){1 int k=0, j=0;2 if ( (x3)(z10) )3 {4 k=x*y-1;5 j=sqrt(k);6 }7 if((x==4)||(y5))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 else11 low = mid + 112 }13 return -1;14 }（1） 画出此程序段的控制流图；（2）试计算此程序段的McCabe 复杂性；（3）用独立路径覆盖法给出测试路径；并为各测试路径设计测试用例。实验步骤3.1.1 控制流图：3.1.2 测试用例：(1)路径覆盖：用例编号测试用例覆盖路径覆盖条件1x=3;y=6;z=11,2a,6,7a,7b,8,9,10x3; (x==4)||(y5)2x=3;y=4;z=11,2a,6,7a,7b,9,10x3; (x==4)||(y5)3x=4;y=6;z=111,2a,2b,6,7a,8,9,10(x3)(z10); (x==4)4x=5;y=6;z=111,2a,2b,6,7a,7b,8,9,10(x3)(z10); (x==4)5x=3;y=4;z=111,2a,2b,6,7a,7b,9,10(x3)(z10); (x==4)||(y5)6x=4;y=6;z=11,2a,2b,3,4,5,6,7a,8,9,10(x3)(z10);(x==4)7x=5;y=6;z=11,2a,2b,3,4,5,6,7a,7b,8,9,10(x3)(z10); (x==4)||(y5)8x=5;y=4;z=11,2a,2b,3,4,5,6,7a,7b,9,10(x3)(z10); (x==4)||(y5)(2)语句覆盖：用例编号测试用例覆盖路径覆盖条件1x=5;y=6;z=11,2a,2b,3,4,5,6,7a,7b,8,9,10(x3)(z10); (x==4)||(y5)(3)判定覆盖：用例编号测试用例覆盖路径覆盖条件1x=3;y=6;z=11,2a,6,7a,7b,8,9,10x3; (x==4)||(y5)2x=4;y=6;z=111,2a,2b,6,7a,8,9,10(x3)(z10); (x==4)(4)条件覆盖：变量表达式的值类别x3取真值T1x3取假值t1z10取真值T2z10取假值t2x==4取真值T3x==4取假值t3y5取真值T4y5取假值t4测试用例：用例编号测试用例路径覆盖条件1x=4;y=6;z=111,2a,2b,6,7a,8,9,10T1 t2 T3 t42x=3;y=6;z=11,2a,6,7a,7b,8,9,10t1 T2 t3 T4(5)判定/条件覆盖编号变量类别（1）x3; z10T1,T2（2）x3; z=10T1,t2（3）x=3; z10t1,T2（4）x=3; z=10t1,t2（5）x==4; y5T3,T4（6）x==4; y=5T3,t4（7）x!=4; y5t3,T4（8）x!=4; y=5t3,t4测试用例：组合编号测试用例路径覆盖条件（1）（5）x=4;y=6;z=1