【re spec to ADT design】

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

前言

提示：这里可以添加本文要记录的大概内容：

第5、6章部分内容复习

---

提示：以下是本篇文章正文内容，下面案例可供参考

一、方法规约

示例：pandas 是基于NumPy 的一种工具，该工具是为了解决数据分析任务而创建的。

行为等价性

判断两个方法是否等价（能否替换），主要是结合规约来看

两个方法满足同一个规约，故具有行为等价性

比较spec的强度

一个更强的spec，意味着更弱的前置条件或者更强的后置条件

从上往下，pre-condition依次变弱，post-condition依次变强，spec是依次变强

前置条件变弱，后置条件不变，spec也是变强
注意：两个spec的比较，如果其中一个前置条件更弱时，则比较后置条件时以较强的那个前置条件为标准去比较

前置条件变弱，后置条件也变弱，spec无法比较

确定性

确定的规约：对于满足前置条件的一个输入，只有一种输出（重复测试结果一定相同）
欠定的规约：对于满足前置条件的一个输入，可能有多种输出（重复测试结果不同）

二、ADT（抽象数据类型）

表示独立性（Representation Independence）

client使用ADT时无需考虑其内部如何实现，ADT内部表示的变化不应影响外部spec和客户端

AF和RI

AF(abstract function抽象函数)

AF指表示空间到抽象空间的映射

ADT开发者关注表示空间R，client关注抽象空间A
特点：
1、满射（每个抽象值都有可能为客户所用，在rep中都应该有表示）
2、未必单射（多个表示对应同一个抽象值）
3、未必双射（显然）
4、可能存在某些表示值没有对应的抽象值（不合法的表示RI（value）=false）

RI(rep invariant表示不变性)

RI描述了什么样的rep是合法的
可以当作是表示值到{true,false}的映射：
RI: R -> boolean
也可将RI看作R空间的子集，表示合法的表示值的集合（所谓合法指的是有对应的抽象值）
要保持RI，就是经过操作operations，使得操作前合法的表示值在操作进行后仍然合法，满足RI
为了保持RI，建议在除了observer外的所有方法（有可能改变rep）中都使用checkRep

总结

无