A.若某個(gè)輸入條件說(shuō)明了一個(gè)必須成立的情況，則可劃分為一個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類
B.若某個(gè)輸入條件對(duì)取值范圍或值的個(gè)數(shù)進(jìn)行了規(guī)定，則可確定兩個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類
C.若已劃分的某等價(jià)類中的各元素在程序中處理方式不同，則應(yīng)當(dāng)將此等價(jià)類進(jìn)一步劃分成更小的等價(jià)類
D.如果輸入條件是一個(gè)布爾量，則可以確定一個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類

A.代碼審查
B.代碼走查
C.靜態(tài)分析
D.語(yǔ)句覆蓋