3.2  Spec规约

1.

 

行为等价性，只要满足客户端需求，无论性能，从客户端看他们的行为是一样的，那么就满足行为等价性

D：不需要规定内部的实现

 

2.

 

Spec强度是指前置条件更弱（能处理更多的情况）后置条件更强（对程序员更多要求）

 

 

 

3.

 

@param , @return,@throws 显然

 

4.

 

 

C你不能要求客户端做什么

D 我们只需要测试满足前置条件后得到正确结果

 

5.

 

 

A可以，前置变强；B错误，后置变强；C正确，更强的规约表示为更小的面积；D正确

答案：ACD

 

6.

 

 

第一个前置条件更强 spec更弱

第一个后置条件更强 spec更强

故D