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

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

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

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

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

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

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

邏輯覆蓋 邏輯覆蓋是以程序內(nèi)部的邏輯結(jié)構(gòu)為基礎(chǔ)的設(shè)計用例的技術(shù)。它屬白盒測試，包括語句覆蓋、判定覆蓋、條件覆蓋、判定一條件覆蓋、條件組合覆蓋、路徑覆蓋等。

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

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

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

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

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

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

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