1.邊界值測試
經實踐總結：大量的軟件缺陷發生在輸入域和輸出域的邊界上。所以在設計測試用例的時候，應該重視邊界。
2.等價類劃分
要做到窮盡測試是不可能的，所以在設計測試用例時往往要先劃分等價類再選取“人大代表”。
劃分的子集應該滿足如下因素：
（1）每個子集內部所有的數據都是等價的
（2）子集之間互不相交
（3）所有子集的并集是整個輸入域或輸出域
PS:
（1）【有效等價類】是相對于規格說明合理的、正確的、有意義的輸入數據構成的集合。
（2）【無效等價類】是相對于規格說明不合理的、錯誤的、無意義的輸入數據構成的集合。
3.因果圖
前面介紹的等價類劃分方法和邊界值分析方法,都是著重考慮輸入條件,但未考慮輸入條件之間的聯系, 相互組合等. 考慮輸入條件之間的相互組合,可能會產生一些新的情況. 但要檢查輸入條件的組合不是一件容易的事情, 即使把所有輸入條件劃分成等價類,他們之間的組合情況也相當多. 因此必須考慮采用一種適合于描述對于多種條件的組合,相應產生多個動作的形式來考慮設計測試用例. 這就需要利用因果圖（邏輯模型）. 因果圖方法最終生成的就是判定表. 它適合于檢查程序輸入條件的各種組合情況.
4.錯誤推測法
基于經驗和直覺推測程序中所有可能存在的各種錯誤, 從而有針對性的設計測試用例的方法.
錯誤推測方法的基本思想: 列舉出程序中所有可能有的錯誤和容易發生錯誤的特殊情況,根據他們選擇測試用例.
