1、白盒測試白盒測試的測試方法有 代碼檢查法、靜態結構分析法、靜態質量度量法、邏輯覆蓋法、基本路徑測試法、域測試、符號測試、Z路徑覆蓋、程序變異。其中運用最為廣泛的是基本路徑測試法。基本路徑測試是一種白盒測試方法，它在程序控制圖的基礎上，通過分析控制構造的環行復雜性，導出基本可執行路徑集合，從而設計測試用例的方法。設計出的測試用例要保證在測試中程序的每一個可執行語句至少執行一次。1. 畫出程序的控制流圖 2. 計算程序圈復雜度 3. 導出測試用例 4. 準備測試用例第一步：畫出控制流圖流程圖用來描述程序控制結構。可將流程圖映射到一個相應的流圖(假設流程圖的菱形決定框中不包含復合條件)。在流圖中，每

2、一個圓，稱為流圖的結點，代表一個或多個語句。一個處理方框序列和一個菱形決測框可被映射為一個結點，流圖中的箭頭，稱為邊或連接，代表控制流，類似于流程圖中的箭頭。一條邊必須終止于一個結點，即使該結點并不代表任何語句(例如：if-else-then結構)。由邊和結點限定的范圍稱為區域。計算區域時應包括圖外部的范圍。第二步：計算圈復雜度圈復雜度是一種為程序邏輯復雜性提供定量測度的軟件度量，將該度量用于計算程序的基本的獨立路徑數目，為確保所有語句至少執行一次的測試數量的上界。獨立路徑必須包含一條在定義之前不曾用到的邊。有以下三種方法計算圈復雜度：流圖中區域的數量對應于環型的復雜性;給定流圖G的圈復雜度V

3、(G)，定義為V(G)=E-N+2，E是流圖中邊的數量，N是流圖中結點的數量;給定流圖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根據上面的獨立路徑，去設計輸入數據，使程序分別執行到上面四條路徑。第四步：準備測試用例為了確保基本路徑集中的每一條路徑

4、的執行，根據判斷結點給出的條件，選擇適當的數據以保證某一條路徑可以被測試到，滿足上面例子基本路徑集的測試用例是：例：右例程序流程圖描述了最多輸入50個值(以1作為輸入結束標志)，計算其中有效的學生分數的個數、總分數和平均值。1)V(G)= 6 (個區域)2)V(G)=EN+2=1612+2=6其中E為流圖中的邊數，N為結點數;3)V(G)=P+1=5+1=6其中P為謂詞結點的個數。在流圖中，結點2、3、5、6、9是謂詞結點。路徑1：1-2-9-10-12路徑2：1-2-9-11-12路徑3：1-2-3-9-10-12路徑4：1-2-3-4-5-8-2路徑5：1-2-3-4-5-6-8-2路徑6

5、：1-2-3-4-5-6-7-8-21)路徑1(1-2-9-10-12)的測試用例：scorek=有效分數值，當k i ;scorei=1, 2i50;期望結果：根據輸入的有效分數算出正確的分數個數n1、總分sum和平均分average。2)路徑2(1-2-9-11-12)的測試用例：score 1 = 1 ;期望的結果：average = 1 ，其他量保持初值。3)路徑3(1-2-3-9-10-12)的測試用例：輸入多于50個有效分數，即試圖處理51個分數，要求前51個為有效分數;期望結果：n1=50、且算出正確的總分和平均分。4)路徑4(1-2-3-4-5-8-2)的測試用例：scorei=有效分數，當i50;scorek0， k i ;期望結果：根據輸入的有效分數算出正確的分數個數n1、總分sum和平均分average。圖形矩陣控制流圖圖形矩陣：是在基本路徑測試中起輔助作用的軟件工具，利用它可以實現自動地確定一個基本路徑集。程序的控制流圖：描述程序控制流的一