智能化軟件質(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　軟件評(píng)審與審計(jì)21

2.2　驗(yàn)證和確認(rèn)25

2.3　QA & QC28

2.4　軟件缺陷管理30

2.5　軟件配置管理33

2.6　軟件項(xiàng)目的風(fēng)險(xiǎn)管理37

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

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

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

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

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

3.2.1　設(shè)計(jì)過程48

3.2.2　設(shè)計(jì)原理49

3.2.3　設(shè)計(jì)工具51

3.2.4　設(shè)計(jì)模式53

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

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

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

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

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

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

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

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

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

4.4.1　SQA組織的建立73

4.4.2　常見的SQA組織模型74

4.4.3　SQA組織的目標(biāo)與責(zé)任75

4.4.4　SQA人員78

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

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

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

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

4.8.1　ISO88

4.8.2　CMM91

4.8.3　六西格瑪94

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

5.1　形式化方法97

5.2　模型檢查101

5.3　定理證明105

5.4　仿真109

5.5　容錯(cuò)計(jì)算112

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

6.1　云計(jì)算117

6.2　霧計(jì)算121

6.3　邊緣計(jì)算123

6.4　普適計(jì)算125

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

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

6.7　第五代移動(dòng)通信技術(shù)：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　移動(dòng)App150

7.7　智能軟件154

7.8　網(wǎng)構(gòu)軟件157

7.9　知件160

7.10　學(xué)件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　軟件眾包的目標(biāo)176

8.5.4　軟件眾包實(shí)例176

8.5.5　軟件眾包的局限和爭議178

8.5.6　小結(jié)179

第9章　軟件智能化技術(shù)180

9.1　數(shù)據(jù)挖掘180

9.2　軟件倉庫挖掘183

9.3　機(jī)器學(xué)習(xí)185

9.4　知識(shí)圖譜187

9.4.1　知識(shí)圖譜的研究背景188

9.4.2　知識(shí)圖譜概述188

9.4.3　知識(shí)圖譜關(guān)鍵技術(shù)189

9.4.4　知識(shí)圖譜典型應(yīng)用191

9.4.5　知識(shí)圖譜的問題與挑戰(zhàn)191

9.4.6　小結(jié)191

9.5　統(tǒng)計(jì)預(yù)測192

9.6　人工智能193

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

9.8　區(qū)塊鏈199

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

10.1　軟件分析203

10.2　軟件演化205

10.3　軟件架構(gòu)211

10.4　設(shè)計(jì)模式215

10.5　軟件重構(gòu)218

10.6　軟件控制論220

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

參考文獻(xiàn)226