白盒測(cè)試的基本路徑測(cè)試法

1、白盒測(cè)試的基本路徑測(cè)試法一、白盒測(cè)試的主要測(cè)試方法1、代碼檢查法 2、靜態(tài)結(jié)構(gòu)分析法 3、靜態(tài)質(zhì)量度量法 4、邏輯覆蓋法 5、基本路徑測(cè) 試法(應(yīng)用最廣泛) 6、域測(cè)試 7、符號(hào)測(cè)試 8、Z 路徑覆蓋 9、程序變異二、基本路徑測(cè)試法1、定義：基本路徑測(cè)試法是在程序控制流圖的基礎(chǔ)上，通過(guò)分析控制構(gòu)造的環(huán)路復(fù)雜 性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計(jì)測(cè)試用例的方法。 設(shè)計(jì)出的測(cè)試用例要保證在測(cè)試中程序的每個(gè)可執(zhí)行語(yǔ)句至少執(zhí)行一次。2、基本路徑測(cè)試法的基本步驟1) 程序的控制流圖：描述程序控制流的一種圖示方法。2) 程序圈復(fù)雜度： McCabe 復(fù)雜性度量。從程序的環(huán)路復(fù)雜性可導(dǎo)出程序基本路 徑集合中

2、的獨(dú)立路徑條數(shù)， 這是確定程序中每個(gè)可執(zhí)行語(yǔ)句至少執(zhí)行一次所必須的測(cè)試 用例數(shù)目的上界。3) 導(dǎo)出測(cè)試用例：根據(jù)圈復(fù)雜度和程序結(jié)構(gòu)設(shè)計(jì)用例數(shù)據(jù)輸入和預(yù)期結(jié)果。4) 準(zhǔn)備測(cè)試用例：確?；韭窂郊械拿恳粭l路徑的執(zhí)行。3、基本路徑測(cè)試法的工具方法1) 圖形矩陣： 是在基本路徑測(cè)試中起輔助作用的軟件工具， 利用它可以實(shí)現(xiàn)自動(dòng) 地確定一個(gè)基本路徑集。三、程序的控制流圖控制流程圖是描述程序控制流的一種圖示方法。 圓圈稱為控制流圖的一個(gè)結(jié)點(diǎn)， 表示一 個(gè)或多個(gè)無(wú)分支的語(yǔ)句或源程序語(yǔ)句流圖只有二種圖形符號(hào)： 圖中的每一個(gè)圓稱為流圖的結(jié) 點(diǎn)，代表一條或多條語(yǔ)句。流圖中的箭頭稱為邊或連接， 代表控制流。 任何過(guò)

3、程設(shè)計(jì)都要被 翻譯成控制流圖。載庠純構(gòu)IF選擇結(jié)豹-Wh業(yè)布環(huán)純構(gòu)*CAEE事另空站構(gòu).Until循環(huán)結(jié)枸1根據(jù)程序流程圖化成控制流圖在將程序流程圖簡(jiǎn)化成控制流圖時(shí)，應(yīng)注意：1) 在選擇或多分支結(jié)構(gòu)中，分支的匯聚處應(yīng)有一個(gè)匯聚結(jié)點(diǎn)。2) 邊和結(jié)點(diǎn)圈定的區(qū)域叫做區(qū)域，當(dāng)對(duì)區(qū)域計(jì)數(shù)時(shí)，圖形外的區(qū)域也應(yīng)記為一個(gè)區(qū)域。如下頁(yè)圖所示：如果判斷中的條件表達(dá)式是由一個(gè)或多個(gè)邏輯運(yùn)算符(OR, AND, NAND, NOR)連接的復(fù)合條件表達(dá)式，則需要改為一系列只有單條件的嵌套的判斷。例如：1 if a or b3 else對(duì)應(yīng)的邏輯為:獨(dú)立路徑：至少沿一條新的邊移動(dòng)的路徑胳徑1： 1T2路徑 2, 1-2-

