軟體測試要學什麼（2）白盒測試詳解教程

　　白盒測試,又稱結構測試、透明盒測試、邏輯驅動測試或基於程式碼的測試。白盒測試是一種測試用例設計方法，盒子指的是被測試的軟體，白盒指的是盒子是可視的，你清楚盒子內部的東西以及裡面是如何運作的。"白盒"法全面瞭解程式內部邏輯結構、對所有邏輯路徑進行測試。"白盒"法是窮舉路徑測試。在使用這一方案時，測試者必須檢查程式的內部結構，從檢查程式的邏輯著手，得出測試資料。貫穿程式的獨立路徑數是天文數字。

　　採用什麼方法對軟體進行測試呢?常用的軟體測試方法有兩大類：靜態測試方法和動態測試方法。其中軟體的靜態測試不要求在計算機上實際執行所測程式，主要以一些人工的模擬技術對軟體進行分析和測試;而軟體的動態測試是透過輸入一組預先按照一定的測試準則構造的例項資料來動態執行程式，而達到發現程式錯誤的過程。在動態分析技術中,最重要的技術是路徑和分支測試。下面要介紹的六種覆蓋測試方法屬於動態分析方法。

　　 測試方法

　　白盒測試的測試方法有程式碼檢查法、靜態結構分析法、靜態質量度量法、邏輯覆蓋法、基本路徑測試法、域測試、符號測試、路徑覆蓋和程式變異。

　　白盒測試法的覆蓋標準有邏輯覆蓋、迴圈覆蓋和基本路徑測試。其中邏輯覆蓋包括語句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、條件組合覆蓋和路徑覆蓋。六種覆蓋標準發現錯誤的能力呈由弱到強的變化：

　　1.語句覆蓋每條語句至少執行一次。

　　2.判定覆蓋每個判定的每個分支至少執行一次。

　　3.條件覆蓋每個判定的每個條件應取到各種可能的值。

　　4.判定/條件覆蓋同時滿足判定覆蓋條件覆蓋。

　　5.條件組合覆蓋每個判定中各條件的每一種組合至少出現一次。

　　6.路徑覆蓋使程式中每一條可能的路徑至少執行一次。

　　 要求

　　1.保證一個模組中的所有獨立路徑至少被使用一次。

　　2.對所有邏輯值均需測試 true 和 false。

　　3.在上下邊界及可操作範圍內執行所有迴圈。

　　4.檢查內部資料結構以確保其有效性。

　　 目的

　　透過檢查軟體內部的邏輯結構，對軟體中的邏輯路徑進行覆蓋測試;在程式不同地方設立檢查點，檢查程式的狀態，以確定實際執行狀態與預期狀態是否一致。

　　 特點

　　依據軟體設計說明書進行測試、對程式內部細節的嚴密檢驗、針對特定條件設計測試用例、對軟體的邏輯路徑進行覆蓋測試。