Lab2实验小结

本次实验训练抽象数据类型（ADT）的设计、规约、测试，并使用面向对象 编程（OOP）技术实现 ADT。具体来说： ⚫ 针对给定的应用问题，从问题描述中识别所需的 ADT； ⚫ 设计 ADT 规约（pre-condition、post-condition）并评估规约的质量； ⚫ 根据 ADT 的规约设计测试用例； ⚫ ADT 的泛型化； ⚫ 根据规约设计 ADT 的多种不同的实现；针对每种实现，设计

>>阅读原文<<