（1）等價(jià)類劃分法

等價(jià)類是指某個(gè)輸入域的子集合。在該子集合中，各個(gè)輸入數(shù)據(jù)對(duì)于揭露程序中的錯(cuò)誤都是等效的，并合理地假定：測(cè)試某等價(jià)類的代表值就等于對(duì)這一類其他值的測(cè)試，因此，可以把全部輸入數(shù)據(jù)合理劃分為若干等價(jià)類。在每一個(gè)等價(jià)類中取一個(gè)數(shù)據(jù)作為測(cè)試的輸入條件，就可以用少量代表性的測(cè)試數(shù)據(jù)取得較好的測(cè)試結(jié)果。等價(jià)類劃分可有兩種不同的情況：有效等價(jià)類和無(wú)效等價(jià)類。

（2）邊界值分析法

邊界值分析是對(duì)等價(jià)類劃分法的補(bǔ)充。根據(jù)測(cè)試工作經(jīng)驗(yàn)，大量的錯(cuò)誤是發(fā)生在輸入范圍的邊界上，而不是發(fā)生在輸入輸出范圍的內(nèi)部。因此針對(duì)各種邊界情況設(shè)計(jì)測(cè)試用例，可以查出更多的錯(cuò)誤。使用邊界值分析方法設(shè)計(jì)測(cè)試用例，首先應(yīng)確定邊界情況。通常輸入和輸出等價(jià)類的邊界，就是應(yīng)著重測(cè)試的邊界情況。應(yīng)當(dāng)選取正好等于、剛剛大于或剛剛小于邊界的值作為測(cè)試數(shù)據(jù)，而不是選取等價(jià)類中的典型值或任意值以為測(cè)試數(shù)據(jù)。

（3）錯(cuò)誤推測(cè)法

錯(cuò)誤指測(cè)法是基于經(jīng)驗(yàn)和直接推測(cè)程序中所有可能存在的各種錯(cuò)誤，從而有針對(duì)性地設(shè)計(jì)測(cè)試用例的方法，錯(cuò)誤推測(cè)法的基本思想：列舉出程序中所有可能有的錯(cuò)誤和容易發(fā)生錯(cuò)誤的特殊情況，根據(jù)它們選擇測(cè)試用例，例如，在單元測(cè)試時(shí)曾列出的許多在模塊中常見(jiàn)的錯(cuò)誤，以前產(chǎn)品測(cè)試中曾經(jīng)發(fā)現(xiàn)的錯(cuò)誤等，這些就是經(jīng)驗(yàn)的總結(jié)。還有，輸入數(shù)據(jù)和輸出數(shù)據(jù)為0的情況，輸入表格為空格或輸入表格只有一行，這些都是容易發(fā)生錯(cuò)誤的情況，可選擇這些情況下的例子作為測(cè)試用例。

（4）因果圖法

前面介紹的等價(jià)類劃分法和邊界值分析法，都是著重考慮輸入條件，但未考慮輸入條件之間的聯(lián)系、相互組合等。考慮輸入條件之間的相互組合，可能會(huì)產(chǎn)生一些新的情況。但要檢查輸入條件的組合不是一件容易的事情，即使把所有輸入條件劃分成等價(jià)類，它們之間的組合情況也相當(dāng)多。因此必須考慮采用一種適合于描述對(duì)于多種條件的組合，相應(yīng)產(chǎn)生多個(gè)動(dòng)作的形式來(lái)考慮設(shè)計(jì)測(cè)試用例。這就需要利用因果圖（邏輯模型）。因果圖法最終生成的就是判定表。它適合于檢查程序輸入條件的各種組合情況。