A.證明軟件是正確的 B.發(fā)現(xiàn)錯(cuò)誤、降低錯(cuò)誤帶來的風(fēng)險(xiǎn) C.排除軟件中所有的錯(cuò)誤 D.與軟件調(diào)試相同
A.處理對(duì)象和處理規(guī)則的描述 B.程序 C.程序及其文檔 D.計(jì)算機(jī)系統(tǒng)