实验4白盒测试(二).doc

《实验4白盒测试(二).doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、南京信息工程大学实验（实习）报告实验（实习）名称实验四白盒测试（二）日期2015-5-31得分指导教师系计软院专业软工年级2013班次1姓名徐佳学号实验四白盒测试（二）一、实验目的理解白盒测试的基本方法，掌握语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖等代码覆盖测试策略，并能运用相应的方法设计测试用例二、实验时间2学时三、实验准备主流PC机一套，要求安装windows操作系统和Office工具及相应编程软件；四、实验内容1．题目一：使用逻辑覆盖测试方法测试以下程序段voidDoWork(intx,inty,intz){1intk=0,j=0;2if((x>3

2、)&&(z<10))3{4k=x*y-1;5j=sqrt(k);6}7if((x==4)

3、

4、(y>5))8j=x*y+10;9j=j%3;10}说明：程序段中每行开头的数字（1~10）是对每条语句的编号。（1）画出程序的控制流图（用题中给出的语句编号表示）。（2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。2．题目二：请按要求对下面的java代码进行测试。代码的功能是：用折半查找法在元素呈升序排列的数组中查找值为key的元素。publicintbinSearch(intarra

5、y[],intkey){1intmid,low,high;2low=0;3high=array.length-1;4while(low<=high){5mid=(low+high)/2;6if(key==array[mid])7returnmid;8elseif(key

6、4,y=5,z=9）可以做到语句覆盖2.判定覆盖CASE1：x=4,y=5,z=6可覆盖判断M的Y分支和判断N的Y分支CASE2：x=2,y=3,z=4可覆盖判断M的N分支和判断N的N分支3.条件覆盖设条件x>3取真记为T1，假记为F1条件z<10取真记为T2，假记为F2设条件x=4取真记为T3,假记为F3条件y>5取真记为T4,假记为F4CASE1:x=4,y=6,z=6可覆盖条件T1,T2,T3,T4CASE2:x=2,y=3,z=4可覆盖条件F1,F2,F3,F44.判定/条件覆盖CASE1:x=4,y=6,z=6可覆盖条件T1,T2,T3,T4,可覆盖判断M的Y分支和判断N

7、的Y分支CASE2:x=2,y=3,z=4可覆盖条件F1,F2,F3,F4,可覆盖判断M的N分支和判断N的N分支5.条件组合覆盖编号覆盖条件取值判定条件取值具体条件取值1T1,T2N取Yx>3,z<102T1,F2N取Nx>3,z>=103F1,T2N取Nx<=3,z<104F1,F2N取Nx<=3,z>=105T3,T4M取Yx=4,y>56T3,F4M取Yx=4,y<=57F3,T4M取Yx!=4,y>58F3,F4M取Nx!=4,y<=5条件组合覆盖测试用例测试用例覆盖条件覆盖判断覆盖组合x=4,y=6,z=6T1,T2T3,T4N取YM取Y15x=4,y=5,z=10T1,

8、F2T3,F4N取NM取Y26x=3,y=6,z=9F1,T2F3,T4N取NM取Y37x=3,y=5,z=10F1,F2F3,F4N取NM取N481.路径覆盖测试用例覆盖组合覆盖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）数据流图：（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-1

9、4PATH4：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