目录 1
第一章 基本知识 1
1.1程序结构 1
1.1.1算法及其基本结构 1
1.1.2数据结构及其与算法的内在联系 9
1.2程序设计 12
1.2.1动作、进程与行为模式 12
1.2.2程序设计的手段 14
1.3程序设计的革命——结构化的诞生 16
1.3.1流程图的结构化 17
1.3.2结构程序设计中的PAD表示法 20
1.3.3如何估计你的程序质量 35
1.3.4导致程序质量低劣的原因 35
1.3.5确保程序质量的一个好办法——程序设计结构化 36
习题一 39
2.1什么是结构程序设计 41
第二章 结构化程序设计 41
2.2结构程序设计所涉及的内容 43
2.3结构程序设计的历史 45
2.4结构程序设计的基本理论 49
2.4.1SP的公理 49
2.4.2删除或限制GOTO语句 50
2.4.2.1GOTO语句是有害的 51
2.4.2.2GQTO语句能够从程序设计语言中删除 53
2.4.2.3限制使用GOTO语句 54
2.4.3流程图的分解理论 56
2.4.4非结构程序到结构程序的变换 67
2.4.4.1非结构的识别 67
2.4.4.2非结构的变换 79
2.4.5结构化定理 107
2.4.6SP的三个基本算法 120
2.4.6.1基本控制结构的算法 120
2.4.6.2层次功能结构的算法 121
2.4.6.3层次数据结构的算法 122
2.4.7.1SP方法 123
2.4.7SP方法的实现 123
2.4.7.2结构程序设计的实现问题 125
习题二 125
第三章 常用高级语言的结构化 137
3.1FORTRAN 138
3.1.1顺序结构 138
3.1.2选择结构 141
3.1.3循环结构 144
3.2.1顺序结构 147
3.2COBOL 147
3.2.2选择结构 148
3.2.3循环结构 152
3.3PASCAL 155
3.3.1顺序结构 155
3.3.2选择结构 156
3.3.3循环结构 160
3.4.2选择结构 163
3.4.1顺序结构 163
3.4C 163
3.4.3重复循环结构 168
习题三 173
第四章 结构程序的正确性和程序验证 178
4.1问题的提出 178
4.2程序正确性理论中的逻辑代数 180
4.2.1逻辑表达式的基本元素 180
4.2.2程序功能的代数表示 186
4.2.3结构程序的代数学 195
4.3完全正确性与充分正确性问题 199
4.4正确性定理 205
4.4.1程序终止问题 205
4.4.2迭代递归引理 206
4.4.3正确性定理 209
4.4.4正确性证明语法 215
4.5证明程序正确性的技术 218
4.5.1跟踪表 218
4.5.2检验Fordo程序 223
4.5.3关于程序功能的直接断言 228
4.5.4程序正确性证明举例 231
4.5.4.1Sequence证明 232
4.5.4.2Ifthen证明 233
4.5.4.3Ifthenelse证明 234
4.5.4.4Whiledo证明 235
4.5.4.5Dountil证明 237
4.5.4.6Dowhiledo证明 239
4.5.4.7具有匿名数据的证明 241
4.6.1循环不变式 250
4.6在正确性证明中的循环不变式 250
4.6.2不变式状态定理 252
4.6.3满不变式和限制不变式 255
4.7Hoare验证 258
4.7.1Hoare公理系统 258
4.7.2用Hoare公理验证程序的正确性 263
4.7.3Hoare公理系统的不完备性 267
习题四 269
5.1.2程序测试 285
5.1.1软件可靠性 285
第五章 结构程序的测试 285
5.1软件可靠性与程序测试 285
5.2常用程序测试方法 288
5.2.1黑盒测试 289
5.2.1.1等价类划分法 290
5.2.1.2边值分析法 294
5.2.1.3因果图法 300
5.2.2白盒测试 308
5.2.2.1语句覆盖 308
5.2.2.2判定覆盖 309
5.2.2.3条件覆盖 310
5.2.2.4判定／条件覆盖 311
5.2.2.5多重条件覆盖 312
5.2.3结构化程序的测试 312
5.3模块测试 313
5.3.1单个模块的测试 314
5.3.2.1非增量测试 324
5.3.2模块的组合测试 324
5.3.2.2增量测试 326
5.3.2.3增量测试与非增量测试的比较 329
5.4程序测试理论初步 330
5.4.1可靠性测试定义 330
5.4.2有关理想测试的基本定理 332
5.4.3测试理论的数学模型 333
5.4.4有关测试可靠性与有效性理论 337
习题五 340
6.1结构软件度量的规范基础 341
第六章 结构软件的度量 341
6.1.1Bohm—Jacopini基础 342
6.1.2Dijkstra—Mills基础 343
6.2软件的复杂度 346
6.3软件结构度 355
6.4软件要求定义度 357
6.5程序员生产率 359
6.6软件可靠度 362
习题六 364
第七章 结构程序设计方法的应用 367
7.1确定前n个素数 369
7.2交通管制中的信号处理 374
7.3试探算法 378
7.4最小支撑树 388
7.4.1有关基本概念 388
7.4.2最小支撑树问题 389
7.4.3逐步求精 390
7.5高斯八皇后问题 399
7.5.1对一种格局的求解 400
7.5.2从一种格局到全部格局 406
7.5.3求解中若干问题的讨论 407
7.6文本行的右对齐 415
7.6.1问题的提出 415
7.6.2求解思路 415
习题七 422
参考文献 424