本書主要介紹需求驅(qū)動的可信軟件過程建模及管理方法。首先，系統(tǒng)地論述可信軟件與軟件過程領(lǐng)域的相關(guān)研究與實踐背景，分析可信軟件與軟件過程的關(guān)系。在通過可信軟件需求獲取過程策略的基礎(chǔ)上，提出面向方面的可信軟件過程建模，建模的主要目的是建立可信軟件過程的抽象模型，通過對該抽象模型的分析有助于更好地理解正在實施或者將要實施的可信軟件過程，同時，可執(zhí)行的可信軟件過程模型可以直接指導(dǎo)實際可信軟件生產(chǎn)活動，進(jìn)而規(guī)范軟件開發(fā)行為，保證可信軟件的可信性得以滿足。最后，從過程模型切入，進(jìn)一步關(guān)注過程績效，建立“認(rèn)識過程，建立過程，運作過程，優(yōu)化過程”的體系，對可信軟件過程提出管理方法，解決過程可信性度量、過程改進(jìn)、過程運行實例動態(tài)可信演化以及可信風(fēng)險管理問題，力圖全面地給出一個需求驅(qū)動、面向軟件過程的可信軟件開發(fā)及演化解決方案。同時，全書系統(tǒng)地介紹可信軟件需求與可信軟件過程領(lǐng)域研究的經(jīng)典理論和**進(jìn)展，也為軟件工業(yè)界了解本領(lǐng)域相關(guān)方法學(xué)提供參考。
更多科學(xué)出版社服務(wù)，請掃碼獲取。
目錄
前言
第1章 可信軟件與軟件過程 1
1.1 軟件的可信需求 1
1.1.1 可信軟件 2
1.1.2 可信軟件需求 3
1.2 可信軟件與軟件過程 4
1.2.1 軟件過程 4
1.2.2 可信軟件與軟件過程 6
1.3 本書結(jié)構(gòu) 8
參考文獻(xiàn) 9
第2章 可信軟件需求獲取與建模 12
2.1 軟件需求工程 13
2.1.1 軟件需求工程過程 14
2.1.2 軟件需求建模 15
2.2 可信軟件分領(lǐng)域需求 18
2.2.1 可信軟件需求領(lǐng)域統(tǒng)計方法 18
2.2.2 可信軟件需求領(lǐng)域統(tǒng)計結(jié)果 19
2.3 可信軟件需求定義與獲取 35
2.3.1 可信軟件需求定義 35
2.3.2 可信軟件非功能需求獲取 40
2.4 可信軟件早期需求建模 50
2.4.1 可信軟件需求元模型 51
2.4.2 非功能需求本體知識庫 55
2.5 案例研究 63
2.5.1 可信第三方認(rèn)證中心軟件SIS 63
2.5.2 航天軟件 65
2.6 小結(jié) 69
參考文獻(xiàn) 69
第3章 可信軟件需求推理與權(quán)衡 73
3.1 可信軟件非功能需求交互關(guān)系 74
3.1.1 軟件非功能需求的交互 74
3.1.2 非功能需求推理與權(quán)衡 76
3.2 可信軟件早期需求推理 78
3.2.1 可信軟件需求的可滿足性問題 78
3.2.2 可信軟件需求的SAT 公式 83
3.2.3 推理的可靠性和完備性 86
3.2.4 可信軟件需求的可滿足性問題求解 88
3.3 非功能需求沖突權(quán)衡 92
3.3.1 非功能需求權(quán)衡 92
3.3.2 權(quán)衡代價分析 93
3.4 案例研究 100
3.4.1 SIS軟件需求推理 100
3.4.2 SIS軟件需求權(quán)衡 104
3.5 小結(jié) 108
參考文獻(xiàn) 109
第4章 面向方面可信軟件過程建模框架 113
4.1 可信軟件過程建模基礎(chǔ) 115
4.1.1 Petri網(wǎng) 115
4.1.2 軟件演化過程建模方法 117
4.1.3 面向方面建模 121
4.2 面向方面擴(kuò)展軟件過程建模方法 124
4.3 可信軟件過程元模型 128
4.4 可信軟件過程建�？蚣� 133
4.5 可信方面編織沖突分析 136
4.5.1 可信方面間編織沖突分析 136
4.5.2 可信方面織入基本模型沖突分析 137
4.6 可信方面編織沖突控制 138
4.6.1 可信方面間編織沖突控制 138
4.6.2 可信方面織入基本過程沖突控制 139
4.7 可信過程方面織入沖突檢測 145
4.7.1 面向方面的沖突檢測方法 146
4.7.2 沖突檢測方面 147
4.8 小結(jié) 150
參考文獻(xiàn) 150
第5章 可信方面編織方法 153
5.1 可信方面間融合 154
5.1.1 可信過程方面間融合 154
5.1.2 可信任務(wù)方面間融合 160
5.2 可信過程方面織入 162
5.2.1 條件織入 162
5.2.2 活動織入 164
5.2.3 弧織入 170
5.3 結(jié)構(gòu)保持性 172
5.4 性質(zhì)保持性 175
5.5 行為一致性 183
5.6 可信任務(wù)方面織入 187
5.7 可信方面間編織完整性及正確性 189
5.8 小結(jié) 194
參考文獻(xiàn) 194
第6章 可信軟件過程建模 195
6.1 面向方面可信軟件過程建模 196
6.1.1 活動層建模 197
6.1.2 任務(wù)層和過程層建模 198
6.1.3 全局層建模 201
6.2 可信方面追蹤 202
6.2.1 可信方面追蹤原則 202
6.2.2 可信方面織入一致性追蹤 203
6.3 案例研究 206
6.3.1 可信第三方認(rèn)證中心軟件SIS 207
6.3.2 航天軟件 211
6.3.3 面向方面業(yè)務(wù)過程建模 217
6.4 小結(jié) 227
參考文獻(xiàn) 228
第7章 可信軟件過程管理 229
7.1 軟件過程可信性度量 230
7.1.1 可靠性度量 234
7.1.2 安全性度量 246
7.1.3 易用性度量 257
7.2 軟件過程改進(jìn) 269
7.2.1 面向方面過程改進(jìn)方法 271
7.2.2 軟件過程改進(jìn)案例 272
7.3 軟件過程動態(tài)可信演化 274
7.3.1 過程運行實例的動態(tài)可信演化 278
7.3.2 可信過程片段遷移 281
7.3.3 演化異常處理 283
7.3.4 軟件過程動態(tài)演化案例 286
7.4 可信風(fēng)險評估與控制 288
7.4.1 風(fēng)險管理基礎(chǔ) 289
7.4.2 可信軟件過程風(fēng)險評估 290
7.4.3 可信軟件過程風(fēng)險控制 295
7.5 小結(jié) 298
參考文獻(xiàn) 299
書單推薦
