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

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

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

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

（5）功能圖。它用功能圖FD（Functional Diagram）形式化地表示程序的功能說明，并機(jī)械地生成功能圖的測(cè)試用例。功能圖模型由狀態(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)中輸入條件與輸出條件之間的對(duì)應(yīng)關(guān)系。測(cè)試用例則是由測(cè)試中經(jīng)過的一系列狀態(tài)和在每個(gè)狀態(tài)中必須輸入/輸出數(shù)據(jù)滿足的一對(duì)條件組成。

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

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

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

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

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

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

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

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

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

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