2021哈工大软件构造复习一

软件构造复习1⃣️

---

前言

4-8讲 ADT+OOP等内容

---

· 基本数据类型

·对象数据类型

·静态/动态类型检查

·Mutable/Immutable

·值的改变、引用的改变、final

·防御式拷贝

· Snapshot diagram

·Specification、前置/后置条件

· 行为等价性

· 规约的强度

·ADT操作的四种类型

·表示独立性、表示泄漏

· 不变量 、表示不变量RI

· 表示空间、抽象空间、AF

·以注释的形式撰写AF、RI

·接口、抽象类、具体类

·继承、override

· 多态、overload

·泛型

·等价性 equals（）和==

·equals（）的自反、传递、对称

·hashCode()

·不可变对象的引用等价性、对象等价性

·可变对象的观察等价性、行为等价性

总结