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