A.統(tǒng)一性 B.安全性 C.無(wú)二義性 D.組合性
A.正確性證明 B.測(cè)試 C.自動(dòng)程序設(shè)計(jì) D.符號(hào)證明
A.試驗(yàn)性運(yùn)行軟件 B.發(fā)現(xiàn)軟件錯(cuò)誤 C.證明軟件是正確的 D.找出軟件中的全部錯(cuò)誤