软件工程方法学及应用2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

软件工程方法学及应用PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一章 绪论1

1.1 软件工程与方法学的形成1

1.1.1 软件危机1

1.1.2 软件工程与方法学的形成2

1.1.3 软件工程学与程序设计方法学2

1.1.4 软件工程方法学3

1.2 软件与软件生命周期4

1.2.1 软件与程序4

1.2.2 软件生命周期4

1.2.3 四个活动时期5

1.3 软件开发过程模型6

1.3.1 瀑布模型7

1.3.2 原型模型8

1.3.3 喷泉模型8

1.3.4 螺旋模型8

1.4 软件开发方法8

1.4.1 结构化方法9

1.4.2 面向对象方法9

1.4.3 其它开发方法10

1.5 小结10

第一部分 软件方法学13

第二章 结构化与模块化13

2.1 结构化程序13

2.1.1 关于GOTO13

2.1.2 控制结构与程序流程图14

2.1.3 正规程序16

2.1.4 基本程序17

2.1.5 结构化程序18

2.2 结构化定理19

2.2.1 程序函数19

2.2.2 结构化定理20

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

2.3 逐步求精方法24

2.3.1 什么是逐步求精方法24

2.3.2 逐步求精技术25

2.4 模块化技术27

2.4.1 模块与模块化27

2.4.2 模块的特征与独立性28

2.4.3 模块的藕合29

2.4.4 模块的内聚31

2.5 模块设计准则34

2.5.1 一般原则34

2.5.2 模块的作用域与控制域36

2.6 小结38

第三章 程序正确性证明39

3.1 基本概念39

3.1.1 程序测试与正确性证明39

3.1.2 程序正确性定义39

3.2 HOARE公理化方法40

3.2.1 HOARE表示法40

3.2.2 HOARE基本法则41

3.2.3 简单语句证明法则41

3.2.4 循环语句证明法则44

3.3 FLOYD方法46

3.3.1 不变式断言法46

3.3.2 良序集法51

3.4 递归程序正确性证明53

3.4.1 递归的概念53

3.4.2 递归计算规则55

3.4.3 结构归纳法56

3.4.4 良序归纳法57

3.5 小结59

第四章 形式推导与变换60

4.1 程序的形式化推导技术60

4.1.1 谓词变换器及其性质60

4.1.2 程序的形式语义62

4.1.3 面向目标的推导65

4.1.4 不变式推导68

4.2 程序的变换技术71

4.2.1 程序变换的基本思想72

4.2.2 程序变换的基本规则73

4.2.3 程序的生成方法75

4.2.4 递归消去法76

4.3 小结78

第二部分 软件工程学83

第五章 软件分析83

5.1 主要阶段和任务83

5.1.1 问题定义83

5.1.2 可行性研究84

5.1.3 软件计划与进度安排85

5.1.4 需求分析87

5.2 结构化分析方法89

5.2.1 数据流分析89

5.2.2 数据流图90

5.2.3 数据字典93

5.2.4 逻辑表达工具97

5.3 软件成本估算100

5.3.1 成本估算方法100

5.3.2 软件生产率101

5.3.3 代码行成本估算方法102

5.3.4 每项任务工作量的成本估算方法103

5.4 进度计划104

5.4.1 各阶段工作量分配104

5.4.2 开发进度表105

5.5 小结106

5.5.1 基本概念与方法106

5.5.2 分析时期主要文档106

第六章 软件设计107

6.1 概要设计与详细设计107

6.1.1 概要设计107

6.1.2 详细设计的任务108

6.2 概要设计的图表工具108

6.2.1 IPO图108

6.2.2 结构图111

6.3 结构化设计112

6.3.1 面向数据流的设计112

6.3.2 变换流与事务流113

6.3.3 设计步骤114

6.3.4 变换设计115

6.3.5 事务设计116

6.4 详细设计工具118

6.4.1 程序流程图118

6.4.2 盒图118

6.4.3 PAD图119

6.4.4 过程设计语言PDL120

6.4.5 几种工具的比较121

6.5 JACKSON方法123

6.5.1 Jackson图123

