文档介绍：Forpersonaluseonlyinstudyandresearch;mercialuse蒃XX大学软件质量控制和测试实验(实习)报告羀实验(实习)名称白盒测试(一)实验(实习)日期2011-12-2得分指导老师袆系专业班级1姓名学号羃实验目的袄理解白盒测试的基本方法,掌握语句覆盖、分支覆盖、条件覆盖、路径覆盖等代码覆盖测试策略,:使用逻辑覆盖测试方法测试以下程序段(必做)肁voidDoWork(intx,inty,intz){肀1intk=0,j=0;蚈2if((x>3)&&(z<10))膃3{蒂4k=x*y-1;袂5j=sqrt(k);蒇6}芃7if((x==4)||(y>5))袃8j=x*y+10;芀9j=j%3;芆10}莃说明:程序段中每行开头的数字(1~10)是对每条语句的编号。芄(1)画出程序的控制流图(用题中给出的语句编号表示)。羁(2)分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例,并写出每个测试用例的执行路径(用题中给出的语句编号表示)。:折半查找(选做)莀请按要求对下面的java代码进行测试。代码的功能是:用折半查找法在元素呈升序排列的数组中查找值为key的元素。葿publicintbinSearch(intarray[],intkey){肇intmid,low,high;薃low=0;螁high=-1;膁while(low<=high){螆mid=(low+high)/2;袇if(key==array[mid])膂returnmid;虿elseif(key<array[mid])衿high=mid-1;羇else薃low=mid+1莁}蚈return-1;肆}羄(1)abe复杂性;蝿(2)用基本路径覆盖法给出测试路径;莇(3)为各测试路径设计测试用例。膆肁实验步骤蒁题目一:使用逻辑覆盖测试方法测试以下程序段(必做)膆1、绘制出程序流程图,如图1;膆蒂k=x*y-1;罿j=sqrt(k);腿(x==4)or(y>5)芆j=x*y+10;羃j=j%3;蚀结束羈开始莆k=0,j=0;莃(x>3)and(z<10)膈True螆True蒆False蒀False袀图1题目1的程序流程图蒅2、绘制控制流图,如图2;薆袁5芈6薈7蚆8节9肀10芇1螅2蚃3蒈4肆图2题目1的控制流图螅肄3、设计测试用例:膀语句覆盖:聿语句覆盖是设计足够的测试用例使程序中的每一条可执行语句至少执行一次。这题中,两个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;袆z<10为真时,记作T2;为假时,即z≤10,记作F2;羃x==4为真时,记作T3;为假时,即x≠4,记作F3;袄y>5为真时,记作T4;为假