功能测试白盒测试.docx

南京信息工程大学 实验（实习）报告实验名称 白盒测试（一）实验（实习）日期 2011.5.24 得分 指导教师 徐旦华 系 计算机 专业 软件工程 年级 08 班次 3 姓名 许燕 学号 20082344908 实验目的理解白盒测试的基本方法，掌握语句覆盖、分支覆盖、条件覆盖、路径覆盖等代码覆盖测试策略，并能应用白盒测试技术设计测试用例。实验内容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）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。（1）、控制流程图：判断M判断NY输入x,y,z(x==4)||(y5)j=x*y+10j=j%3输出jN247895根据程序流程图画控制流图：（2）1、语句覆盖测试用例：x=4，y=6,z=7 执行顺序： 2-4-5-7-8-9 2、判定覆盖测试用例 第一组：x=4,y=7,z=9 执行顺序：2-4-5-7-8-9 第二组：x=1,y=4,z=6 执行顺序：2-7-9 3、条件覆盖测试用例 设条件x3真记为T1,假记为F1 条件z10真记为T2，假记为F2 条件x==4真记为T3，假记为F3 条件y5真记为T4，假记为F4 测试用例覆盖条件具体取值条件x=4,y=2,z=8T1,T2,T3,F4x3,z10,x=4,y=5x=2,y=6,z=11F1,F2,F3,T4x=3,z=10,x!=4,y5 4、判定-条件覆盖测试用例（每个条件、每个条件的分支都要覆盖到） 测试用例覆盖条件覆盖判断x=4,y=7,z=8T1,T2,T3,T4M的Y分支和Q的Y分支x=1,y=4,y=12F1,F2,F3,F4M的N分支和Q的Y分支 5、组合覆盖测试用例编号覆盖条件判定条件组合具体条件组合1T1，T2M取Yx3,z102T1，F2M取Nx3,z=103F1，T2M取Nx=3,z104F1，F2M取Nx=3,z=105T3，T4M取Yx=4,y56T3，F4M取Yx=4,y=57F3，T4M取Yx!=4,y58F3，F4M取Nx!=4,y=5测试用例覆盖条件覆盖判定条件组合覆盖编号组合x=4,y=6,z=7T1，T2，T3，T4M取Y，Q取Y1,5x=4,y=4,z=10T1，F2，T3，F4M取N，Q取Y2,6x=3,y=7,z=9F1，T2，F3，T4M取N，Q取Y3,7x=2,y=3,z=11F1，F2，F3，F4M取N，Q取N4,86、路径覆盖测试用例测试用例覆盖路径x=4,y=6,z=72-4-5-7-8-9x=6,y=1,z=82-4-5-7-9x=3,y=7,z=92-7-8-9x=2,y=3,z=112-7-92．题目二：折半查找（选做）请按要求对下面的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;elselow = mid + 1}return -1;}（1） 试计算此程序段的McCabe 复杂性；（2） 用基本路径覆盖法给出测试路径；（3） 为各测试路径设计测试用例。实验步骤体会和总结