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

定　價：￥59.00

作　者：	聶長海著
出版社：	機械工業(yè)出版社
叢編項：	高等院校理工類專業(yè)規(guī)劃教材
標　簽：	暫缺

購買這本書可以去

ISBN：	9787111658078	出版時間：	2020-07-01	包裝：	平裝
開本：	16開	頁數(shù)：	240	字數(shù)：

內(nèi)容簡介

　　本教材系統(tǒng)介紹軟件質(zhì)量保證的相關(guān)概念、理論和方法，特別是關(guān)于軟件的一些新概念、新特性、新技術(shù)、新平臺和新的應(yīng)用場景對軟件質(zhì)量和軟件質(zhì)量保證提出的一些新要求或提供的一些新手段。教材覆蓋的知識點超過了傳統(tǒng)教材的一倍以上，大大擴充了傳統(tǒng)軟件質(zhì)量保證教材的內(nèi)涵和外延。

作者簡介

　　聶長海南京大學(xué)計算機科學(xué)與技術(shù)系教授、博士生導(dǎo)師。中國計算機學(xué)會杰出會員，容錯專委會常務(wù)委員，軟件專委會委員，形式化專委會委員。江蘇省計算機學(xué)會副秘書長。在ACM TOSEM、IEEE TSE和ACM CSUR等期刊發(fā)表及合作發(fā)表學(xué)術(shù)論文近百篇，獲得多項發(fā)明專利和軟件著作權(quán)。曾主持國家863項目、國家重點研發(fā)項目課題和多項國家自然科學(xué)基金項目，多次作為重要項目成員獲得省部級科研獎。著有《組合測試》（2015）和《軟件測試的概念與方法》（2013）。

圖書目錄

前言

第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　軟件項目的風(fēng)險管理37

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

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

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

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

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

3.2.1　設(shè)計過程48

3.2.2　設(shè)計原理49

3.2.3　設(shè)計工具51

3.2.4　設(shè)計模式53

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

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

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

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

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

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

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

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

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

4.4.1　SQA組織的建立73

4.4.2　常見的SQA組織模型74

4.4.3　SQA組織的目標與責(zé)任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章　軟件服務(wù)新環(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　第五代移動通信技術(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　移動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　軟件眾包的目標176

8.5.4　軟件眾包實例176

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

8.5.6　小結(jié)179

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

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

9.2　軟件倉庫挖掘183

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

9.4　知識圖譜187

9.4.1　知識圖譜的研究背景188

9.4.2　知識圖譜概述188

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

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

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

9.4.6　小結(jié)191

9.5　統(tǒng)計預(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è)計模式215

10.5　軟件重構(gòu)218

10.6　軟件控制論220

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

參考文獻226