ADT的表示獨立性，測試ADT的方法，不變量，RI與AF

1.    表示獨立性     client使用ADT時無需考慮內部如何實現，ADT內部表示的變化不應影響外部spec與client     除非ADT的操作指明瞭具體的pre-condition和post-condition，否則不能改變ADT的內部     表示，因爲spec規定了client和和implementer之間的契約。 2.    測試ADT的方法：     （1）測試creato

>>阅读原文<<