软件构造期末复习RI和AF

invariants

一个好的ADT应该在使用和设计过程中使用遵守规约，这样才能保证ADT的安全性，设计一个好的不变量并在每时每刻保持该不变量是ADT安全的前提。
所谓不变量是ADT需要始终保持其不变的量。
如何保持不变量有一下几种方法：1、域设置为私有。2.防止表示泄露。3、严格遵守规约。
而具体的检测方法是：实现CheckRep（），在代码中检查不变量。

RI和AF

在设计ADT时，我们要关注两个空间。表示空间R和抽象空间A，前者是我们开发者关注的空间而后者是用户关注的空间。而两个空间的映射关系称为AF。
对于表示空间的理解：狭义上将可以理解为我们ADT的域中变量的具体值。
对于抽象空间的理解：这些值所反映的某个对象的性质。
而AF就是将表示空间和抽象空间联系起来的映射。这个映射必须是满射，因为抽象空间的所有制必须有一定的表示，不一定为单射，因为不同的表示可以代表同一个抽象的值。
在很多情况下R->A的映射往往是比较简单的，比如实验3中计划项的AF函数，就是简单的将表示空间的时间链表、地点链表、状态映射为实际生活中的计划项的执行时间、地点以及当前状态。