4、3-4-5-101-11*Fbi - Ibiwwi ir i路徑 31mi *路徑虹 1-2-3-6-7-9-10-1-1L對(duì)以上路徑的遍歷就 是至少一次地執(zhí)行了 程序中的所有語(yǔ)句2、實(shí)例說(shuō)明基本路徑測(cè)試法的步驟：第一步：畫(huà)出控制流圖流程圖用來(lái)描述程序控制結(jié)構(gòu)。可將流程圖映射到一個(gè)相應(yīng)的流圖（假設(shè)流程圖的菱形決定框中不包含復(fù)合條件）。在流圖中，每一個(gè)圓，稱為流圖的結(jié)點(diǎn)，代表一個(gè)或多個(gè)語(yǔ)句。 一個(gè)處理方框序列和一個(gè)菱形決測(cè)框可被映射為一個(gè)結(jié)點(diǎn)，流圖中的箭頭，稱為邊或連接， 代表控制流，類似于流程圖中的箭頭。一條邊必須終止于一個(gè)結(jié)點(diǎn)，即使該結(jié)點(diǎn)并不代表任何語(yǔ)句（例如：if-else-then結(jié)構(gòu)）

5、。由邊和結(jié)點(diǎn)限定的范圍稱為區(qū)域。計(jì)算區(qū)域時(shí)應(yīng)包括圖 外部的范圍。例如：用如下基本路徑測(cè)試法進(jìn)行測(cè)試Void Sort(int iRecordNum, int iType)1int x=0;2Int y=0;3while ( iRecordNum-0)45If(0=iType)6x=y+2;break;7else8if(1=iType)9x=y+10;10else11x=y+20;121314畫(huà)出其程序流程圖和對(duì)應(yīng)的控制流圖如下：第二步：計(jì)算圈復(fù)雜度將該度量用于計(jì)算程序的圈復(fù)雜度是一種為程序邏輯復(fù)雜性提供定量測(cè)度的軟件度量, 基本的獨(dú)立路徑數(shù)目， 為確保所有語(yǔ)句至少執(zhí)行一次的測(cè)試數(shù)量的上界。 獨(dú)

6、立路徑必須包含 一條在定義之前不曾用到的邊。有以下三種方法計(jì)算圈復(fù)雜度：A 流圖中區(qū)域的數(shù)量對(duì)應(yīng)于環(huán)型的復(fù)雜性 ;B給定流圖G的圈復(fù)雜度V(G),定義為V(G)=E-N+2, E是流圖中邊的數(shù)量，N是流圖 中結(jié)點(diǎn)的數(shù)量 ;C給定流圖G的圈復(fù)雜度V(G),定義為V(G)=P+1, P是流圖G中判定結(jié)點(diǎn)的數(shù)量。 第三步：導(dǎo)出測(cè)試用例根據(jù)上面的計(jì)算方法，可得出四個(gè)獨(dú)立的路徑。(一條獨(dú)立路徑是指，和其他的獨(dú)立路徑相比，至少引入一個(gè)新處理語(yǔ)句或一個(gè)新判斷的程序通路。V(G)值正好等于該程序的獨(dú)立路徑的條數(shù)。路徑 1 ：4-14路徑 2：4-6-7-14路徑 3 ：4-6-8-10-13-4-14路徑 4：4-6-8-11-13-4-14 根據(jù)上面的獨(dú)立路徑，去設(shè)計(jì)輸入數(shù)據(jù)，使程序分別執(zhí)行到上面四條路徑。第四步：準(zhǔn)備測(cè)試用例為了確?；韭窂郊械拿恳粭l路徑的執(zhí)行， 根據(jù)判斷結(jié)點(diǎn)給出的條件， 選擇適當(dāng)?shù)臄?shù) 據(jù)以保證某一條路徑可以被測(cè)試到，滿足上面例子基本路徑集的測(cè)試用例是：路徑 1:4-14輸入數(shù)據(jù)：iRecordNum=0，或者取 iRecordNum0 的某一個(gè)值預(yù)期結(jié)果：x=0路徑 2:4-6-7-14輸入數(shù)據(jù)：iRecordNum=1 ， iType=0預(yù)期結(jié)果：x=2路徑 3 :4-6