HIT软件构造笔记 5设计规约

5 Designing Specification

1 Functions & methods in programming languages

2 Specification: Programming for communication

(1) Documenting in programming

(2) Specification and Contract (of a method)

(3) Behavioral equivalence

行为等价性：如何比较规约的强弱（考选择/简答）

行为等价性是在用户的角度看的，判断两个方法等不等价，不看方法的具体实现。

(4) Specification structure: pre-condition and post-condition

考试可能会问，其中哪个是最合理的（选择/简答）

输入错误时，最好能快速失败

注释中不需要说明数据类型，因为在描述中已经写了

若一定要涉及一些具体实现（数据类型），则一定要是抽象数据类型（接口）

规约中要能体现出方法是否改变了参数

传参时少用mutable类型的

immutable的类：不暴露类的属性；不返回引用；没有修改器方法。

(5)* Testing and verifying specifications

测试不能违背程序的规约

3 Designing specifications

这节是考试的重点，不过考试不会要求写规约

(1) Classifying specifications

可以从三个角度比较规约：确定性、陈述性、强弱。

判断规约的强弱是重点。

当规约S2强与S1时，S2的实现可直接用于S1

强弱是从前置/后置条件判断的

 三个例子：

下面这两个强弱无法比较（考试通常出这种）

小练习：

答案：1、4

(2) Diagramming specifications

规约越弱圈越大

例子：

橙色的圈是ExactlyOne

(3) Designing good specifications

考试时几乎不会要求分析规约的好坏

好的规约：

1.功能单一、简单易懂

反例：

2.规约要够强，否则不好用

反例：

3.规约要够弱，否则难以实现

反例：一个无法实现的规约

4.建议在规约里使用抽象类型（因为这点判断起来比较主观，所以考试不考）

5.折衷：检测起来比较简单，就不写前置条件；不容易实现（检验参数合法性代价大），就写前置条件