《结构化与面向对象软件方法》求取 ⇩

第一章 绪论1

1.1 形成与发展1

1.1.1 程序设计方法学1

1.1.2 软件工程2

1.1.3软件方法学2

1.1.4 结构化方法3

1.1.5 面向对象方法4

1.2 软件生存周期5

1.2.1 五个软件时期的划分6

1.2.2 软件定义与计划7

1.2.3 软件分析10

1.2.4 软件设计11

1.2.5 软件实现11

1.2.6 软件运行与维护15

1.3 软件开发过程模型15

1.3.1 瀑布模型16

1.3.2 原型模型16

1.3.3其它模型17

第二章 结构化程序及构造方法18

2.1 结构化程序18

2.1.1 结构化程序设计18

2.1.2 关于GOTO18

2.1.3 控制结构19

2.1.4 正规程序20

2.1.5 基本程序22

2.1.6 结构化程序23

2.2 结构化定理23

2.2.1 程序函数23

2.2.2 结构化定理24

2.2.3 非结构化程序到结构化程序转换26

2.3 逐步求精方法29

2.3.1 什么是逐步求精29

2.3.2 逐步求精技术30

2.4 程序形式推导技术32

2.4.1 语句的HOARE表示32

2.4.2 谓词变换器32

2.4.3 程序的形式语义34

2.4.4 面向目标的推导37

2.4.5 不变式推导40

2.5 程序变换技术44

2.5.1 程序变换的基本思想44

2.5.2 程序变换的基本规则45

2.5.3 程序的生成方法47

2.5.4 递归消去法48

第三章 结构化分析与设计51

3.1 结构化分析与设计的一般步骤51

3.2 数据流分析技术52

3.2.1 数据流分析52

3.2.2 数据流图54

3.2.3 数据字典55

3.3 逻辑分析工具58

3.3.1 结构化语言58

3.3.2 判定树59

3.3.3 判定表60

3.4 结构化设计的图表工具61

3.4.1 IPO图61

3.4.2 结构图63

3.4.3 程序流程图64

3.4.4 盒图65

3.4.5 PAD图66

3.4.6 过程设计语言PDL68

3.5 面向数据流的设计69

3.5.1 变换流与事务流69

3.5.2 设计步骤70

3.5.3 变换设计72

3.5.4 事务设计73

3.6 面向数据结构的设计74

3.6.1 Jackson图74

3.6.2 Jackson方法74

3.6.3 设计实例75

3.7 模块化技术78

3.7.1 模块与模块化78

3.7.2 模块的特征与独立性79

3.7.3 模块的藕合80

3.7.4 模块的内聚82

3.7.5 模块设计一般准则84

3.7.6 模块的作用域与控制域86

3.8 应用实践88

第四章 程序测试与正确性证明89

4.1 程序正确性定义89

4.2 HOARE公理化方法90

4.2.1 HOARE基本法则90

4.2.2 简单语句证明法则91

4.2.3 循环语句证明法则93

4.3 FLOYD方法95

4.3.1 不变式断言法95

4.3.2 良序集法100

4.4 递归程序正确性证明103

4.4.1 递归与迭代103

4.4.2 递归的程序模式104

4.4.3 递归计算规则105

4.4.4 结构归纳法106

4.4.5 良序归纳法107

4.5 测试的基本概念109

4.5.1 软件测试109

4.5.2 黑盒测试与白盒测试109

4.6 测试过程与步骤111

4.6.1 测试过程111

4.6.2 单元测试112

4.6.3 集成测试113

4.6.4 验收测试116

4.7 测试方案设计117

4.7.1 测试方案设计的基本原则117

4.7.2 逻辑覆盖117

4.7.3 等价类划分120

4.7.4 边界值分析121

4.8 调试121

4.8.1 静态查找122

4.8.2 消去法122

4.8.3 回溯法123

第五章 面向对象的概念124

5.1 对象与类124

5.1.1 对象125

5.1.2 消息与方法127

5.1.3 类129

5.2 基本特征131

5.2.1 协议与封装131

5.2.2 继承性132

5.2.3 多态性与动态联编135

5.3 软件生存周期与开发模型136

5.3.1 面向对象的软件生存周期136

5.3.2 面向对象方法与快速原型技术137

第六章 面向对象分析与设计139

6.1 前言139

6.1.1 OOA形成139

6.1.2 多层次多组成模型140

6.1.3 OOA步骤141

6.2 标识类/对象145

6.2.1 为什么要标识类/对象145

6.2.2 如何确定对象146

6.2.3 实例147

6.3 标识结构149

6.3.1 什么是结构149

6.3.2 为什么要定义结构149

6.3.3 如何定义结构149

6.4 标识主题150

6.4.1 什么是主题150

6.4.2 为什么要引入主题151

6.4.3 如何定义主题151

6.5 定义属性152

6.5.1 为什么要定义属性152

6.5.2 如何定义属性152

6.6 定义服务157

6.6.1 什么是服务157

6.6.2 如何定义服务157

6.6.3 表示所需要的服务158

6.6.4 标识消息连接158

6.6.5 说明服务159

6.7 面向对象设计160

6.7.1 转向面向对象的设计160

6.7.2 OOD准则与步骤160

6.7.3 汇集OOA文档资料161

第七章 面向对象程序设计162

7.1 前言162

7.1.1 OOD与实现语言162

7.1.2 面向对象程序设计语言163

7.1.3 面向对象程序的特点164

7.2 Smalltalk面向对象编程165

7.2.1对象、类、实例及继承性165

7.2.2 变量名与文字句法166

7.2.3 消息表达式167

7.2.4 块表达式168

7.2.5 基本控制结构168

7.2.6 方法170

7.3 C++面向对象编程172

7.3.1 C++面向对象概念172

7.3.2 C++类172

7.3.3 成员函数173

7.3.4 对象175

7.3.5 构造函数与析构函数176

7.3.6 继承性与派生类177

7.3.7 多态性与虚拟函数180

7.3.8 友元182

7.3.9 一个例子183

第八章 软件质量与维护185

8.1 软件质量185

8.1.1 软件质量标准185

8.1.2 软件质量保证186

8.2 软件质量度量模型187

8.2.1 Boehm模型187

8.2.2 McCall模型187

8.2.3 ISO建议模型188

8.2.4 软件质量因素188

8.3 软件质量评价方法192

8.3.1 McCabe软件复杂性度量192

8.3.2 Halstad软件复杂性度量方法194

8.3.3 软件可靠性度量方法195

8.4 软件维护的概念196

8.4.1 软件维护的类型197

8.4.2 软件的可维护性197

8.4.3 软件维护工作量模型198

8.4.4 软件维护的典型问题198

8.4.5 维护的代价与副作用199

8.5 维护过程与方法200

8.5.1 维护组织200

8.5.2 维护模型201

8.5.3 维护报告202

8.5.4 维护的记录与评价202

8.6 面向对象软件质量与维护203

8.6.1 软件质量保证和可维护性203

8.6.2 面向对象软件质量与维护的新课题204

参考文献205