软件构造课程笔记——抽象数据型

值空间

表示值空间 R

具体实现的实例值之集

抽象值空间 A

ADT的目标值之集
理想值，即客户视角的实体

抽象函数 Abstraction Function,AF

AF:R’ → A, R’ 含于R
从表示值空间到抽象空间的映射。

1. AF必为满射。每个抽象值都有表示值与之对应
2. AF未必但是。某抽象值可能有多个表示值与之对应
3. R中元素未必有象。某表示值可能无抽象值与之对应

表示不变式 Rep Invariant,RI

RI: R →{true,false}
从表示值空间到布尔空间的映射。
R’的示性函数。

R® == true 当且仅当 r ∈ A在AF下的原象