白盒测试课件.docVIP

PAGE PAGE 1 湖北科技学院 软件测试实验报告 课程名称 软件测试方法与技术 班级 实验日期 姓名 学号 实验成绩 实验名称 白盒测试实验 实验目的与要求 （1）掌握白盒测试技术，并能应用白盒测试技术设计测试用例 （2）能用Junit 实施测试 实验环境 主流 PC 机一套，需安装windows 操作系统、Office、Eclipse 和Junit 实 验 内 容 题目一：用逻辑覆盖测试方法测试以下程序段 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）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。 题目二、折半查找 请按要求对下面的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）题目一 程序的流程图如下： x3z10 x3z10 k=x*y-1 x==4||y5 x*y+10 j=j%3 j=sqrt(k) T F T F 开始 结束 程序的控制流图如下： 5 5 6 7 8 9 10 1 2 3 4 语句覆盖的测试用例： 语句覆盖是设计足够的测试用例使程序中的每一条可执行语句至少执行一次。这题中，两个if语句的判定之后，只要确保使两个判定都为真，那么所有的执行语句就都可以执行了，即可达到语句覆盖的要求。所以设计的测试用例如下：x = 4 , y = 6 , z = 8 。 这组测试用例的执行路径是1—2—3—4—5—6—7—8—9—10 判定覆盖的测试用例： 判定覆盖要求程序中每个判断的取真分支和取假分支至少经历一次。这题中，有两个判定语句，至少需要设计两组测试用例，才能分别覆盖两个if语句的真分支和假分支。所以设计的测试用例如下： 用例1：x = 4 , y = 6 , z = 8 ，其执行路径是 1—2—3—4—5—6—7—8—9—10 ； 用例2：x = 3 , y = 5 , z = 8 ,其执行路径是1—2—3—6—7—9—10。 条件覆盖的测试用例 条件覆盖要求每个判断中每个条件的可能取值至少要满足一次。这道题目中的条件有四个，分别如下： ① x 3 ； ② z 10 ；③ x = = 4 ；④ y 5 ； 设计用例时要使每个条件分别取真和取假。设计的测试用例如下表。 测试用例编号 测试数据 覆盖条件 执行路径 1 x=3,y=8,z=8 ①假②真③假④真 1-2-3-6-7-8-9-10 2 x=4,y=5,z=13 ①真②假③真④假 1-2-3-6-7-8-9-10 判定条件覆盖： 判定/条件覆盖要求判断中每个条件的所有可能至少出现一次，并且每个判断本身的可能判定结果也至少出现一次。题目中的条件有四个，分别如下： x 3 ； ② z 10 ；③ x = = 4 ；④ y 5 ； 该程序中的分支有四个 。所以设计的测试用例如下表所示： 测试用例编号 测试数据 覆盖条件 执行路径 1 x=4,y=8,z=8 ①真②真③真④真 1-2-3-4-5-6-7-8-9-10 2 x=3,y=5,z=13 ①假②假③假④假 1-2-3-6-7-9-10 条件组合覆盖： 条件组合覆盖要求每个判定的所有可能条件取值组合至少执行一次。这道题目中共有四个条件分别如下： x 3 ； ② z 10 ；③ x = = 4 ；④ y 5 ； 设定x 3 为真时，记作T1 ；为假时，即x ≤ 3 , 记作F1