实验4白盒测试(二)new.doc

南京信息工程大学 实验（实习）报告 实验四 白盒测试（二） 实验目的 理解白盒测试的基本方法，掌握语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖等代码覆盖测试策略，并能运用相应的方法设计测试用例 实验时间 2学时 实验准备 主流PC 机一套，要求安装windows 操作系统和Office 工具及相应编程软件； 实验内容 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 else 11 low = mid + 1 12 } 13 return -1; 14 } （1） 画出此程序段的控制流图； （2）试计算此程序段的McCabe 复杂性； （3）用独立路径覆盖法给出测试路径；并为各测试路径设计测试用例。 五、实验步骤 程序流程图 语句覆盖 用例编号 x y z 条件取值 执行路径 1 4 6 5 (x3)(z10) (x==4)||(y5) 1 2 3 4 5 6 7 8 9 10 2 2 6 5 y5 1 2 7 9 10 3 5 3 8 (x3)(z10) 1 2 3 4 5 6 7 9 10 4 4 6 10 (x==4)||(y5) 1 2 7 8 9 10 判定覆盖 用例编号 x y z 条件取值 执行路径 1 4 6 5 (x3)(z10) (x==4)||(y5) 1 2 3 4 5 6 7 8 9 10 2 5 3 8 (x3)(z10) 1 2 3 4 5 6 7 9 10 3 4 6 10 (x==4)||(y5) 1 2 7 8 9 10 条件覆盖 用例编号 x y z 条件取值 执行路径 1 5 3 8 (x3)(z10) 1 2 3 4 5 6 7 9 10 2 4 6 10 (x==4)||(y5) 1 2 7 8 9 10 判定/条件覆盖 y z 覆盖条件 执行路径 1 4 6 5 ①真②真③真④真 1 2 3 4 5 6 7 8 9 10 2 2 4 13 ①假②假③假④假 1 2 3 6 7 9 10 条件组合覆盖 x 3 ； ② z 10 ；③ x = = 4 ；④ y 5 ； 令 x 3 为真时，记作T1 ；为假时，即x ≤ 3 , 记作F1 ； z 10 为真时，记作T2 ；为假时，即z ≤ 10, 记作F2 ； x = = 4 为真时，记作T3 ；为假时，即x ≠ 4 , 记作F3 ； y 5 为真时，记作T4 ；为假时，即y ≤ 5 , 记作F4 。 编号 具体条件取值 覆盖条件 判定取值 1 x 3 ， z 10 T1，T2 第一个判定：取真分支 2 x 3 ， z ≤ 10 T1，F2 第一个判定：取假分支 3 x ≤ 3 ，z 10 F1，T2 第一个判定：取假分支 4 x ≤ 3 ，z ≤ 10 F1，F2 第一个判定：取假分支 5 x = = 4 ，y 5 T3，T4 第二个判定：取真分支 6 x = = 4 ，y ≤ 5 T3，F4 第二个判定：取真分支 7 x ≠ 4 ， y 5 F3，T4 第二个判定：取真分支 8 x ≠ 4 ， y ≤ 5 F3，F4 第二个判定：取假分支 用例编号 x y z 覆盖条件 执行路径 1 4 6 5 T1,T2