设计规约Spec

1.为什么要写Spec

没规约，没法分派任务，无法写程序；即使写出来，也不知道对错
程序与客户端之间达成的一致：明确双方的责任，定义正确实现的含义
Spec给“供需双方”都确定了责任，在调用的时候双方都要遵守

2.怎么写Spec

Spec的作用是告诉程序员以及客户函数的功能，所以只讲“能做什么”，不讲“怎么实现“，如何实现代码需要程序员自己设计。

在设计Spec的时候，我们首先要说明函数的功能
用“requires：”标明输入函数的数据的类型以及其意义，即前置条件
用“effects“标明返回值的类型以及其意义，即后置条件

3.Java中的Spec

Java的spec，在@param后面