isp 所有 結構 執行 出現 得出 所有組 條件組合覆蓋 全部

一、概述
白盒測試也稱結構測試或邏輯驅動測試，它是按照程序內部的結構測試程序，通過測試來檢測產品內部動作是否按照設計規格說明書的規定正常進行，檢驗程序中的每條通路是否都能按預定要求正確工作。 這一方法是把測試對象看作一個打開的盒子，測試人員依據程序內部邏輯結構相關信息，設計或選擇測試用例，對程序所有邏輯路徑進行測試，通過在不同點檢查程序的狀態，確定實際的狀態是否與預期的狀態一致。
白盒測試又稱結構測試、透明盒測試、邏輯驅動測試或基於代碼的測試。白盒測試是一種測試用例的設計方法，盒子對應的是被測試的測試，"白盒"法全面了解程序內部邏輯結構、對所有邏輯路徑進行測試。"白盒"法是窮舉路徑測試。測試者必須檢查程序的內部結構，從檢查程序的邏輯著手，得出測試數據。

二、基本方法

• 強度由低到高:語句覆蓋、判定覆蓋、條件覆蓋、判定條件覆蓋、條件組合覆蓋、路徑覆蓋。
• 語句覆蓋：就是設計若幹個測試用例，運行被測程序，使得每一可執行語句至少執行一次。
• 判定覆蓋：使設計的測試用例保證程序中每個判斷的每個取值分支至少經歷一次。
• 條件覆蓋：條件覆蓋是指選擇足夠的測試用例，使得運行這些測試用例時，判定中每個條件的所有可能結果至少出現一次，但未必能覆蓋全部分支
• 判定條件覆蓋：判定-條件覆蓋就是設計足夠的測試用例，使得判斷中每個條件的所有可能取值至少執行一次，同時每個判斷的所有可能判斷結果至少執行，即要求各個判斷的所有可能的條件取值組合至少執行一次。
• 條件組合覆蓋：在白盒測試法中，選擇足夠的測試用例，使所有判定中各條件判斷結果的所有組合至少出現一次，滿足這種覆蓋標準成為條件組合覆蓋。
• 路徑覆蓋：是每條可能執行到的路徑至少執行一次。

軟件測試 · 白盒測試