图书介绍

Design by Contract原则与实践2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

Design by Contract原则与实践
  • （美）Richard Mitchell，（美）Jim Mckim著；孟岩译 著
  • 出版社： 北京：人民邮电出版社
  • ISBN：7115115702
  • 出版时间：2003
  • 标注页数：252页
  • 文件大小：11MB
  • 文件页数：277页
  • 主题词：软件开发

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]
点击复制MD5值：ed24af7d88a9a1d091a595227a663432

下载说明

Design by Contract原则与实践PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

目录1

第1章契约式设计初探1

1.1概述1

1.2顾客管理器范例2

1.3一些问题5

1.4 CUSTOMER—MANAGER的契约6

1.5 临时总结9

1.6运行时检测11

1.7可靠的文档13

1.8 小结15

1.9一言以蔽之15

1.10练习15

第2章契约式设计的基本原则17

2.1 关于本章17

2.2栈18

2.3区分命令和查询19

2.4命名规范22

2.5区分基本查询和派生查询23

2.6说明命令对基本查询的影响26

2.7用不变式确定恒定特性34

2.8类及其契约36

2.9基本查询是栈的一个概念模型38

2.10六大原则42

2.11 练习43

第3章运用六大原则47

3.1 关于本章47

3.2字典47

3.3特性分离与分类48

3.4后验条件50

3.5先验条件56

3.6不变式62

3.7关于字典的完整的契约级概括63

3.8 小结65

3.9练习66

第4章契约的构造支持类——不可变列表69

4.1 关于本章69

4.2支持线性结构69

4.3契约只涉及表达式70

4.4不可变列表71

4.5不可变列表的契约72

4.5.1基本查询72

4.5.2创建命令74

4.5.3派生查询count74

4.5.4派生查询preceded_by74

4.5.5派生查询item75

4.5.6派生查询is_equal77

4.5.7派生查询sublist79

4.7练习81

4.6小结81

第5章六大原则在QUEUE设计中的运用83

5.1 关于本章83

5.2队列83

5.3 remove特性的契约84

5.4将count作为一个派生特性88

5.5 initialize特性的契约91

5.6 head特性的契约93

5.8更多派生查询94

5.7put特性的契约94

5.9小结95

5.10练习96

第6章契约式设计与继承99

6.1关于本章99

6.2超类和子类99

6.3重新定义契约100

6.3.1 Eiffel 语法104

6.3.2小结107

6.4不变式和继承108

6.5以被确保的后验条件定义超类109

6.6两种继承116

6.7小结117

6.8练习117

第7章框定规则119

7.1关于本章119

7.2变化规格和框定规则119

7.3使用不可变列表为put撰写框定规则121

7.4使用“forall”为put撰写框定规则128

7.5框定规则的类别130

7.7关于预处理器的补充说明132

7.6练习132

第8章契约式设计的收益137

8.1关于本章137

8.2几种优点137

8.3更优秀的设计138

8.4提高可靠性140

8.5更出色的文档140

8.7支持复用142

8.6简化调试142

8.8契约式设计与防御性编程143

8.8.1防止程序接受错误的输入143

8.8.2给程序穿上“防弹衣”144

8.8.3防御性编程145

8.9契约的一些开销和限制146

第9章观察者框架中的契约149

9.1关于本章149

9.2观察者框架150

9.3不可变集合152

9.4观察者的系缚和解缚155

9.5通知（一个观察者）156

9.6通知（多个观察者）158

9.7性能问题160

9.8框定规则161

9.9保密164

9.10练习166

10.1关于本章169

第10章满足先验条件169

10.2例子170

10.3满足并测试先验条件170

10.4测试与检验172

10.5一个简单的计数器类173

10.6从用户角度看示例程序174

10.7程序的内部结构176

10.8程序的执行情况178

10.9一个次要的细节184

10.10小结186

10.11练习187

第11章Java范例189

11.1关于本章189

11.2为什么选择Java190

11.3队列190

11.3.1基本查询size()192

11.3.2基本查询get()193

11.3.3基本查询head()193

11.3.5派生查询shallow Copy()194

11.3.4派生查询isEmpty()194

11.3.6构造方法Queue195

11.3.7命令put196

11.3.8命令remove196

11.3.9小结198

11.4字典198

11.4.1名字199

11.4.2不变式200

11.4.3基本查询200

11.4.5命令201

11.4.4一个派生查询201

11.4.6构造方法202

11.4.7一组实现类203

11.5没有iContract的Java203

11.6测试先验条件207

11.7练习212

第12章契约式分析215

12.1关于本章215

12.2一个用例215

12.4 withdrawCash用例的契约217

12.3分析模型中的契约217

12.5从分析到设计220

12.6问题域和系统模型221

12.7对象限制语言224

12.8小结225

参考资料227

契约式设计的理解及其在C/C++语言中的运用231

什么是契约——Eiffel的观点236

契约思想的一个反面案例242

索引245

热门推荐