《结构程序设计基础》

第一部分结构程序设计的原理和方法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

第三章 Pascal68

3.1Pascal程序结构68

3.2Pascal控制结构70

3.3Pascal数据类型73

3.4子程序85

3.5程序设计例子92

第四章 C101

4.1引言101

4.2数据类型、运算符、表达式101

4.3C语言的控制结构106

4.4函数和程序结构114

4.5指针和数组121

4.6结构变量、结构数组和联合变量127

4.7标准输入输出库132

4.8程序设计例子134

第五章 Ada141

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