【面向對象】三單元JML總結

前言 　　相比於前兩個單元，這個單元對於測試能力的需求有了進一步的提升。對於所給的規格，我首先需要看懂，並且要使用比較好的方法進行實現。這也帶來了一個問題，我必須能夠編寫測試集來測試自己寫的數據結構。還有一個問題，就是即使我每個方法可能符合規格，但是整個程序在總體上會有bug怎麼辦。所以，這個單元既需要我們從方法級別進行考慮，又需要從工程級別進行量化。下面我將開始分享我的學習心得，請多多指教! \

>>阅读原文<<