本單元主題是基於規格的層次化設計，要求我們理解jml語法，根據給定的jml規格完成設計需求，並且滿足一定的效能要求，同時掌握簡單的基於規格的測試方法。規格將設計與實現分離，控制了架構的複雜性；規格可以讓開發人員準確理解乙個類的功能，乙個方法的行為；規格通過邏輯方式來驗證**實現的正確性，這是保證**實現正確功能之本；規格還是開展測試設計的依據，只有理解規格，才能對類、方法和介面進行完備的測試。三次作業以實現方法規格、異常處理為起點，逐步增量擴充套件功能，增加方法規格和型別規格，最後引入型別層次下的規格，訓練複雜應用場景下規格的**補全，鍛鍊基於規格層次化設計能力。
第一次作業
方法時間複雜度
debug與歷次commit分析
小結
策略與時間複雜度
方法時間複雜度
debug與歷次commit分析
小結
策略與時間複雜度
方法時間複雜度
debug與歷次commit分析
小結jmlunitng——自動化的junit
oo 第三單元部落格
目錄 五 作業架構設計 本單元主要的學習內容為jml規格語言，通過閱讀jml規格來實現乙個社交網路及其相應的功能。本次作業相較於前兩次作業較為簡單，難度主要在於讀懂jml規格和實現效能的優化。在實現前我一般會先閱讀指導書上的簡要介紹，優先實現異常類。實現異常類之後由簡到難實現各個類，三次均在最後實現...
OO第三單元總結
一 實現規格的設計策略 1.基於規格，設計方法 大部分需要我們寫的方法，都可以根據規格直接寫出來，這些方法一般都是比較簡單的，比如查詢有沒有這個元素 返回某個元素 增加或刪除某個元素。2.根據規格，了解方法功能，自行設計方法 規格怎麼描述，方法怎麼寫也是可行的，但是了解了方法功能，自行設計會更快，比...
OO第三單元總結
理論基礎 jml是用於對j a程式進行規格化設計的一種表示語言 注釋結構 jml以j adoc注釋的方式來表示規格，每行都以 起頭。有兩種注釋方式，行注釋和塊注釋。其中行注釋的表示方式 為 annotation，塊注釋的方式為 annotation 按照j adoc習慣，jml注釋一般放在被注釋成分...