白盒测试(一) 啦啦啦.docVIP

XX大学 软件质量控制和测试 实验(实习)报告 实验(实习)名称 白盒测试（一） 实验(实习)日期 2011-12-2 得分 指导老师 系 专业 班级 1 姓名 学号 实验目的 理解白盒测试的基本方法，掌握语句覆盖、分支覆盖、条件覆盖、路径覆盖等代码覆盖测试策略，并能应用白盒测试技术设计测试用例 实验内容 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 ) { 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） 为各测试路径设计测试用例。 实验步骤 题目一：使用逻辑覆盖测试方法测试以下程序段（必做） 1、绘制出程序流程图，如图1； k = x*y - 1； k = x*y - 1； j = sqrt(k)； (x = = 4) or ( y 5) j = x*y + 10; j = j % 3; 结束 开始 k=0，j=0； ( x3)and ( z10 ) True True False False 图 1 题目1的程序流程图 2、绘制控制流图，如图2； 5 5 6 7 8 9 10 1 2 3 4 图 2 题目1 的控制流图 3、设计测试用例： 语句覆盖： 语句覆盖是设计足够的测试用例使程序中的每一条可执行语句至少执行一次。这题中，两个if语句的判定之后，只要确保使两个判定都为真，那么所有的执行语句就都可以执行了，即可达到语句覆盖的要求。所以设计的测试用例如下： x = 4 , y = 6 , z = 8 。 这组测试用例的执行路径是1—2—3—4—5—6—7—8—9—10