HIT軟件構造課程複習——第三章ADT&OOP第二節設計規格說明

主要內容： 1.規格說明，前置/後置條件 2.行爲等價性 3.規約的強度 一、規格說明，前置/後置條件 1.documentation 包括類層次結構和已實現接口的列表，直接子類，類的描述，構造器摘要，方法摘要列（出了我們可以調用的所有方法），每種方法和構造函數的詳細描述。 記錄假設： 向下寫入變量的類型會記錄一個關於它的假設：例如，這個變量總是引用一個整數。-ava實際上在編譯時檢查這個假設，並

>>阅读原文<<