面向對象編程第四階段總結

1. 論述測試與正確性論證的效果差異，比較其優缺點 　　測試是對每個方法構造樣例，進行代碼全覆蓋來檢查代碼是否存在問題；而正確性論證是對其正確性和合理性進行論證，來判斷是否代碼是否符合邏輯。 　　測試的優點在於更加直觀，書寫起來相對比較簡單方便，但是很難做到100%覆蓋，有時會有一些問題被遺漏；正確性論證是在邏輯的基礎上對代碼進行論證，更加嚴密，覆蓋率也更高，但是缺點是書寫起來非常繁瑣。   2.

>>阅读原文<<