实验4白盒测试(二)new

南京信息工程大学实验（实习）报告实验四白盒测试（二）一、实验目的理解白盒测试的基本方法，掌握语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖等代码覆盖测试策略，并能运用相应的方法设计测试用例二、实验时间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）用独立路径覆盖法给出测试路径；并为各测试路径设计测试用例。五、实验步骤程序流程图语句覆盖用例编号xyz条件取值执行路径1465(x3)&&(z10)(x==4)||(y5)123456789102265y51279103538(x3)&&(z10)123456791044610(x==4)||(y5)1278910判定覆盖用例编号xyz条件取值执行路径1465(x3)&&(z10)(x==4)||(y5)123456789102538(x3)&&(z10)123456791034610(x==4)||(y5)1278910条件覆盖k=x*y-1j=sqrt(k)(x==4)or(y5)j=x*y+10j=j%3Endstartk=0，j=0(x3)and(z10)truetruefalsefalse用例编号xyz条件取值执行路径1538(x3)&&(z10)123456791024610(x==4)||(y5)1278910判定/条件覆盖①x3；②z10；③x==4；④y5；用例编号xyz覆盖条件执行路径1465①真②真③真④真1234567891022413①假②假③假④假12367910条件组合覆盖①x3；②z10；③x==4；④y5；令x3为真时，记作T1；为假时，即x≤3,记作F1；z10为真时，记作T2；为假时，即z≤10,记作F2；x==4为真时，记作T3；为假时，即x≠4,记作F3；y5为真时，记作T4；为假时，即y≤5,记作F4。编号具体条件取值覆盖条件判定取值1x3，z10T1，T2第一个判定：取真分支2x3，z≤10T1，F2第一个判定：取假分支3x≤3，z10F1，T2第一个判定：取假分支4x≤3，z≤10F1，F2第一个判定：取假分支5x==4，y5T3，T4第二个判定：取真分支6x==4，y≤5T3，F4第二个判定：取真分支7x≠4，y5F3，T4第二个判定：取真分支8x≠4，y≤5F3，F4第二个判定：取假分支用例编号xyz覆盖条件执行路径1465T1,T2,T3,T41234567891024410T1,F2,T3,F41236789103368F1,T2,F3,T412367891042410F1,F2,F3,F412367910路径覆盖用例编号xyz执行路径146512345678910226512791035381234567910446101278910第二题程序流程图STARTLow=0High=arraylength-1Low=highMid=(low+high)/2Key==arry[mid]Keyarray[mid]High=mid-1Low=mid+1ReturnmidReturn-1endNYYNN控制流图（2）计算此程序段的McCabe复杂性若设P为控制流图中的判定节点数，则有V(G)=P+1如图中有3个判定节点，因此其环路复杂性为V(G)=P+1=3+1=4，所以该程序的环路复杂性为4。（3）独立路径：PATH1：1-2-3-4-13-141234567891011121314R3R4R1R2PATH2：1-2-3-4-5-6-7-12-4-13-14PATH3：1-2-3-4-5-6-8-9-12-4-13-14PATH4：1-2-3-4-5-6-8-10-11-12-4-13-14用例编号路径输入数据预期输出1PATH1array[0]={};key=1-12PATH2array[3]={2,8,6};key=813PATH3array[3]={2,4,6};key=204PATH4array[4]={2,4,6,8};key=62六、实验心得通过本次实验，让我了解到白盒测试的方法有很多种，要根据不同的测试对象，选择合适地方法。要对条件组合覆盖和条件判断覆盖进行区别。