A.若某個輸入條件說明了一個必須成立的情況,則可劃分為一個有效等價類和一個無效等價類
B.若某個輸入條件對取值范圍或值的個數(shù)進(jìn)行了規(guī)定,則可確定兩個有效等價類和一個無效等價類
C.若已劃分的某等價類中的各元素在程序中處理方式不同,則應(yīng)當(dāng)將此等價類進(jìn)一步劃分成更小的等價類
D.如果輸入條件是一個布爾量,則可以確定一個有效等價類和一個無效等價類
A.代碼審查
B.代碼走查
C.靜態(tài)分析
D.語句覆蓋