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