填空題對(duì)軟件正確性的描述可以劃分為6種不同的情況分別為：程序編寫得無語法錯(cuò)誤、程序運(yùn)行中未發(fā)現(xiàn)明顯的運(yùn)行錯(cuò)誤、程序中無不適當(dāng)語句、程序運(yùn)行中能通過典型的有效測(cè)試數(shù)據(jù)，而得到正確的預(yù)期效果、程序運(yùn)行中能通過典型的無效測(cè)試數(shù)據(jù)，而得到正確的預(yù)期結(jié)果和（）。

參考答案： 程序運(yùn)行中能通過任何可能的輸入數(shù)據(jù)，并給出正確的結(jié)果