Lab2實驗小結

本次實驗訓練抽象數據類型（ADT）的設計、規約、測試，並使用面向對象 編程（OOP）技術實現 ADT。具體來說： ⚫ 針對給定的應用問題，從問題描述中識別所需的 ADT； ⚫ 設計 ADT 規約（pre-condition、post-condition）並評估規約的質量； ⚫ 根據 ADT 的規約設計測試用例； ⚫ ADT 的泛型化； ⚫ 根據規約設計 ADT 的多種不同的實現；針對每種實現，設計

>>阅读原文<<