白盒测试doc.docx
《白盒测试doc.docx》由会员分享,可在线阅读,更多相关《白盒测试doc.docx(18页珍藏版)》请在冰豆网上搜索。
白盒测试doc
湖北科技学院
软件测试实验报告
课程名称
软件测试方法与技术
班级
实验日期
姓名
学号
实验成绩
实验名称
白盒测试实验
实验目的与要求
(1)掌握白盒测试技术,并能应用白盒测试技术设计测试用例
(2)能用Junit实施测试
实验环境
主流PC机一套,需安装windows操作系统、Office、Eclipse和Junit
实
验
内
容
题目一:
用逻辑覆盖测试方法测试以下程序段
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=array.length-1;
while(low<=high){
mid=(lowhigh)/2;
if(key==array[mid])
returnmid;
elseif(keyhigh=mid-1;
else
low=mid1
}
return-1;
}
(1)试计算此程序段的McCabe复杂性;
(2)用基本路径覆盖法给出测试路径;
(3)为各测试路径设计测试用例。
测
试
用
例
描
述
及
实
验
步
骤
(1)题目一
程序的流程图如下:
程序的控制流图如下:
语句覆盖的测试用例:
语句覆盖是设计足够的测试用例使程序中的每一条可执行语句至少执行一次。
这题中,两个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
判定条件覆盖:
判定/条件覆盖要求判断中每个条件的所有可能至少出现一次,并且每个判断本身的可能判定结果也至少出现一次。
题目中的条件有四个,分别如下:
1x>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
条件组合覆盖:
条件组合覆盖要求每个判定的所有可能条件取值组合至少执行一次。
这道题目中共有四个条件分别如下:
1x>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;为假时,即y≤5,记作F4。
条件组合如下表:
编号
具体条件取值
覆盖条件
判定取值
1
x>3,z<10
T1,T2
第一个判定:
取真分支
2
x>3,z≤10
T1,F2
第一个判定:
取假分支
3
x≤3,z<10
F1,T2
第一个判定:
取假分支
4
x≤3,z≤10
F1,F2
第一个判定:
取假分支
5
x==4,y>5
T3,T4
第二个判定:
取真分支
6
x==4,y≤5
T3,F4
第二个判定:
取真分支
7
x≠4,y>5
F3,T4
第二个判定:
取真分支
8
x≠4,y≤5
F3,F4
第二个判定:
取假分支
设计的测试用例如下:
测试用例编号
测试数据
覆盖条件
执行路径
1
x=4,y=8,z=8
T1,T2,T3,T4
1-2-3-4-5-6-7-8-9-10
2
x=4,y=3,z=13
T1,F2,T3,F4
1-2-3-6-7-8-9-10
3
x=2,y=8,z=8
F1,T2,F3,T4
1-2-3-6-7-8-9-10
4
x=2,y=3,z=13
F1,F2,F3,F4
1-2-3-6-7-9-10
路径覆盖:
路径覆盖要求覆盖程序中所有可能的路径。
这道题中可能的执行路径共有4条,所以需要设计4个测试用例:
测试用例编号
测试数据
执行路径
1
x=4,y=8,z=8
1-2-3-4-5-6-7-8-9-10
2
x=4,y=3,z=13
1-2-3-6-7-8-9-10
3
x=6,y=2,z=8
1-2-3-4-5-6-7-9-10
4
x=2,y=3,z=13
1-2-3-6-7-9-10
(2)题目二
程序编号后如下:
publicintbinSearch(intarray[],intkey){
1.intmid,low,high;
2.low=0;
3.high=array.length-1;
4.while(low<=high){
5.mid=(lowhigh)/2;
6.if(key==array[mid])
7.returnmid;
8.elseif(key9.high=mid-1;
10.else
11.low=mid+1
12.}
13.return-1;
14.}
程序的流程图如下:
程序的控制流图如下:
程序的环路复杂性即McCabe复杂性度量,简单的定义为控制流图的区域数。
从程序的环路复杂性可导出程序基本路径集合中的独立路径条数,这是确保程序中每个可执行语句至少执行一次所必需的最少测试用例数。
通常环路复杂性可用以下三种方法求得。
(1)通过控制流图的边数和节点数计算。
设E为控制流图的边数,N为控制流图的节点数,则定义环路复杂性为V(G)=E–N+2;
该图中共有16条边,14个节点,因此E=16,N=14,
V(G)=E-N+2=16-14+2=4,程序的环路复杂性为4。
(2)通过控制流图中判定节点数计算。
若设P为控制流图中的判定节点数,则有V(G)=P+1
该图中有3个判定节点,因此其环路复杂性为V(G)=P+1=3+1=4,所以该程序的环路复杂性为4。
(3)将环路复杂性定义为控制流图中的区域数。
该控制流图中有4个区域:
R1、R2、R3、R4,因此其环路复杂性为4。
通过程序的控制流图导出基本路径集,列出程序的独立路径。
PATH1:
1-2-3-4-13-14
PATH2:
1-2-3-4-5-6-7-12-4-13-14
PATH3:
1-2-3-4-5-6-8-9-12-4-13-14
PATH4:
1-2-3-4-5-6-8-10-11-12-4-13-14
根据程序结构和程序环路复杂性设计用例输入数据和预期结果,确保基本路径集中的每一条路径的执行。
用例编号
路径
输入数据
预期输出
1
path1:
1-2-3-4-13-14
array[0]={};
key=1
-1
2
path2:
1-2-3-4-5-6-7-12-4-13-14
array[3]={2,4,6};
key=4
1
3
path3:
1-2-3-4-5-6-8-9-12-4-13-14
array[4]={2,4,6,8};
key=2
0
4
path4:
1-2-3-4-5-6-8-10-11-12-4-13-14
array[4]={2,4,6,8};
key=6
2
调
试
过
程
及
实
验
结
果
实验过程中由于初次使用junit测试工具,在测试过程中对测试方法存在部分问题,已经得到了解决。
本次实验结果基本上与预期结果一致。
总
结
白盒测试并不是简单地按照代码设计测试用例,而是需要根据不同的测试需求,结合不同的测试对象,使用合适的方法进行测试。
同时白盒测试与程序内部结构相关,因此也称为结构测试或逻辑驱动测试。
而在进行白盒测试时,测试者必须检查程序的内部结构,从程序的逻辑结构着手,得出测试数据。
因此测试者需要了解程序结构的实现细节等知识,才能有效进行测试用例的设计工作。
附
录
1.源程序:
packagegy.test2;
publicclassDoWork{
publicDoWork(intx,inty,intz){
intk=0,j=0;
if((x>3)&&(z<10)){
k=x*y-1;
j=(int)Math.sqrt(k);
}
if((x==4)||(y>5))
j=x*y+10;
j=j%3;
}
publicbooleandoWork(intx,inty,intz){
returntrue;
}
}
测试程序:
(1)
packagegy.test2;
importjunit.framework.*;
importorg.junit.Test;
publicclassDoWorkTest1extendsTestCase{
privatestaticintx,y,z;
privatestaticDoWorkdowork=newDoWork(x,y,z);
publicvoidsetUp()throwsException{
}
@Test
publicvoidtestDoWork(){
assertEquals(true,dowork.doWork(4,8,8));
}
}
(2)
packagegy.test2;
importstaticorg.junit.Assert.*;
importorg.junit.Test;
publicclassDoWorkTest2{
privatestaticintx,y,z;
privatestaticDoWorkdowork=newDoWork(x,y,z);
publicvoidsetUp()throwsException{
}
@Test
publicvoidtestDoWork(){
assertEquals(true,dowork.doWork(4,3,13));
}
}
(3)
packagegy.test2;
importstaticorg.junit.Assert.*;
importorg.junit.Test;
publicclassDoWorkTest3{
privatestaticintx,y,z;
privatestaticDoWorkdowork=newDoWork(x,y,z);
publicvoidsetUp()throwsException{
}
@Test
publicvoidtestDoWork(){
assertEquals(true,dowork.doWork(6,2,8));
}
}
(4)
packagegy.test2;
importstaticorg.junit.Assert.*;
importorg.junit.Test;
publicclassDoWorkTest4{
privatestaticintx,y,z;
privatestaticDoWorkdowork=newDoWork(x,y,z);
publicvoidsetUp()throwsException{
}
@Test
publicvoidtestDoWork(){
assertEquals(true,dowork.doWork(2,3,13));
}
}
2.源程序:
packagegy.test;
publicclassBinSearch{
publicintbinSearch(intarray[],intkey){
intmid,low,high;
low=0;
high=array.length-1;
while(low<=high){
mid=(low+high)/2;
if(key==array[mid])
returnmid;
elseif(keyhigh=mid-1;
else
low=mid+1;
}
return-1;
}
}
测试程序:
(1)
packagegy.test;
importjunit.framework.*;
publicclassBinSearchTest1extendsTestCase{
privatestaticBinSearchsearch=newBinSearch();
privateintarray[]={};
publicvoidsetUp()throwsException{
}
publicvoidtestBinSearch(){
assertEquals(-1,search.binSearch(array,1));
}
}
(2)
packagegy.test;
importjunit.framework.*;
publicclassBinSearchTest2extendsTestCase{
privatestaticBinSearchsearch=newBinSearch();
privateintarray[]={2,4,6};
publicvoidsetUp()throwsException{
}
publicvoidtestBinSearch(){
assertEquals(1,search.binSearch(array,4));
}
}
(3)
packagegy.test;
importjunit.framework.*;
publicclassBinSearchTest3extendsTestCase{
privatestaticBinSearchsearch=newBinSearch();
privateintarray[]={2,4,6,8};
publicvoidsetUp()throwsException{
}
publicvoidtestBinSearch(){
assertEquals(0,search.binSearch(array,2));
}
}
(4)
packagegy.test;
importjunit.framework.*;
publicclassBinSearchTest4extendsTestCase{
privatestaticBinSearchsearch=newBinSearch();
privateintarray[]={2,4,6,8};
publicvoidsetUp()throwsException{
}
publicvoidtestBinSearch(){
assertEquals(2,search.binSearch(array,6));
}
}