实验4白盒测试(二)

南京信息工程大学实验（实习）报告实验（实习）名称实验四白盒测试（二）日期2015-5-31得分指导教师系计软院专业软工年级2013班次1姓名徐佳学号20131344027实验四白盒测试（二）一、实验目的理解白盒测试的基本方法，掌握语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖等代码覆盖测试策略，并能运用相应的方法设计测试用例二、实验时间2学时三、实验准备主流PC机一套，要求安装windows操作系统和Office工具及相应编程软件；四、实验内容1．题目一：使用逻辑覆盖测试方法测试以下程序段voidDoWork(intx,inty,intz){1intk=0,j=0;2if((x3)&&(z10))3{4k=x*y-1;5j=sqrt(k);6}7if((x==4)||(y5))8j=x*y+10;9j=j%3;10}说明：程序段中每行开头的数字（1~10）是对每条语句的编号。（1）画出程序的控制流图（用题中给出的语句编号表示）。（2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。2．题目二：请按要求对下面的java代码进行测试。代码的功能是：用折半查找法在元素呈升序排列的数组中查找值为key的元素。publicintbinSearch(intarray[],intkey){1intmid,low,high;2low=0;3high=array.length-1;4while(low=high){5mid=(low+high)/2;6if(key==array[mid])7returnmid;8elseif(keyarray[mid])9high=mid-1;10else11low=mid+112}13return-1;14}（1）画出此程序段的控制流图；（2）试计算此程序段的McCabe复杂性；（3）用独立路径覆盖法给出测试路径；并为各测试路径设计测试用例。五、实验步骤1.基本流图开始intk=0,j=0x3&&z10k=x*y-1j=sqrt(k)Yx=4||y5j=x*y+10j=j%3结束YNMN2.控制流程图122a2b3894,56,73.语句覆盖CASE1（x=4,y=5,z=9）可以做到语句覆盖4.判定覆盖CASE1：x=4,y=5,z=6可覆盖判断M的Y分支和判断N的Y分支CASE2：x=2,y=3,z=4可覆盖判断M的N分支和判断N的N分支5.条件覆盖设条件x3取真记为T1，假记为F1条件z10取真记为T2，假记为F2设条件x=4取真记为T3,假记为F3条件y5取真记为T4,假记为F4CASE1:x=4,y=6,z=6可覆盖条件T1,T2,T3,T4CASE2:x=2,y=3,z=4可覆盖条件F1,F2,F3,F46.判定/条件覆盖CASE1:x=4,y=6,z=6可覆盖条件T1,T2,T3,T4,可覆盖判断M的Y分支和判断N的Y分支CASE2:x=2,y=3,z=4可覆盖条件F1,F2,F3,F4,可覆盖判断M的N分支和判断N的N分支7.条件组合覆盖编号覆盖条件取值判定条件取值具体条件取值1T1,T2N取Yx3,z102T1,F2N取Nx3,z=103F1,T2N取Nx=3,z104F1,F2N取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=6T1,T2T3,T4N取YM取Y15x=4,y=5,z=10T1,F2T3,F4N取NM取Y26x=3,y=6,z=9F1,T2F3,T4N取NM取Y37x=3,y=5,z=10F1,F2F3,F4N取NM取N488.路径覆盖开始intk=0,j=0x3&&z10k=x*y-1j=sqrt(k)Yx=4||y5j=x*y+10j=j%3结束Y2NMN13456测试用例覆盖组合覆盖x=3,y=6,z=10471-2-3x=3,y=5,z=10481-2-4x=5,y=6,z=7171-5-6x=2,y=5,z=10481-5-42.（1）数据流图：1234561314789101112（2）MAC复杂度为3+1=4（3）独立路径PATH1：1-2-3-4-5-6-7-12-4-13-14PATH2：1-2-3-4-5-6-8-9-12-4-13-14PATH3：1-2-3-4-5-6-8-10-11-12-4-13-14PATH4：1-2-3-4-13-14用例编号路径输入数据预期输出1PATH1array[4]={1,2,3,4};key=212PATH2array[6]={2,3,6,8,13,15};key=1553PATH3array[4]={2,4,6,8};key=204PATH4array[3]={1,2,3};key=4-1