零缺陷程序设计【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

零缺陷程序设计PDF格式电子书版下载

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

第1章 概述1

1．1 问题：bug1

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