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

本书系统介绍智能化软件质量保证的概念、理论和方法，特别是关于智能化软件的新概念、新特性、新技术、新平台和新应用场景。全书共10章，主要内容包括：软件质量保证的重要过程和管理，软件生命周期中的质量保证，软件质量保证体系，软件质量保证的自动化方法，软件服务新环境，软件新形式，群智化与敏捷化开发，软件智能化技术，以及软件智能化开发支撑技术。 本书可作为高等院校计算机、软件工程及相关专业的教材，或相关领域从业人员、科研工作者的参考书，也可帮助感兴趣的读者开阔视野和思路。

前言
第1章 软件质量保证概论
1.1 软件质量保证的概念和理论体系
1.2 软件与智能化软件
1.3 质量与质量观
1.4 软件质量
1.4.1 软件可靠性
1.4.2 软件安全性
1.4.3 软件可信性
1.5 软件度量
1.6 质量发展纲要（2011-2020年）
第2章 软件质量保证的重要过程和管理
2.1 软件评审与审计
2.2 验证和确认
2.3 QA & QC
2.4 软件缺陷管理
2.5 软件配置管理
2.6 软件项目的风险管理
2.7 软件质量管理
2.8 全面质量管理
第3章 软件生命周期中的质量保证
3.1 需求分析的质量
3.2 软件设计的质量
3.2.1 设计过程
3.2.2 设计原理
3.2.3 设计工具
3.2.4 设计模式
3.3 软件编码的质量
3.4 软件测试的质量
3.5 软件发布的质量
3.6 软件维护的质量
第4章 软件质量保证体系
4.1 软件质量相关职业
4.2 软件质量图表工具
4.3 软件质量经济学
4.4 软件质量保证组织
4.4.1 SQA组织的建立
4.4.2 常见的SQA组织模型
4.4.3 SQA组织的目标与责任
4.4.4 SQA人员
4.5 软件质量保证计划
4.6 软件质量工程体系
4.7 软件质量保证的文档模板
4.8 软件质量保证的标准与规范
4.8.1 ISO
4.8.2 CMM
4.8.3 六西格玛
第5章 软件质量保证的自动化方法
5.1 形式化方法
5.2 模型检查
5.3 定理证明
5.4 仿真
5.5 容错计算
第6章 软件服务新环境
6.1 云计算
6.2 雾计算
6.3 边缘计算
6.4 普适计算
6.5 物联网
6.6 “互联网+”与工业4.0
6.7 第五代移动通信技术：5G
第7章 软件新形式
7.1 多核与并发系统
7.2 中间件
7.3 分布式系统
7.4 软件Agent
7.5 信息物理系统
7.6 移动App
7.7 智能软件
7.8 网构软件
7.9 知件
7.10 学件
第8章 群智化与敏捷化开发
8.1 软件生产线
8.2 DevOps
8.3 开源软件
8.4 软件生态系统
8.5 软件众包
8.5.1 软件众包与外包
8.5.2 软件众包的重要事件
8.5.3 软件众包的目标
8.5.4 软件众包实例
8.5.5 软件众包的局限和争议
8.5.6 小结
第9章 软件智能化技术
9.1 数据挖掘
9.2 软件仓库挖掘
9.3 机器学习
9.4 知识图谱
9.4.1 知识图谱的研究背景
9.4.2 知识图谱概述
9.4.3 知识图谱关键技术
9.4.4 知识图谱典型应用
9.4.5 知识图谱的问题与挑战
9.4.6 小结
9.5 统计预测
9.6 人工智能
9.7 大数据
9.8 区块链
第10章 软件智能化开发支撑技术
10.1 软件分析
10.2 软件演化
10.3 软件架构
10.4 设计模式
10.5 软件重构
10.6 软件控制论
10.7 软件工程的理论与方法
参考文献