第一章 基本概念 1
1.1 软件工程学 1
目录 1
1.2 软件和软件生命期 4
1.3 软件质量 8
1.4 软件方法和软件工具 12
第二章 分析阶段 17
2.1 分析阶段的基本概念 17
2.2 结构化分析（SA方法）的基本思想 21
2.2.1 分解和抽象 21
2.2.2 文档格式 23
2.2.3 步骤 23
2.3.1 数据流图的基本成分 24
2.3 数据流图 24
2.3.2 由外向里画数据流图 30
2.3.3 分层数据流图 34
2.3.4 由顶向下画分层数据流图 38
2.3.5 实例——运动会管理系统 43
2.3.6 数据流图的改进 46
2.4 数据词典 52
2.4.1 词典与数据流图的联系 52
2.4.2 词典条目的各种类型 52
2.4.3 词典条目的实例 55
2.4.4 词典的实现 59
2.4.5 PSL/PSA系统 61
2.5.1 加工的描述 64
2.5 小说明 64
2.5.2 结构化语言 65
2.5.3 判定表 71
2.5.4 判定树 73
2.6 分析的步骤 73
2.7 SA方法小结 81
第三章 设计阶段 83
3.1 设计阶段的基本概念 83
3.2.1 相对独立、单一功能的模块结构 85
5.2.4 判定／条件覆盖 85
3.2 结构化设计（SD方法）的基本思想 85
3.2.2 块间联系和块内联系 86
3.2.3 文档格式 87
3.2.4 步骤 91
3.3 块间联系和块内联系 92
3.3.1 程序中的联系 92
3.3.2 块间联系的各种类型 95
3.3.3 块内联系的各种类型 100
3.4 结构图的改进 108
3.4.1 实例——病人监护系统 108
3.4.2 程序结构与问题结构相对应 120
3.4.3 程序结构的标准形式 121
3.4.4 功能性模块的组成 123
3.4.5 消除重复的功能 124
3.4.6 作用范围和控制范围 125
3.4.8 调用的个数 129
3.4.7 模块的大小 129
3.4.9 程序的效率 130
3.5 从数据流图导出初始结构图 131
3.5.1 变换分析 133
3.5.2 事务分析 138
3.5.3 实例——银行文件管理 141
3.6 SD方法小结 151
3.7 Jackson方法 152
3.7.1 从数据结构导出程序结构 152
3.7.2 数据结构和程序结构的三种类型 152
3.7.3 找出输入、输出数据结构间的对应性 155
3.7.4 步骤 158
3.8 Parnas的方法 163
4.1 编写阶段的基本概念 167
第四章 编写阶段 167
4.2 结构化程序设计（SP方法） 169
第五章 测试阶段 175
5.1 测试阶段的基本概念 175
5.2 白盒法 182
5.2.1 语句覆盖 182
5.2.2 判定覆盖 183
5.2.3 条件覆盖 184
5.2.5 条件组合覆盖 186
5.2.6 实例——工资管理程序 187
5.3.1 等价分类法 194
5.3 黑盒法 194
5.3.2 边缘值分析法 200
5.3.3 因果图法 205
5.3.4 错误推测法 206
5.3.5 综合策略 207
5.4 测试过程 210
5.4.1 模块测试 212
5.4.2 渐增式和非渐增式联合测试 213
5.4.3 由顶向下和由底向上渐增式 215
5.5 测试工具 220
第六章 数据库设计 222
6.1 数据库设计和软件工程 222
6.2.1 基本思想 225
6.2 实体联系法（ER方法） 225
6.2.2 ER模型 227
6.2.3 从ER图导出DBTG数据结构图 230
6.2.4 步骤 233
6.3 逻辑记录存取法（LRA方法） 238
6.3.1 评价标准 238
6.3.2 计算表格 240
6.3.3 步骤 241
6.3.4 数据模式的改进 241
6.3.5 实例——生产管理系统 243
第七章 总结 250
7.1 对基本概念的回顾 250
7.2 软件工程学的基本原则 255