软件工程 理论、方法与实践2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

软件工程 理论、方法与实践PDF格式电子书版下载

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

第1章　概述1

1.1　软件1

1.1.1　软件的特性2

1.1.2　软件的发展4

1.1.3　软件危机5

1.2　软件工程7

1.2.1　软件工程的概念7

1.2.2　软件工程的三要素7

1.2.3　软件质量的特性8

1.2.4　软件工程方法9

1.2.5　计算机辅助软件工程CASE10

1.2.6　当前面临的主要挑战12

1.3.1 SWEBOK项目介绍14

1.3　软件工程知识体系（SWEBOK）14

1.3.2 SWEBOK的组成15

1.3.3 软件工程与其他相关学科的关系19

1.4 软件工程职业道德规范20

1.4.1 IEEE/ACM职业道德准则20

1.4.2 软件工程人员的职业道德建设21

习题21

第2章 软件过程23

2.1 软件过程的概念23

2.1.1 任务思维与过程思维23

2.1.2 软件过程的定义24

2.1.3 软件过程的基本活动25

2.1.4 软件过程的制品26

2.2 软件过程模型27

2.2.1 瀑布模型27

2.2.2 快速原型模型28

2.2.3 增量模型29

2.2.4 螺旋模型30

2.2.5 形式化方法模型31

2.2.6 基于组件的开发模型31

2.3　案例：微软公司的软件开发过程32

2.3.1 微软公司的开发管理原则32

2.3.2　微软公司的软件过程模型33

2.3.3　递进式的软件开发策略34

习题35

第3章　软件项目管理36

3.1　软件项目管理概述36

3.1.1　软件项目的特征36

3.1.2　软件项目管理的“4P”37

3.1.3　软件项目管理活动38

3.2　人员组织与管理40

3.2.1　软件项目组织40

3.2.2　案例：微软公司的软件开发组织42

3.2.3　软件团队的建设44

3.3　项目沟通管理45

3.3.1　项目沟通复杂性45

3.3.2　项目沟通方式46

3.3.3　项目沟通活动48

3.4　软件项目规划50

3.4.1　软件规模估算50

3.4.2　软件成本估算54

3.4.3　软件项目计划56

3.5　软件风险管理57

3.5.1　风险识别58

3.5.2　风险分析62

3.5.3　风险规划63

3.5.4 风险监控64

3.6　软件配置管理65

3.6.1 基本概念65

3.6.2　配置管理活动66

3.6.3　配置管理工具69

习题69

第4章　需求工程71

4.1 软件需求71

4.1.1 业务需求72

4.1.2　用户需求74

4.1.3　功能需求和非功能需求74

4.1.4　系统需求76

4.2　需求工程过程76

4.2.2　需求分析77

4.2.1 需求获取77

4.2.3　需求规格说明78

4.2.4　需求验证81

4.2.5　需求管理84

4.3　需求获取技术87

4.3.1 面谈87

4.3.2　需求专题讨论会89

4.3.3　观察用户工作流程90

4.3.4　原型化方法91

4.3.5　基于用例的方法91

4.4　案例：小型图书资料管理系统92

4.4.1　确定参与者92

4.4.2　确定场景93

4.4.4　编写用例描述94

4.4.3　确定用例94

习题96

第5章　软件工程中的形式化方法98

5.1　形式化方法基本概念99

5.1.1　形式规约（Formal Specification）99

5.1.2　形式证明与验证（Formal Verification and Validation）100

5.1.3　程序求精（Program Refinement）101

5.2　时态逻辑101

5.2.1　一阶线性时态逻辑102

5.2.2　计算树逻辑106

5.3　模型检验110

5.4　Z语言111

5.4.1　概述111

5.4.2　Z语言表示112

5.4.3　Z语言实例115

5.5　Petri网126

5.5.1　基本定义126

5.5.2　Petri网规格实例——信号灯130

习题130

第6章　面向对象基础133

6.1 面向对象方法概述133

6.1.1 面向对象技术的发展历史133

