第一部分 结构程序设计的原理和方法 1
第一章 引论 1
1.1结构程序设计的由来和发展 1
1.2软件的易维护性和易理解性 5
1.3结构程序设计概述 9
第二章 结构程序设计方法 19
2.1程序系统的生命期 19
2.2程序设计新原则 20
2.3由顶向下程序开发技术 21
2.4结构化的控制结构 31
2.5数据结构 41
2.6逐步求精算法设计 50
第二部分 结构程序设计语言 68
第三章 Pascal 68
3.1Pascal程序结构 68
3.2Pascal控制结构 70
3.3Pascal数据类型 73
3.4子程序 85
3.5程序设计例子 92
第四章 C 101
4.1引言 101
4.2数据类型、运算符、表达式 101
4.3C语言的控制结构 106
4.4函数和程序结构 114
4.5指针和数组 121
4.6结构变量、结构数组和联合变量 127
4.7标准输入输出库 132
4.8程序设计例子 134
第五章 Ada 141
5.1软件工程和Ada语言 141
5.2数据类型 142
5.3表达式、语句、子程序 151
5.4包 162
5.5类属 167
5.6面向对象的程序设计 170
5.7多任务程序设计 177
第三部分 测试和证明 191
第六章 程序测试和证明 191
6.1程序测试 191
6.2人工测试 196
6.3测试用例的设计方法 198
6.4测试的实施 220
6.5排错 227
6.6测试工具 231
6.7程序正确性证明 232
第四部分非结构化语言的结构程序设计方法 241
第七章 BASIC结构程序设计 241
7.1引言 241
7.2BASIC程序的基本控制结构 241
7.3由顶向下的程序设计 246
7.4程序设计时的考虑 250
7.5非标准BASIC的控制结构 253
第八章 COBOL结构程序设计 263
8.1模块化 263
8.2COBOL的控制结构 266
8.3程序设计时的考虑 275
8.4改善可读性 278
8.5实例 281
第九章 FORTRAN结构程序设计 289
9.1引言 289
9.2FORTRAN程序的组织 289
9.3构造FORTRAN程序 291
9.4程序设计时的考虑 295
9.5FORTRAN语言的预处理技术 298
9.6实例 300
参考文献 307