软件构造课程总结（5）

软件构造课程总结（5）

这里是HIT2021软件构造课程的总结博客，主要书写了本学期软件构造的所有课程内容和实验内容。

第八章、ADT和OOP中的等价性

1.根据AF来判断
2.equals()重写Object的方法
3.Hash的特别方法
4.可变类型的等价性
观察等价性（可能有bug）
行为等价性（看内存位置，直接用Object的==）

第十一章、面向可复用性和可维护性的设计方式

关键词：工厂方法、adapter、decorator、strategy、template method、iterator、visitor
设计模式：强调类、对象之间的交互关系，有创建型模式、结构性模式、行为类模式
①创建型模式；
工厂方法模式：一句话：通过接口实现creator
Adapter模式：略
Decorator模式：
对每一个特性构造子类，使用委派机制增加到对象上

2020期末考试考点总结：

①checkRep，用assert对precondition进行合法性检查
方法一：正则表达式
方法二：String转为整数，小数
②表示泄露
③snapshot书写
④健壮性处理：异常和防御式编程
⑤测试：等价类划分和边界值测试
⑥线程安全thread safe
⑦AF和RI，spec中precondition强度的比较
⑧设计模式之模板模式（可扩展性）
⑨委派
⑩LSP结构
外部质量属性、git、安全性