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

-.z.白盒測試的根本路徑測試法一、白盒測試的主要測試方法1、代碼檢查法2、靜態(tài)構造分析法3、靜態(tài)質量度量法4、邏輯覆蓋法5、根本路徑測試法〔應用最廣泛〕6、域測試7、符號測試8、Z路徑覆蓋9、程序變異二、根本路徑測試法1、定義：根本路徑測試法是在程序控制流圖的根底上，通過分析控制構造的環(huán)路復雜性，導出根本可執(zhí)行路徑集合，從而設計測試用例的方法。設計出的測試用例要保證在測試中程序的每個可執(zhí)行語句至少執(zhí)行一次。2、根本路徑測試法的根本步驟1)程序的控制流圖：描述程序控制流的一種圖示方法。2〕程序圈復雜度：McCabe復雜性度量。從程序的環(huán)路復雜性可導出程序根本路徑集合中的獨立路徑條數，這是確定程序中每個可執(zhí)行語句至少執(zhí)行一次所必須的測試用例數目的上界。3〕導出測試用例：根據圈復雜度和程序構造設計用例數據輸入和預期結果。4〕準備測試用例：確保根本路徑集中的每一條路徑的執(zhí)行。3、根本路徑測試法的工具方法1〕圖形矩陣：是在根本路徑測試中起輔助作用的軟件工具，利用它可以實現自動地確定一個根本路徑集。三、程序的控制流圖控制流程圖是描述程序控制流的一種圖示方法。圓圈稱為控制流圖的一個結點，表示一個或多個無分支的語句或源程序語句流圖只有二種圖形符號：圖中的每一個圓稱為流圖的結點，代表一條或多條語句。流圖中的箭頭稱為邊或連接，代表控制流。任何過程設計都要被翻譯成控制流圖。1、根據程序流程圖化成控制流圖在將程序流程圖簡化成控制流圖時，應注意：1〕在選擇或多分支構造中，分支的會聚處應有一個會聚結點。2〕邊和結點圈定的區(qū)域叫做區(qū)域，當對區(qū)域計數時，圖形外的區(qū)域也應記為一個區(qū)域。如下頁圖所示：如果判斷中的條件表達式是由一個或多個邏輯運算符(OR,AND,NAND,NOR)連接的復合條件表達式，則需要改為一系列只有單條件的嵌套的判斷。例如：1ifaorb

2*

3else

4y對應的邏輯為：獨立路徑：至少沿一條新的邊移動的路徑2、實例說明根本路徑測試法的步驟：第一步：畫出控制流圖流程圖用來描述程序控制構造?？蓪⒘鞒虉D映射到一個相應的流圖(假設流程圖的菱形決定框中不包含復合條件)。在流圖中，每一個圓，稱為流圖的結點，代表一個或多個語句。一個處理方框序列和一個菱形決測框可被映射為一個結點，流圖中的箭頭，稱為邊或連接，代表控制流，類似于流程圖中的箭頭。一條邊必須終止于一個結點，即使該結點并不代表任何語句(例如：if-else-then構造)。由邊和結點限定的范圍稱為區(qū)域。計算區(qū)域時應包括圖外部的范圍。例如：用如下根本路徑測試法進展測試VoidSort(intiRecordNum,intiType){1int*=0;2Inty=0;3while(iRecordNum-->0)4{5If(0==iType)6{*=y+2;break;}7else8if(1==iType)9*=y+10;10else11*=y+20;12}13}14畫出其程序流程圖和對應的控制流圖如下：第二步：計算圈復雜度圈復雜度是一種為程序邏輯復雜性提供定量測度的軟件度量，將該度量用于計算程序的根本的獨立路徑數目，為確保所有語句至少執(zhí)行一次的測試數量的上界。獨立路徑必須包含一條在定義之前不曾用到的邊。有以下三種方法計算圈復雜度：A流圖中區(qū)域的數量對應于環(huán)型的復雜性;

B給定流圖G的圈復雜度V(G)，定義為V(G)=E-N+2，E是流圖中邊的數量，N是流圖中結點的數量;

C給定流圖G的圈復雜度V(G)，定義為V(G)=P+1，P是流圖G中判定結點的數量。第三步：導出測試用例根據上面的計算方法，可得出四個獨立的路徑。(一條獨立路徑是指，和其他的獨立路徑相比，至少引入一個新處理語句或一個新判斷的程序通路。V(G)值正好等于該程序的獨立路徑的條數。路徑1：4-14路徑2：4-6-7-14路徑3：4-6-8-10-13-4-14路徑4：4-6-8-11-13-4-14根據上面的獨立路徑，去設計輸入數據，使程序分別執(zhí)行到上面四條路徑。第四步：準備測試用例為了確保根本路徑集中的每一條路徑的執(zhí)行，根據判斷結點給出的條件，選擇適當的數據以保證*一條路徑可以被測試到，滿足上面例子根本路徑集的測試用例是：路徑1:4-14輸入數據：iRecordNum=0，或者取iRecordNum<0的*一個值預期結果：*=0路徑2:4-6-7-14輸入數據：iR