第二章白盒测试V1.doc

第二章 白盒测试 1.1 实验类型 实验类型为验证型，4 个学时。 1.2 实验目的 （1） 掌握白盒测试技术，并能应用白盒测试技术设计测试用例； （2） 能用Junit 实施测试。 1.3 实验设备 主流PC 机一套，要求安装windows 操作系统、Office、Eclipse 和Junit； 1.4 实验内容 1．题目一：使用逻辑覆盖测试方法测试以下程序段 public class Test1 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 java.lang.Math.sqrt k ; 6 7 if x 4 || y 5 8 j x*y+10; 9 j j%3; 10 return k+j; 说明：程序段中每行开头的数字（1~10）是对每条语句的编号。 （1）画出程序的流程图（用题中给出的语句编号表示）。 （2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。 2．题目二：计算生日是星期几 已知公元1 年1 月1 日是星期一。编写一个程序，只要输入年月日，就能回答那天是星期几。 画出其控制流图，并计算Mcable 复杂度 给出控制流图的独立路径 讨论独立路径的可行性和给出每条路径的测试用例 3．题目三：排序算法的基本路径测试练习 编写一排序算法（插入或冒泡），进行下面计算： 画出其控制流图，并计算Mcable 复杂度 给出控制流图的独立路径 讨论独立路径的可行性和给出每条路径的测试用例 4．题目三：折半查找 请按要求对下面的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.5 实验步骤 （1） 根据白盒测试技术设计测试用例，主要考虑逻辑覆盖测试（语句覆盖、判断覆盖、条件覆盖、判断/条件覆盖、条件组合覆盖、路径覆盖）和基路径测试技术； （2） 计算测试用例的分支覆盖率、条件覆盖率和语句覆盖率等测试管理指标； 3 使用Junit编写并运行测试用例； 4 使用EclEmma或Clover 进行覆盖分析； 1.6 实验要求 （1） 根据题目要求编写测试用例； （2） 撰写实验报告；