Af:抽象函数(Abstraction function)
RI:表示不变量(Rep invariant)
在R和A可建立一个映射:
这种映射一定是满射(surjective),而不一定是单射(not injective)
(2) 抽象函数:即R和A之间映射关系的函数
(3) 在表示的过程中,就出现了表示不变性RI
checkrep:
检查不变性就是确定RI是否还成立.
在实现中采用断言技术assert来检查不变性是否保持,可以更早地捕获bug
关于assert的用法:assertTrue 如果为true,则运行success,反之Failure
assertEquals 如果预期值与真实值相等,则运行success,反之Failure