又稱快速原型模型,它是在開發(fā)真實系統(tǒng)之前,構(gòu)造一個原型,在該原型的基礎(chǔ)上,逐漸完成整個系統(tǒng)的開發(fā)工作。
是指設(shè)計足夠的測試用例,使得判定表達(dá)式中每個條件的各種可能的值至少出現(xiàn)一次。滿足條件覆蓋并不一定滿足判定覆蓋。