智能化軟件質(zhì)量保證的概念與方法

前言

第1章　軟件質(zhì)量保證概論1

1.1　軟件質(zhì)量保證的概念和理論體系1

1.2　軟件與智能化軟件2

1.3　質(zhì)量與質(zhì)量觀6

1.4　軟件質(zhì)量8

1.4.1　軟件可靠性10

1.4.2　軟件安全性14

1.4.3　軟件可信性17

1.5　軟件度量17

1.6　質(zhì)量發(fā)展綱要（2011—2020年）20

第2章　軟件質(zhì)量保證的重要過程和管理21

2.1　軟件評審與審計21

2.2　驗證和確認25

2.3　QA & QC28

2.4　軟件缺陷管理30

2.5　軟件配置管理33

2.6　軟件項目的風險管理37

2.7　軟件質(zhì)量管理40

2.8　全面質(zhì)量管理43

第3章　軟件生命周期中的質(zhì)量保證45

3.1　需求分析的質(zhì)量45

3.2　軟件設計的質(zhì)量48

3.2.1　設計過程48

3.2.2　設計原理49

3.2.3　設計工具51

3.2.4　設計模式53

3.3　軟件編碼的質(zhì)量53

3.4　軟件測試的質(zhì)量55

3.5　軟件發(fā)布的質(zhì)量59

3.6　軟件維護的質(zhì)量61

第4章　軟件質(zhì)量保證體系65

4.1　軟件質(zhì)量相關職業(yè)65

4.2　軟件質(zhì)量圖表工具67

4.3　軟件質(zhì)量經(jīng)濟學71

4.4　軟件質(zhì)量保證組織73

4.4.1　SQA組織的建立73

4.4.2　常見的SQA組織模型74

4.4.3　SQA組織的目標與責任75

4.4.4　SQA人員78

4.5　軟件質(zhì)量保證計劃79

4.6　軟件質(zhì)量工程體系82

4.7　軟件質(zhì)量保證的文檔模板83

4.8　軟件質(zhì)量保證的標準與規(guī)范88

4.8.1　ISO88

4.8.2　CMM91

4.8.3　六西格瑪94

第5章　軟件質(zhì)量保證的自動化方法97

5.1　形式化方法97

5.2　模型檢查101

5.3　定理證明105

5.4　仿真109

5.5　容錯計算112

第6章　軟件服務新環(huán)境117

6.1　云計算117

6.2　霧計算121

6.3　邊緣計算123

6.4　普適計算125

6.5　物聯(lián)網(wǎng)127

6.6　“互聯(lián)網(wǎng)+”與工業(yè)4.0129

6.7　第五代移動通信技術：5G131

第7章　軟件新形式134

7.1　多核與并發(fā)系統(tǒng)134

7.2　中間件136

7.3　分布式系統(tǒng)139

7.4　軟件Agent145

7.5　信息物理系統(tǒng)148

7.6　移動App150

7.7　智能軟件154

7.8　網(wǎng)構軟件157

7.9　知件160

7.10　學件162

第8章　群智化與敏捷化開發(fā)165

8.1　軟件生產(chǎn)線165

8.2　DevOps168

8.3　開源軟件170

8.4　軟件生態(tài)系統(tǒng)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　數(shù)據(jù)挖掘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　知識圖譜的問題與挑戰(zhàn)191

9.4.6　小結191

9.5　統(tǒng)計預測192

9.6　人工智能193

9.7　大數(shù)據(jù)197

9.8　區(qū)塊鏈199

第10章　軟件智能化開發(fā)支撐技術203

10.1　軟件分析203

10.2　軟件演化205

10.3　軟件架構211

10.4　設計模式215

10.5　軟件重構218

10.6　軟件控制論220

10.7　軟件工程的理論與方法222

參考文獻226