ICode9

精准搜索请尝试: 精确搜索
首页 > 其他分享> 文章详细

3.2  Spec规约

2019-06-13 09:50:25  阅读:357  来源: 互联网

标签:更强 后置 规约 3.2 前置条件 Spec 客户端


3.2  Spec规约

1.

 

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

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

 

2.

 

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

 

 

 

3.

 

@param , @return,@throws 显然

 

4.

 

 

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

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

 

5.

 

 

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

答案:ACD

 

6.

 

 

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

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

故D

标签:更强,后置,规约,3.2,前置条件,Spec,客户端
来源: https://blog.csdn.net/qq_42766619/article/details/91793540

本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享;
2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关;
3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关;
4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除;
5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有