邊界值分析：通過分析，考慮如何確立邊界情況
錯誤推測法：靠經驗和直覺來推測程序中可能存在的各種錯誤，從而有針對性地編寫用例�？梢粤信e出可能的錯誤和可能發生錯誤的地方，然后選擇用例。
因果圖：通過畫因果圖，在圖上標明約束和限制，轉換成判定表，然后設計測試用例。這適合于檢查程序輸入條件的各種組合情況。
功能圖FD：通過形式化地表示程序的功能說明，并機械地生成功能圖的測試用例。
白盒測試用例設計包括：
1 邏輯覆蓋，以程序內在邏輯結構為基礎的測試，包括以下5種類型：
1.1 語句覆蓋：每一條可執行語句至少覆蓋一次；
1.2 判定覆蓋（分支覆蓋）：設計若干個測試用例，運行所測程序，使程序中每個判斷的取真分支和取假分支至少執行一次；
1.3 條件覆蓋：設計足夠多的測試用例，運行所測程序，使程序中每個判斷的每個條件的每個可能取值至少執行一次；
1.4 判定-條件覆蓋：設計足夠多的測試用例，運行所測程序，使程序中每個判斷的每個條件的所有可能取值至少執行一次，并且每個可能的判斷結果也至少執行一次；
1.5 條件組合測試：設計足夠多的測試用例，運行所測程序，使程序中每個判斷的所有可能的條件取值至少執行一次；
1.6 路徑測試：設計足夠多的測試用例，運行所測程序，要覆蓋程序中所有可能的路徑。
2 基本路徑測試
在程序控制流圖的基礎上，通過分析控制構造的環路復雜性，導出基本可執行路徑集合，從而設計測試用例。包括以下5個方面：
2.1 程序的控制流圖：描述程序控制流的一種圖示方法。
延伸閱讀
文章來源于領測軟件測試網 http://www.kjueaiud.com/
