智能化软件质量保证的概念与方法

　　本教材系统介绍软件质量保证的相关概念、理论和方法，特别是关于软件的一些新概念、新特性、新技术、新平台和新的应用场景对软件质量和软件质量保证提出的一些新要求或提供的一些新手段。教材覆盖的知识点超过了传统教材的一倍以上，大大扩充了传统软件质量保证教材的内涵和外延。

　　聂长海南京大学计算机科学与技术系教授、博士生导师。中国计算机学会杰出会员，容错专委会常务委员，软件专委会委员，形式化专委会委员。江苏省计算机学会副秘书长。在ACM TOSEM、IEEE TSE和ACM CSUR等期刊发表及合作发表学术论文近百篇，获得多项发明专利和软件著作权。曾主持国家863项目、国家重点研发项目课题和多项国家自然科学基金项目，多次作为重要项目成员获得省部级科研奖。著有《组合测试》（2015）和《软件测试的概念与方法》（2013）。

前言

第1章　软件质量保证概论1

1.1　软件质量保证的概念和理论体系1

1.2　软件与智能化软件2

1.3　质量与质量观6

1.4　软件质量8

1.4.1　软件可靠性10

1.4.2　软件安全性14

1.4.3　软件可信性17

1.5　软件度量17

1.6　质量发展纲要（2011—2020年）20

第2章　软件质量保证的重要过程和管理21

2.1　软件评审与审计21

2.2　验证和确认25

2.3　QA & QC28

2.4　软件缺陷管理30

2.5　软件配置管理33

2.6　软件项目的风险管理37

2.7　软件质量管理40

2.8　全面质量管理43

第3章　软件生命周期中的质量保证45

3.1　需求分析的质量45

3.2　软件设计的质量48

3.2.1　设计过程48

3.2.2　设计原理49

3.2.3　设计工具51

3.2.4　设计模式53

3.3　软件编码的质量53

3.4　软件测试的质量55

3.5　软件发布的质量59

3.6　软件维护的质量61

第4章　软件质量保证体系65

4.1　软件质量相关职业65

4.2　软件质量图表工具67

4.3　软件质量经济学71

4.4　软件质量保证组织73

4.4.1　SQA组织的建立73

4.4.2　常见的SQA组织模型74

4.4.3　SQA组织的目标与责任75

4.4.4　SQA人员78

4.5　软件质量保证计划79

4.6　软件质量工程体系82

4.7　软件质量保证的文档模板83

4.8　软件质量保证的标准与规范88

4.8.1　ISO88

4.8.2　CMM91

4.8.3　六西格玛94

第5章　软件质量保证的自动化方法97

5.1　形式化方法97

5.2　模型检查101

5.3　定理证明105

5.4　仿真109

5.5　容错计算112

第6章　软件服务新环境117

6.1　云计算117

6.2　雾计算121

6.3　边缘计算123

6.4　普适计算125

6.5　物联网127

6.6　“互联网+”与工业4.0129

6.7　第五代移动通信技术：5G131

第7章　软件新形式134

7.1　多核与并发系统134

7.2　中间件136

7.3　分布式系统139

7.4　软件Agent145

7.5　信息物理系统148

7.6　移动App150

7.7　智能软件154

7.8　网构软件157

7.9　知件160

7.10　学件162

第8章　群智化与敏捷化开发165

8.1　软件生产线165

8.2　DevOps168

8.3　开源软件170

8.4　软件生态系统173

8.5　软件众包175

8.5.1　软件众包与外包175

8.5.2　软件众包的重要事件175

8.5.3　软件众包的目标176

8.5.4　软件众包实例176

8.5.5　软件众包的局限和争议178

8.5.6　小结179

第9章　软件智能化技术180

9.1　数据挖掘180

9.2　软件仓库挖掘183

9.3　机器学习185

9.4　知识图谱187

9.4.1　知识图谱的研究背景188

9.4.2　知识图谱概述188

9.4.3　知识图谱关键技术189

9.4.4　知识图谱典型应用191

9.4.5　知识图谱的问题与挑战191

9.4.6　小结191

9.5　统计预测192

9.6　人工智能193

9.7　大数据197

9.8　区块链199

第10章　软件智能化开发支撑技术203

10.1　软件分析203

10.2　软件演化205

10.3　软件架构211

10.4　设计模式215

10.5　软件重构218

10.6　软件控制论220

10.7　软件工程的理论与方法222

参考文献226