软件构造复习资料

软件构造的多维度视图

软件构造的阶段划分、各阶段的构造活动

内部/外部的质量指标

软件配置管理SCM与版本控制系统VCS

Git的结构、工作原理、基本指令

基本数据类型、对象数据类型

静态/动态类型检查

Mutable/Immutable

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

防御式拷贝

Snapshot diagram

Specification、前置/后置条件

行为等价性 规约的强度

ADT操作的四种类型 表示独立性、表示泄露

不变量、表示不变量RI 表示空间、抽象空间、AF 以注释的形式撰写AF、RI 接口、抽象类、具体类

继承、override 多态、overload

泛型

等价性equals()和==

equals()的自反、传递、对称

hashCode()

不可变对象的引用等价性、对象等价性 可变对象的观察等价性、行为等价性

Programing for/with reuse

LSP

协变、反协变

数组的子类型化

泛型的子类型化

泛型中的通配符(?)

Delegation

Comparator和Comparable

CRP原则

接口的组合

白盒框架的原理与实现

黑盒框架的原理与实现

可维护性的常见度量指标

聚合度与耦合度

SOLID

语法、正则表达式

设计模式 adapter decorator strategy template

iterator/iterable factory method visitor

健壮性和正确性

Throwable

Error/Runtime异常、其他异常

Checked异常的处理机制：

声明、抛出、捕获、处理、清理现场、释放资源等

自定义异常类

断言的作用、应用场合

防御式编程的基本思路

黑盒测试用例的设计

等价类划分、边界值分析

以注释的形式撰写测试策略

测试用例写法

测试覆盖度