微信扫一扫,移动浏览光盘
简介
本书描述了编写无（或几乎无）bug代码的最新方法。这些方法同时还提高了生产力，缩短了开发时间。
本书主要在三个领域内加以描述，分别是：规定、验证和测试。作者的写作目的是使开发人员更易理解规定和验证，写出结构完好的程序。 本书适于高等院校学生和软件开发人员阅读。
本书描述了编写无错代码的最新方法、这些方法来源于ibm等机构净室软件工程方面的实际经验、在过去的十五年间， 这些方法在商业开发项目上应用得非常成功。出错概率要比行业平均水平低一个数量级。要特别指出的是，错误率的降低并非缘于成本的增长，相反。与它相伴而生的是生产力的提高和开发时间的全面缩减。 stavely在本书中简明扼要地说明了上述方法如何在软件开发的三个关键领域得以应用。这三个领域是：
1．规定 2．验证 3，测试 软件工程师必须将程序编制得更加简单明了，才能达到形式化规定的要求．才能通过数学方式证明代码与规定相匹配．才能消除逻辑上的bug：组内验证可以发现新的缺陷，可以激励小组成员对程序进行更加细致的检查： 而测试则是为了巩固以前的工作。 (基本上)查出所有剩余的错误。
本书主要特色有： 阐述了如何使用净室方法开发高质量的软件 鼓励以小组为单位进行程序验证 阐释了增量开发的重要性
本书并未囊括ibm净室方法的所有内容。作者的目的是使读者容易理解规定和验证，写出结构完好的程序来；在阐述不同的观点时．本书的例子中用到了好几种语言，用的最多的是c，所以预先掌握c是必要的。
目录
出版者的话
专家指导委员会
译者序
前言
第1章 概述 1
1.1 问题：bug 1
1.2 净室方法 3
1.3 关于本书 5
备注 7
第2章 运算函数 9
2.1 运算：状态与函数 9
2.2 函数表示法：并行处理 10
2.3 条件并行处理 12
2.4 局部变量 13
2.5 基于预期函数的规定 14
2.6 其他标记法简介 16
2.7 预期函数的编写 19
练习 23
备注 24
第3章 验证 27
.3.1 结构化控制语句 27
3.2 预期函数的定位 28
3.3 替换原则 31
3.4 代码序列 33
3.5 跟踪表 35
3.6 if语句 36
3.7 条件分支跟踪表 40
练习 43
备注 44
第4章 迭代的验证 45
4.1 while语句 45
4.2 循环中止的验证 47
4.3 已初始化循环 48
4.4 为独立的循环编写预期函数 50
4.5 其他形式的不定迭代 53
练习 55
备注 57
第5章 基于预期函数的程序设计 59
5.1 pascal程序：最长一行的长度 59
5.2 c程序：统计字符及数字的出现次数 65
5.3 icon程序：字符串解压缩 71
5.4 抽象化的探讨：登记注册系统 76
5.5 让事情简单 81
练习 85
备注 86
第6章 验证过程的回顾 89
6.1 为什么验证必须回顾 89
6.2 净室过程中的验证回顾 90
6.3 验证回顾是如何完成的 91
6.4 示例：注册登记系统的另一个例程 93
6.5 示例：测试数据生成器例程 95
6.6 示例讨论 100
练习 102
备注 102
第7章 定迭代 105
7.1 序列上的定迭代 105
7.2 序列变量 107
7.3 其他序列表达式 110
7.4 整型值的范围 113
7.5 其他数据结构 115
7.6 迭代机制 118
7.7 程序设计中的集合与序列 123
练习 126
备注 127
第8章 数据抽象与面向对象编程 129
8.1 数据抽象与封装 129
8.2 抽象函数 132
8.3 数据不变性 134
8.4 面向对象编程 139
练习 144
备注 144
第9章 递归与函数化语言 145
9.1 递归例程 145
9.2 终止 149
9.3 相互递归 150
9.4 函数化语言 152
练习 158
备注 158
第10章 测试 159
10.1 测试的角色 159
10.2 基于使用的测试 161
10.3 测试数据生成器 162
10.4 测试的其他方式 167
练习 168
备注 168
第11章 增量开发 171
11.1 用增量的方式开发程序 171
11.2 计划与实现的过程 173
11.3 示例：排演计划 174
练习 178
备注 178
第12章 我们将走向何方 181
12.1 净室过程的其他部分 181
12.2 其他的形式方法 183
12.3 我们学会了什么 187
12.4 展望未来 190
备注 192
部分习题的提示 195
参考文献 197
专家指导委员会
译者序
前言
第1章 概述 1
1.1 问题：bug 1
1.2 净室方法 3
1.3 关于本书 5
备注 7
第2章 运算函数 9
2.1 运算：状态与函数 9
2.2 函数表示法：并行处理 10
2.3 条件并行处理 12
2.4 局部变量 13
2.5 基于预期函数的规定 14
2.6 其他标记法简介 16
2.7 预期函数的编写 19
练习 23
备注 24
第3章 验证 27
.3.1 结构化控制语句 27
3.2 预期函数的定位 28
3.3 替换原则 31
3.4 代码序列 33
3.5 跟踪表 35
3.6 if语句 36
3.7 条件分支跟踪表 40
练习 43
备注 44
第4章 迭代的验证 45
4.1 while语句 45
4.2 循环中止的验证 47
4.3 已初始化循环 48
4.4 为独立的循环编写预期函数 50
4.5 其他形式的不定迭代 53
练习 55
备注 57
第5章 基于预期函数的程序设计 59
5.1 pascal程序：最长一行的长度 59
5.2 c程序：统计字符及数字的出现次数 65
5.3 icon程序：字符串解压缩 71
5.4 抽象化的探讨：登记注册系统 76
5.5 让事情简单 81
练习 85
备注 86
第6章 验证过程的回顾 89
6.1 为什么验证必须回顾 89
6.2 净室过程中的验证回顾 90
6.3 验证回顾是如何完成的 91
6.4 示例：注册登记系统的另一个例程 93
6.5 示例：测试数据生成器例程 95
6.6 示例讨论 100
练习 102
备注 102
第7章 定迭代 105
7.1 序列上的定迭代 105
7.2 序列变量 107
7.3 其他序列表达式 110
7.4 整型值的范围 113
7.5 其他数据结构 115
7.6 迭代机制 118
7.7 程序设计中的集合与序列 123
练习 126
备注 127
第8章 数据抽象与面向对象编程 129
8.1 数据抽象与封装 129
8.2 抽象函数 132
8.3 数据不变性 134
8.4 面向对象编程 139
练习 144
备注 144
第9章 递归与函数化语言 145
9.1 递归例程 145
9.2 终止 149
9.3 相互递归 150
9.4 函数化语言 152
练习 158
备注 158
第10章 测试 159
10.1 测试的角色 159
10.2 基于使用的测试 161
10.3 测试数据生成器 162
10.4 测试的其他方式 167
练习 168
备注 168
第11章 增量开发 171
11.1 用增量的方式开发程序 171
11.2 计划与实现的过程 173
11.3 示例：排演计划 174
练习 178
备注 178
第12章 我们将走向何方 181
12.1 净室过程的其他部分 181
12.2 其他的形式方法 183
12.3 我们学会了什么 187
12.4 展望未来 190
备注 192
部分习题的提示 195
参考文献 197
Toward Zero-Defect Programming
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
