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

定　價(jià)：￥59.00

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

購(gòu)買這本書(shū)可以去

ISBN：	9787111658078	出版時(shí)間：	2020-07-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	240	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書(shū)目錄

前言

第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ì)量保證的重要過(guò)程和管理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ì)過(guò)程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　軟件測(cè)試的質(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　常見(jiàn)的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章　群智化與敏捷化開(kāi)發(fā)165

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

8.2　DevOps168

8.3　開(kāi)源軟件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　軟件眾包的局限和爭(zhēng)議178

8.5.6　小結(jié)179

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

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

9.2　軟件倉(cāng)庫(kù)挖掘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í)圖譜的問(wèn)題與挑戰(zhàn)191

9.4.6　小結(jié)191

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

9.6　人工智能193

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

9.8　區(qū)塊鏈199

第10章　軟件智能化開(kāi)發(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