6.1.2　面向对象的软件工程方法134

6.2　面向对象基本概念135

6.2.1 对象135

6.2.2　类136

6.2.3　封装136

6.2.5 消息137

6.2.6　关联137

6.2.4　继承137

6.2.7　聚合138

6.2.8　多态性138

6.3　软件建模概念138

6.3.1 系统、模型和视图139

6.3.2　软件建模的重要性139

6.4　统一建模语言UML140

6.4.1 UML的发展历史141

6.4.2　UML的概念模型142

6.4.3　UML建模示例146

6.4.4　UML应用147

6.5 常用的UML图148

6.5.1 用例图148

6.5.2　类图151

6.5.3　顺序图153

6.5.4　状态图154

习题155

第7章　面向对象分析157

7.1　分析的概念157

7.1.1 分析类157

7.1.2　分析活动159

7.2　识别分析类159

7.2.1　识别边界类159

7.2.2　识别控制类160

7.2.3　识别实体类161

7.3　定义交互行为164

7.4　建立分析类图166

7.4.1　定义关系和属性166

7.4.2　应用分析模式167

7.5　评审分析模型168

习题169

第8章　面向对象设计171

8.1　设计的概念171

8.1.1　设计活动171

8.1.2　设计原则172

8.2　软件体系结构174

8.2.1　仓库体系结构175

8.2.2　分层体系结构176

8.2.3　MVC体系结构176

8.2.4　客户机／服务器体系结构177

8.2.5　管道和过滤体系结构178

8.2.6 案例：MiniLibraray系统体系结构178

8.3　系统设计180

8.3.1　识别设计元素180

8.3.2　数据存储策略181

8.3.3　部署子系统182

8.3.4　系统设计评审182

8.4　详细设计183

8.4.1　方法建模183

8.4.2　属性建模184

8.4.3　状态建模185

8.4.4　关系建模185

8.4.5　详细设计评审186

8.5　应用设计模式186

8.5.1　Abstract Factory模式187

8.5.2　Adaptor模式187

8.5.3　Bridge模式188

8.5.4　Facade模式188

8.6.1　用户界面设计原则189

8.6　用户界面设计189

8.6.2　Web界面的设计190

8.6.3　用户支持190

8.7　设计文档191

习题193

第9章　软件实现196

9.1　程序设计语言196

9.2　软件编码规范198

9.2.1　文件命名与组织198

9.2.2　代码的版式200

9.3　软件编码案例分析206

9.3.1　程序注释问题206

9.3.2　变量命名问题209

9.3.3 内存异常问题210

9.3.4　异常处理问题214

9.3.5　性能问题215

9.4　软件代码审查217

习题218

第10章　软件测试221

10.1　验证与确认221

10.1.1　软件的错误221

10.1.2　验证与确认222

10.1.3 V V的活动223

10.2　软件测试基础224

10.2.1　什么是软件测试224

10.2.2　软件测试的基本原则224

10.2.3　软件测试与软件开发各阶段的关系226

10.2.4　测试文档227

10.2.5　软件测试信息流228

10.2.6　软件测试人员229

10.3　软件测试策略231

10.3.1 单元测试231

10.3.2　集成测试234

10.3.3　确认测试236

10.3.4　系统测试237

10.3.5　软件调试238

10.4　软件测试方法240

10.4.1　静态测试与动态测试240

10.4.2　黑盒测试与白盒测试241

10.4.3　黑盒测试方法242

10.4.4　白盒测试方法244

10.4.5　程序的静态测试247

10.5　面向对象软件测试247

10.5.1　面向对象测试类型248

10.5.2　面向对象测试示例249

10.5.3　GUI测试示例253

10.6　软件测试工具254

10.6.1 Junit255

10.6.2　LoadRunner258

习题259

第11章　软件演化261

11.1　软件演化的特性261

11.2　软件维护262

11.2.1　软件维护的概念262

11.2.2　软件维护的特点263

11.2.3　软件维护的过程264

11.3　软件再工程266

习题268

参考文献269