6.5.2 面向数据结构的设计123

6.5.3 设计实例124

6.6 小结127

6.6.1 基本概念与方法127

6.6.2 主要文档128

第七章 软件编码与测试129

7.1 软件编码129

7.1.1 程序设计语言129

7.1.2 编程语言的选择130

7.1.3 编程风格131

7.1.4 编程途径132

7.2 测试的基本概念132

7.2.1 什么是软件测试132

7.2.2 黑盒测试与白盒测试133

7.2.3 测试的基本原则134

7.3 测试过程135

7.3.1 测试过程及信息流135

7.3.2 软件测试步骤136

7.3.3 单元测试方法137

73.4 集成测试方法138

7.3.5 验收测试140

7.4 测试方案设计141

7.4.1 逻辑覆盖141

7.4.2 等价类划分144

7.4.3 边界值分析145

7.5 调试技术146

7.5.1 静态查找146

7.5.2 消去法146

7.5.3 回溯法147

7.6 小结147

第八章 软件运行与维护149

8.1 软件交付使用149

8.1.1 软件交付使用的工作149

8.1.2 软件交付使用的方式149

8.2 软件维护基本概念151

8.2.1 软件开发与维护151

8.2.2 软件维护的类型151

8.2.3 软件的可维护性152

8.3 软件维护的特点153

8.3.1 软件工程与软件维护的关系153

8.3.2 软件维护的代价154

8.3.3 软件维护工作量模型154

8.3.4 软件维护的典型问题155

8.3.5 软件维护的副作用155

8.4 维护过程与方法157

8.4.1 维护组织157

8.4.2 维护报告158

8.4.3 维护模型159

8.4.4 保存维护记录160

8.4.5 维护的评价160

第九章 软件评价与管理162

9.1 软件质量162

9.1.1 软件质量标准162

9.1.2 软件质量保证163

9.2 软件质量度量模型163

9.2.1 Boehm模型164

9.2.2 McCall模型164

9.2.3 ISO建议模型165

9.2.4 软件质量因素165

9.3 软件质量评价方法169

9.3.1 McCabe软件复杂性度量169

9.3.2 Halstad软件复杂性度量方法171

9.3.3 软件可靠性度量方法172

9.4 软件工程管理173

9.4.1 组织机构与人员管理174

9.4.2 软件工程控制176

9.4.3 文档资料管理176

9.5 软件产权176

9.5.1 软件知识产权的法律保护176

9.5.2 软件著作权保护177

第三部分 应用开发模型181

第十章 面向对象开发模型181

10.1 基本概念与特征181

10.1.1 对象与消息181

10.1.2 类与继承性182

10.1.3 协议与封装184

10.1.4 多态性与动态联编184

10.2 面向对象软件开发模型185

10.2.1 多层次多组成模型185

10.2.2 OOA的五个层次185

10.2.3 OOD扩充的四个组成部分189

10.3 面向对象分析189

10.3.1 Cord与Yourdon面向对象分析189

10.3.2 标识类／对象191

10.3.3 标识结构194

10.3.4 标识主题195

10.3.5 定义属性197

10.3.6 定义服务203

10.3.7 OOA的CASE工具205

10.4 面向对象设计与实现206

10.4.1 转向面向对象的设计206

10.4.2 OOD准则及步骤207

10.4.3 OOD与实现语言208

10.4.4 面向对象程序设计209

10.5 小结211

第十一章 典型数据库应用模型212

11.1 前言212

11.1.1 典型数据库应用的特征212

11.1.2 典型数据库应用开发现状及存在的问题212

11.1.3 典型数据库应用模型213

11.1.4 范例模型及应用214

11.2 典型问题模式215

11.2.1 数据库组织与结构216

11.2.2 用户界面217

11.2.3 查询模式217

11.2.4 输入输出模式220

11.2.5 数据库管理220

11.2.6 系统维护与辅助功能221

11.2.7 大批量数据录入工程221

11.3 应用开发222

11.3.1 基本步骤222

11.3.2 数据库设计222

11.3.3 软件结构设计224

11.3.4 模块设计224

11.3.5 应用实践225

参考文献226