3.2  Spec规约

3.2  Spec规约

1.

3.2  Spec规约 

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

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

 

2.

3.2  Spec规约 

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

 

 

 

3.

3.2  Spec规约 

@param , @return,@throws 显然

 

4.

3.2  Spec规约 

 

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

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

 

5.

3.2  Spec规约 

 

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

答案:ACD

 

6.

3.2  Spec规约 

 

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

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

故D

上一篇:案例:实现用户注册功能


下一篇:新增高级计算器功能