ADT的表示独立性，测试ADT的方法，不变量，RI与AF

1.    表示独立性     client使用ADT时无需考虑内部如何实现，ADT内部表示的变化不应影响外部spec与client     除非ADT的操作指明了具体的pre-condition和post-condition，否则不能改变ADT的内部     表示，因为spec规定了client和和implementer之间的契约。 2.    测试ADT的方法：     （1）测试creato

>>阅读原文<<