程序设计方法学PDF电子书下载

目录 1

第一章 　程序和软件的概念 1

1.1　程序的概念 1

1.1.1　程序的定义 1

1.1.2　程序的理解 2

1.1.3　程序设计的历史回顾 3

1.1.4　程序间的关系 6

1.1.5　程序与算法 15

1.1.6　程序的表示法 17

1.1.7　程序的结构 21

1.2　软件的概念 22

1.2.1　软件和程序的差异 22

1.2.2　系统软件和应用软件 25

1.2.3　软件的品质 27

第二章 　软件工程的基本概念 33

2.1　软件工程定义 33

2.2　软件工程和一般工程的差异 34

2.3　软件工程发展简史 36

2.4　软件工程的现状与未来 38

2.5　软件的生存周期 40

2.6　软件研制的基本原则 48

2.7　软件设计的工具 51

2.8　软件结构 60

2.9　软件生产管理 63

第三章 　控制结构 70

3.1　控制结构中的三个基型 70

3.1.1　顺序结构 70

3.1.2　选择结构 73

3.1.3　重复结构 75

3.2　术语的定义 77

3.2.1　程序公式 77

3.2.2　常态程序 80

3.2.3　初等程序 82

3.2.4　结构化程序 84

3.2.5　小结 86

3.3　三条定理 88

3.3.1　引理 88

3.3.2　结构性定理 89

3.3.3　正确性定理 90

3.3.4　展开定理 91

3.4　关于对GOTO语句的认识 93

3.4.1　滥用GOTO语句确实有害 95

3.4.2　如何避免滥用GOTO语句 98

3.4.3　带有GOTO语句的结构程序设计 107

3.4.4　结论 115

4.1　概述 116

第四章 　数据结构 116

4.2　简单类型 118

4.2.1　基本类型 118

4.2.2　字符串类型和枚举类型 121

4.3　构造类型 122

4.3.1　数组 122

4.3.2　记录 123

4.3.3　集合 124

4.4　动态数据结构 125

4.4.1　顺序文卷 125

4.4.2　指引元类型 126

4.4.3　链表 127

4.4.4　树 128

第五章 　软件结构 130

5.1　概述 130

5.2　模块的聚合 132

5.2.1　聚合的类型 132

5.2.2　聚合类型的区分 136

5.3　模块的关联和独立性 136

5.3.1　关联的类型 137

5.3.2　数据隐蔽 139

5.4　模块大小与标准化 147

5.4.1　模块的大小 147

5.4.2　标准模块 150

5.5　模块化及其优缺点 151

5.5.1　模块化的优点 152

5.5.2　模块化的缺点 154

第六章 　模块化原则 156

6.1　概述 156

6.2　独立子程序和数据隐蔽 157

6.3　使用判定表 158

6.4　使用符号参数 163

6.5　分离输入输出功能 170

6.6　不共享临时存储单元 172

6.7　模块化系统的组装 172

6.8　模块化系统的优化 176

第七章 　自顶向下原则 179

7.1　概述 179

7.2　自顶向下设计 180

7.2.1　基本概念 180

7.2.2　设计的要点 181

7.2.3　为设计开发结构化规范书 189

7.3　自顶向下编码 190

7.3.1 定义 190

7.3.2　采用自顶向下的理由 191

7.4　自顶向下设计的选择、变体及问题 194

7.4.1　简单方法 195

7.4.2 自顶向下和自底向上的结合 196

7.4.3　组织管理 197

8.1　概述 199

第八章 　结构设计方法 199

8.1.1　术语定义 200

8.1.2　系统组织的模型 202

8.1.3　系统形态 203

8.1.4　作用域与控制域 204

8.2　转换分析法 206

8.2.1　用数据流程图表示用户问题 207

8.2.2　标识传入数据元素和传出数据元素 209

8.2.3　顶层分解 211

8.2.4　对各个分支的分解 212

8.2.5　系统结构的调整 216

8.3　事务分析法 217

8.3.1　事务分析策略 218

8.3.2　举例 221

8.3.3　分析法对比 227

第九章 　Jackson方法 229

9.1　基本原理及程序组织形式 229

9.1.1　基本原理及目的 229

9.1.2　程序的组织形式 231

9.1.3　Jackson法概述 236

9.2　Jackson法的基本技术 239

9.2.1　基本设计方法 239

9.2.2　顺序文卷处理技术 239

9.2.3　简例 244

9.2.4　多种数据结构的匹配 248

9.3　回溯技术 253

9.3.1　产生回溯的原因 253

9.3.2　回溯处理技术 254

9.3.3　副作用处理 258

9.4　结构冲突的消除技术 261

9.4.1　冲突类型 261

9.4.2　消除冲突的技术 264

9.4.3　结论 275

9.5　系统设计原理 277

9.6　Jackson法与结构设计法的比较 279

第十章 　软件确认技术 281

10.1　概述 281

10.2　程序正确性证明 284

10.2.1　自底向上方法 285

10.2.2　自顶向下方法 288

10.3　静态分析技术 288

10.3.1　结构预查 288

10.3.2　流图分析 290

10.3.3　符号执行 292

10.3.4　小结 297

10.4　动态测试技术 297

10.4.1　简述 297

10.4.2　功能测试 299

10.4.3　结构测试 303

10.4.4　测试策略 307

10.4.5　测试计划的制订 312

10.5　比较 313

10.6　软件生存周期各阶段的验证活动 313

10.6.1　需求阶段 313

10.6.2　设计阶段 315

10.6.3　编码阶段 315

10.6.4　维护阶段 316