OO13-14總結

1.論述測試與正確性論證的效果差異，比較其優缺點 　　測試是過去我們常用來測試代碼正確性的方法。而第十三次作業編寫的junit代碼，是對於每個函數，事先寫好規格，再基於前置條件和後置條件對輸入劃分，利用多組測試數據，檢查方法輸出是否滿足後置條件。 優點： 易於找出不符合前置條件後置條件的BUG。 測試有針對性，編寫起來方便快速。 缺點： 能夠找出BUG，但不能保證程序沒有BUG。 覆蓋一個函數所有

>>阅读原文<<