大三軟件工程第2章過(guò)程與方法

白盒測(cè)試(又稱為“結(jié)構(gòu)測(cè)試 第9章軟 2——錯(cuò)誤隱藏在角落里 在邊界第9章軟 但期望輸出務(wù)必從需求規(guī)格中導(dǎo)出。第9章軟 規(guī)格說(shuō)程規(guī)格說(shuō)程測(cè)試用第9章軟 測(cè)試用測(cè)試用例規(guī)格說(shuō)程測(cè)試用例 第9章軟 3白盒測(cè)試的特以程序的內(nèi)部邏輯為基礎(chǔ)設(shè)計(jì)測(cè)試用例，又稱邏輯覆蓋法應(yīng)用白盒法時(shí)，手頭必須有程序的規(guī)格說(shuō)明以及程 白盒測(cè)試考慮測(cè)試用例對(duì)程序內(nèi)部邏輯的覆蓋程第9章軟 邏輯覆判定覆蓋(分支覆蓋

結(jié)構(gòu)覆蓋基本路徑測(cè)控制結(jié)構(gòu)測(cè)第9章軟 弱強(qiáng)語(yǔ)句覆每條語(yǔ)句至少執(zhí)行判定覆每一判定的每個(gè)分支至少執(zhí)行條件覆判定/條件覆同時(shí)滿足判定覆蓋和條件覆蓋的條件組合第9章軟 覆蓋

程序結(jié)構(gòu)T F

測(cè)試用例應(yīng)滿足的條語(yǔ)句覆判定

T F

第9章軟 覆蓋標(biāo)程序結(jié)構(gòu)測(cè)試用例應(yīng)滿足的條件B=T,判定/條件覆A=T,A=FB=T,條件組合A=TB=TA=TB=FA=FB=TA=FB=F第9章軟 4基本路徑控制結(jié)構(gòu)第9章軟 對(duì)于左蓋 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、

執(zhí)行語(yǔ)句塊 執(zhí)行語(yǔ)句塊執(zhí)行語(yǔ)句塊2執(zhí)行語(yǔ)句塊執(zhí)行語(yǔ)句塊3執(zhí)行語(yǔ)句塊出口第9章軟 基本路徑測(cè)程序中的每個(gè)條件至少被測(cè)試一第9章軟 前提測(cè)試以對(duì)程序路徑進(jìn)試。是分析實(shí)際的與預(yù)期的結(jié)第9章軟 第9章軟 流圖只有2圖中的每一個(gè)圓稱為流圖的結(jié)點(diǎn)，代表一條或多條語(yǔ)句流圖中的箭頭稱為邊或連接，代表控制流 if結(jié)

while結(jié) until結(jié)

case第9章軟 程序流程圖→控制流控制流第9章軟 如果判斷中的條件表達(dá)式是由一個(gè)或多個(gè)邏輯運(yùn)算符(OR,AND,NAND,NOR)連接的復(fù)合條件表達(dá)式，則需要改ifaorxy第9章軟 1

2263 4 4

8579857第9

獨(dú)立路徑：一條路徑，至少包含一條在定義該路徑之前不曾用過(guò)(至少引入程序的一個(gè)新處理語(yǔ)句集合或一個(gè)新條件)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

控制流 有以下三種方法計(jì)算環(huán)復(fù)雜流圖中區(qū)域的數(shù)量給定流圖G的圈復(fù)雜度V(G)，定義為V(G)=E-N+2，E是流圖中邊的數(shù)是流圖中結(jié)點(diǎn)的數(shù)量第9章軟 V(G)=10條邊-8結(jié)點(diǎn) V(G)=3個(gè)判定結(jié)點(diǎn)+1=46 11第章軟件通路。V(G)值正好等于該程序的獨(dú)立路徑的條 。–路徑1：4- –路徑2：4-6-7- 4 第章軟 第9章軟 路徑1：4-輸入數(shù)據(jù)：iRecordNum＝0，或者iRecordNum<0的某一個(gè)預(yù)期結(jié)果路徑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（個(gè)區(qū)域其中E為流圖中的邊數(shù)，N為結(jié)

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達(dá)不i開i開2和 Score[i]<>-1AND 5和

Score[i]>0AND

11

ii=i9average=–9average=–12

8路徑1(1-2-..-2-9-10-12)的測(cè)：score[i]=–1,

1iiScore[i]<>-1AND 期望結(jié)果：根據(jù)輸入的有效

Score[i]>0AND出正確的分?jǐn)?shù)個(gè)數(shù)n1、總分sum 平均分average8ii=i 第9

average=–12路徑2(1-2-9-11-12)的測(cè)試用例score[1]=-1持期望的結(jié)果：average=-1，其他持 路徑3(1-2-..-2-3-9-10-12)測(cè)試用例F輸入多于50個(gè)有效分?jǐn)?shù)，即試圖處理分?jǐn)?shù)，要求前51個(gè)為有效分?jǐn)?shù)期望結(jié)果：n1=50、且算出正確的總分

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

average=–12路徑4(1-2-3-4-5-8-2…)的測(cè)試用例score[i]=有效分?jǐn)?shù)，當(dāng)i k<i i期望結(jié)果：根據(jù)輸入的有效分?jǐn)?shù)算出的分?jǐn)?shù)個(gè)數(shù)n1、總分sum和平均 F

Score[i]<>-1AND

Score[i]>0ANDscore[i]=有效分?jǐn)?shù)，當(dāng)i<50； k<i；第9

8ii=i average=–average=–12路徑6(1-2-3-4-5-6-7-8-2…)測(cè)試score[i]=有效分?jǐn)?shù)，當(dāng)1ii 出正確的分?jǐn)?shù)個(gè)數(shù)n1、總分sum平均分average

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

average=–12若找到，則在index中記錄keyelemArray中出現(xiàn)的位置第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個(gè)區(qū)V(G)=3個(gè)判斷節(jié)點(diǎn)V(G)=11條邊-9個(gè)節(jié)點(diǎn)67

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

獨(dú)立路徑–路徑1：1-45–路徑2：1-456789–路徑3：1-456710115–路徑4：1-456710125測(cè)試用例index=index=輸入期望輸出1-232343421 bottombottom=開開

toptop=mid–第9章軟 使用路徑測(cè)試技術(shù)設(shè)計(jì)測(cè)試用例的步驟部分來(lái)進(jìn)試。第9章軟 第9章軟 邏輯測(cè)試通過(guò)檢查程序模塊中包含的邏輯條件 試用例設(shè)邏輯測(cè)試方法側(cè)重于測(cè)試程序中的每個(gè)條件以確