设计规约

1设计规约（spec）的作用

spec规定了方法应该做什么，不应该做什么，有了spec就可以编写测试用例了。同时，有了spec，客户端便能轻松读懂方法的作用和前置条件，而无需在意代码的具体实现。

2设计规约的格式

precondition前置条件：对客户端的约束，在使用方法时必须满足的条件

postcondition后置条件：对开发者的约束，方法结束时必须满足的条件

 @param：说明每个参数的前置条件。
 @return：说明后置条件。
 @throws：说明出现异常的时候会发生什么

例如

3 spec的强弱标准

行为等价性：根据规约判断是否行为等价。

spec变强的要求是更宽松的前置条件+更严格的后置条件，在这种情况下，就可以用变强了的spec去替换原来的spec。

注意：包括前置（后置）条件强度相等的情况。

大椭圆表示更弱的spec，小椭圆表示更强的spec，椭圆的大小表示的是开发者的自由度。