大三软件工程第2章过程与方法

白盒测试(又称为“结构测试 第9章软 2——错误隐藏在角落里 在边界第9章软 但期望输出务必从需求规格中导出。第9章软 规格说程规格说程测试用第9章软 测试用测试用例规格说程测试用例 第9章软 3白盒测试的特以程序的内部逻辑为基础设计测试用例，又称逻辑覆盖法应用白盒法时，手头必须有程序的规格说明以及程 白盒测试考虑测试用例对程序内部逻辑的覆盖程第9章软 逻辑覆判定覆盖(分支覆盖

结构覆盖基本路径测控制结构测第9章软 弱强语句覆每条语句至少执行判定覆每一判定的每个分支至少执行条件覆判定/条件覆同时满足判定覆盖和条件覆盖的条件组合第9章软 覆盖

程序结构T F

测试用例应满足的条语句覆判定

T F

第9章软 覆盖标程序结构测试用例应满足的条件B=T,判定/条件覆A=T,A=FB=T,条件组合A=TB=TA=TB=FA=FB=TA=FB=F第9章软 4基本路径控制结构第9章软 对于左盖 YA>1&& NNA=2、B=0、A=1、B=0、A=2、B=1、A=3、B=0、A=2|| NN第9章软

a bx=4、y=6x=4、y=6、T1、T2、T3、x=4、y=5、x=2、y=5、-T1、-T2、-T3、

执行语句块 执行语句块执行语句块2执行语句块执行语句块3执行语句块出口第9章软 基本路径测程序中的每个条件至少被测试一第9章软 前提测试以对程序路径进试。是分析实际的与预期的结第9章软 第9章软 流图只有2图中的每一个圆称为流图的结点，代表一条或多条语句流图中的箭头称为边或连接，代表控制流 if结

while结 until结

case第9章软 程序流程图→控制流控制流第9章软 如果判断中的条件表达式是由一个或多个逻辑运算符(OR,AND,NAND,NOR)连接的复合条件表达式，则需要改ifaorxy第9章软 1

2263 4 4

8579857第9

独立路径：一条路径，至少包含一条在定义该路径之前不曾用过(至少引入程序的一个新处理语句集合或一个新条件)16 9

路径1：1-路径2：1-2-3-4-5-10-1-路径1：1-路径2：1-2-3-4-5-10-1-路径4：1-2-3-6-7-9-10-1-：有下面的CvoidSort(intiRecordNum,int intint{if(0={x=y+2;if(1= 14.第9章软 4 6 程序流程

第9

控制流 有以下三种方法计算环复杂流图中区域的数量给定流图G的圈复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数是流图中结点的数量第9章软 V(G)=10条边-8结点 V(G)=3个判定结点+1=46 11第章软件通路。V(G)值正好等于该程序的独立路径的条 。–路径1：4- –路径2：4-6-7- 4 第章软 第9章软 路径1：4-输入数据：iRecordNum＝0，或者iRecordNum<0的某一个预期结果路径2：4-6-7-路径3：4-6-8-10-13-4-路径4：4-6-8-11-13-4-

第9

voidSort(intiRecordNum,intwhile(iRecordNum-->{if(0={x=y+2;if(1= 14.开开ii2和 Score[i]<>-1AND 5和Score[i]>0AND 8ii=i average=–average=–912返9i开i开2和 Score[i]<>-1AND 5和

Score[i]>0AND

11 8i=i

9 9average=–12返

8V(G6（个区域其中E为流图中的边数，N为结

12 11 5 8第9章软 路径4：1-2-3-4-5-8-路径5：1-2-3-4-5-6-8-路径6：1-2-3-4-5-6-7-8-

12 11 5 8第9章软 路径1-2-9-10-12达不i开i开2和 Score[i]<>-1AND 5和

Score[i]>0AND

11

ii=i9average=–9average=–12

8路径1(1-2-..-2-9-10-12)的测：score[i]=–1,

1iiScore[i]<>-1AND 期望结果：根据输入的有效

Score[i]>0AND出正确的分数个数n1、总分sum 平均分average8ii=i 第9

average=–12路径2(1-2-9-11-12)的测试用例score[1]=-1持期望的结果：average=-1，其他持 路径3(1-2-..-2-3-9-10-12)测试用例F输入多于50个有效分数，即试图处理分数，要求前51个为有效分数期望结果：n1=50、且算出正确的总分

1iiScore[i]<>-1AND Score[i]>0AND 8ii=i 第9

average=–12路径4(1-2-3-4-5-8-2…)的测试用例score[i]=有效分数，当i k<i i期望结果：根据输入的有效分数算出的分数个数n1、总分sum和平均 F

Score[i]<>-1AND

Score[i]>0ANDscore[i]=有效分数，当i<50； k<i；第9

8ii=i average=–average=–12路径6(1-2-3-4-5-6-7-8-2…)测试score[i]=有效分数，当1ii 出正确的分数个数n1、总分sum平均分average

Score[i]<>-1AND Score[i]>0AND 8ii=i 第9

average=–12若找到，则在index中记录keyelemArray中出现的位置第9

intsearch(intkey,int[]{intbottom=inttop=elemArray.length–intmid=intindex=-while(bommom<={mid=(top+bottom)/if(elemArray[mid]=={index=}{if(elemArray[mid]< bottom=mid+1;top=mid–}}return}intsearch(intintsearch(intkey,int[]{intbottom=inttop=elemArray.length–intmid=intindex=-while(bommom<={mid=(top+bottom)/if(elemArray[mid]=={index=}{if(elemArray[mid]< bottom=mid+1;top=mid–}}return}intintbottom=intmid=0;intindex=-2345Ymidmid=(top+bottom)/67 [mid]==indexindex=9Ybottom=bottom=

Ntoptop=mid–第9

开 intintbottom=intmid=0;intindex=-2345Ymidmid=(top+bottom)/67 [mid]==indexindex=9Y

N1-1-567top=top=mid–bottom=开 第9章软 1-5

V(G)=4个区V(G)=3个判断节点V(G)=11条边-9个节点67

独立路–路径1：1-45–路径2：1-456789–路径3：1-456710115–路径4：1-456710125第9章软 intintbottom=intmid=0;intindex=-2345Ymidmid=(top+bottom)/67 [mid]==key

独立路径–路径1：1-45–路径2：1-456789–路径3：1-456710115–路径4：1-456710125测试用例index=index=输入期望输出1-232343421 bottombottom=开开

toptop=mid–第9章软 使用路径测试技术设计测试用例的步骤部分来进试。第9章软 第9章软 逻辑测试通过检查程序模块中包含的逻辑条件 试用例设逻辑测试方法侧重于测试程序中的每个条件以确