OO第四次博客

測試與正確性論證的效果差異 首先是關於測試，對於第十三次作業中所使用的對於方法的測試主要是依賴規格對方法的正確性進行測試，可以很快速的檢查自己程序中的bug，但如果一個方法的規模比較大，代碼行數比較多，裏面的判斷條件很多的話，很容易自己也無法掌握程序，難以驗證。 而在第十四次作業的正確性論證可以對所檢查的類與方法做到完全的驗證，但是相比較於測試，正確性論證所需要做的工作更多，不止要論證，在遇到大的

>>阅读原文<<