（1）等價類劃分。等價類劃分是一種典型的黑盒測試方法，使用這一方法時，完全不考慮程序的內部結構，只依據程序的規(guī)格說明來設計測試用例。該方法把所有可能的輸入數據即程序的輸入域劃分為若干個部分，然后從每一部分中選取少數有代表性的數據作為測試用例。

（2）邊界值分析。邊界值分析也是一種黑盒測試方法，是對等價類劃分方法的補充。人們從長期的測試工作經驗得知，大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上，而不是在輸入范圍的內部。因此針對各種邊界情況設計測試用例，可以查出更多的錯誤。使用邊界值方法設計測試用例，應當選取正好等于、剛剛大于或剛剛小于邊界的值作為測試數據。邊界值分析方法選擇測試用例的原則在很多方面與等價類劃分方法類似。

（3）錯誤推測法。人們也可以靠經驗和直覺推測程序中可能存在的各種錯誤，從而有針對性地編寫檢查這些錯誤的例子。其基本思想是：列舉出程序中所有可能有的錯誤和容易發(fā)生錯誤的特殊情況，根據它們選擇測試用例。

（4）因果圖。如果在測試時必須考慮輸入條件的各種組合，可使用一種適于描述多種條件的組合，相應產生多個動作的形式來設計測試用例，這就需要利用因果圖。這種方法最終生成的就是判定表。它適合于檢查程序輸入條件的各種組合情況。

（5）功能圖。它用功能圖FD（Functional Diagram）形式化地表示程序的功能說明，并機械地生成功能圖的測試用例。功能圖模型由狀態(tài)遷移圖和邏輯功能模型構成，狀態(tài)遷移圖用于表示輸入數據序列以及相應的輸出數據，在狀態(tài)遷移圖中，由輸入數據和當前狀態(tài)決定輸出數據和后續(xù)狀態(tài)。邏輯功能模型用于表示在狀態(tài)中輸入條件與輸出條件之間的對應關系。測試用例則是由測試中經過的一系列狀態(tài)和在每個狀態(tài)中必須輸入/輸出數據滿足的一對條件組成。

2．白盒測試 白盒測試把測試對象看做一個透明的盒子，它允許測試人員利用程序內部的邏輯結構和有關信息，設計或選擇測試用例，對程序所有邏輯路徑進行測試。通過在不同點檢查程序的狀態(tài)，確定實際的狀態(tài)是否與預期的狀態(tài)一致，又稱為結構測試或邏輯驅動測試。 白盒測試主要對程序模塊進行如下檢查：

·對程序模塊的所有獨立的執(zhí)行路徑至少測試一次； ．對所有的邏輯判定，取“真”與取“假”的兩種情況都至少測試一次； ．在循環(huán)的邊界和運行界限內執(zhí)行循環(huán)體； ．測試內部數據結構的有效性等。

邏輯覆蓋 邏輯覆蓋是以程序內部的邏輯結構為基礎的設計用例的技術。它屬白盒測試，包括語句覆蓋、判定覆蓋、條件覆蓋、判定一條件覆蓋、條件組合覆蓋、路徑覆蓋等。

·語句覆蓋：就是設計若干個測試用例，運行被測程序，使每一可執(zhí)行語句至少執(zhí)行一次。

·判定覆蓋：設計若干個測試用例，運行被測程序，使程序中每個判斷的取真分支和取假分支至少經歷一次，又稱為分支覆蓋。

·條件覆蓋：設計若干個測試用例，運行被測程序，使程序中每個判斷的每個條件的可能取值至少執(zhí)行一次。

·判定一條件覆蓋：設計足夠的測試用例，使判斷中每個條件的所有可能取值至少執(zhí)行一次，每個判斷中的每個條件的可能取值至少執(zhí)行一次。

·條件組合覆蓋：設計足夠的測試用例，運行被測程序，使每個判斷的所有可能的條件取值組合至少執(zhí)行一次。

·路徑覆蓋：設計足夠的測試用例，覆蓋程序中所有可能的路徑。

3．α測試和β測試 在軟件交付使用之后，用戶將如何實際使用程序，對于開發(fā)者來說是不知道的。通常在軟件發(fā)布上市之前需要進行α測試和β測試。 α測試是由一個用戶在開發(fā)環(huán)境下進行的測試，也可以是公司內部的用戶在模擬實際操作環(huán)境下進行的測試。α測試的目的是評價軟件產品的FLURPS（功能、局域化、可使用性、可靠性、性能和支持）。尤其注重產品的界面和特色。 α測試可以從軟件產品編碼結束之時開始，或者在模塊（子系統(tǒng)）測試完成之后開始，也可以在確認測試過程中產品達到一定的穩(wěn)定和可靠程度之后再開始。 β測試是由軟件的多個用戶在實際使用環(huán)境下進行的測試。