白盒測試的基本路徑測試法

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

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

3、。1、根據(jù)程序流程圖化成控制流圖在將程序流程圖簡化成控制流圖時，應(yīng)注意：1）在選擇或多分支結(jié)構(gòu)中，分支的匯聚處應(yīng)有一個匯聚結(jié)點。2） 邊和結(jié)點圈定的區(qū)域叫做區(qū)域，當(dāng)對區(qū)域計數(shù)時，圖形外的區(qū)域也應(yīng)記為一個區(qū)域。如下頁圖所示：如果判斷中的條件表達式是由一個或多個邏輯運算符 (OR, AND, NAND, NOR) 連接的復(fù)合條件表達式，則需要改為一系列只有單條件的嵌套的判斷。例如：1 if a or b2 x3 else4 y對應(yīng)的邏輯為：獨立路徑：至少沿一條新的邊移動的路徑2、實例說明基本路徑測試法的步驟：第一步：畫出控制流圖流程圖用來描述程序控制結(jié)構(gòu)。可將流程圖映射到一個相應(yīng)的流圖(假設(shè)流程圖

4、的菱形決定框中不包含復(fù)合條件)。在流圖中，每一個圓，稱為流圖的結(jié)點，代表一個或多個語句。一個處理方框序列和一個菱形決測框可被映射為一個結(jié)點，流圖中的箭頭，稱為邊或連接，代表控制流，類似于流程圖中的箭頭。一條邊必須終止于 一個結(jié)點，即使該結(jié)點并不代表任何語句(例如：if-else-then結(jié)構(gòu))。由邊和結(jié)點限定的范圍稱為區(qū)域。計算區(qū)域時應(yīng)包括圖外部的范圍。例如：用如下基本路徑測試法進行測試Void Sort(int iRecordNum, int iType) 1int x=0; 2Int y=0; 3while ( iRecordNum->0) 4 5 If(0=iType) 6x=y+

5、2;break; 7else 8if(1=iType) 9x=y+10; 10else 11x=y+20; 12 13 14畫出其程序流程圖和對應(yīng)的控制流圖如下：第二步：計算圈復(fù)雜度圈復(fù)雜度是一種為程序邏輯復(fù)雜性提供定量測度的軟件度量，將該度量用于計算程序的基本的獨立路徑數(shù)目，為確保所有語句至少執(zhí)行一次的測試數(shù)量的上界。獨立路徑必須包含一條在定義之前不曾用到的邊。有以下三種方法計算圈復(fù)雜度：A 流圖中區(qū)域的數(shù)量對應(yīng)于環(huán)型的復(fù)雜性;B給定流圖G的圈復(fù)雜度V(G)，定義為V(G)=E-N+2，E是流圖中邊的數(shù)量，N是流圖 中結(jié)點的數(shù)量;C 給定流圖G的圈復(fù)雜度V(G)，定義為V(G)=P+1，P是

6、流圖G中判定結(jié)點的數(shù)量。第三步：導(dǎo)出測試用例根據(jù)上面的計算方法，可得出四個獨立的路徑。(一條獨立路徑是指，和其他的獨立路徑相比，至少引入一個新處理語句或一個新判斷的程序通路。V(G)值正好等于該程序的獨立路徑的條數(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ù)上面的獨立路徑，去設(shè)計輸入數(shù)據(jù)，使程序分別執(zhí)行到上面四條路徑。第四步：準(zhǔn)備測試用例為了確保基本路徑集中的每一條路徑的執(zhí)行，根據(jù)判斷結(jié)點給出的條件，選擇適當(dāng)?shù)臄?shù)據(jù)以保證某一條路徑可以被測試到，滿足上面例子基本路徑集的測試用例是：路徑1: 4-14輸入數(shù)據(jù)：iRecordNum=0，或者取iRecordNum<0的某一個值預(yù)期結(jié)果：x=0路徑2: 4-6-7-14輸入數(shù)據(jù)：iRecordNum=1，iType=0預(yù)期結(jié)果：x=2路徑3 : 4-6-8-10-13-4