軟件認證工程師考試名詞解釋每日一練(2019.02.04)

1.抽象。
2.信息隱藏。
3.模塊化。
4.局部化。
5.一致性。
6.完全性。
7.可驗證性。

單元測試指對源程序中每一個程序單元進行測試，檢查各個模塊是否正確實現(xiàn)規(guī)定的功能，從而發(fā)現(xiàn)模塊在編碼中或算法中的錯誤。

軟件可靠性定義為在某個給定時間間隔內(nèi)，程序按照規(guī)格說明成功運行的概率。