目錄
前言
第1章 可信軟件與軟件過(guò)程 1
1.1 軟件的可信需求 1
1.1.1 可信軟件 2
1.1.2 可信軟件需求 3
1.2 可信軟件與軟件過(guò)程 4
1.2.1 軟件過(guò)程 4
1.2.2 可信軟件與軟件過(guò)程 6
1.3 本書(shū)結(jié)構(gòu) 8
參考文獻(xiàn) 9
第2章 可信軟件需求獲取與建模 12
2.1 軟件需求工程 13
2.1.1 軟件需求工程過(guò)程 14
2.1.2 軟件需求建模 15
2.2 可信軟件分領(lǐng)域需求 18
2.2.1 可信軟件需求領(lǐng)域統(tǒng)計(jì)方法 18
2.2.2 可信軟件需求領(lǐng)域統(tǒng)計(jì)結(jié)果 19
2.3 可信軟件需求定義與獲取 35
2.3.1 可信軟件需求定義 35
2.3.2 可信軟件非功能需求獲取 40
2.4 可信軟件早期需求建模 50
2.4.1 可信軟件需求元模型 51
2.4.2 非功能需求本體知識(shí)庫(kù) 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 可信軟件需求的可滿(mǎn)足性問(wèn)題 78
3.2.2 可信軟件需求的SAT 公式 83
3.2.3 推理的可靠性和完備性 86
3.2.4 可信軟件需求的可滿(mǎn)足性問(wèn)題求解 88
3.3 非功能需求沖突權(quán)衡 92
3.3.1 非功能需求權(quán)衡 92
3.3.2 權(quán)衡代價(jià)分析 93
3.4 案例研究 100
3.4.1 SIS軟件需求推理 100
3.4.2 SIS軟件需求權(quán)衡 104
3.5 小結(jié) 108
參考文獻(xiàn) 109
第4章 面向方面可信軟件過(guò)程建�？蚣� 113
4.1 可信軟件過(guò)程建模基礎(chǔ) 115
4.1.1 Petri網(wǎng) 115
4.1.2 軟件演化過(guò)程建模方法 117
4.1.3 面向方面建模 121
4.2 面向方面擴(kuò)展軟件過(guò)程建模方法 124
4.3 可信軟件過(guò)程元模型 128
4.4 可信軟件過(guò)程建�？蚣� 133
4.5 可信方面編織沖突分析 136
4.5.1 可信方面間編織沖突分析 136
4.5.2 可信方面織入基本模型沖突分析 137
4.6 可信方面編織沖突控制 138
4.6.1 可信方面間編織沖突控制 138
4.6.2 可信方面織入基本過(guò)程沖突控制 139
4.7 可信過(guò)程方面織入沖突檢測(cè) 145
4.7.1 面向方面的沖突檢測(cè)方法 146
4.7.2 沖突檢測(cè)方面 147
4.8 小結(jié) 150
參考文獻(xiàn) 150
第5章 可信方面編織方法 153
5.1 可信方面間融合 154
5.1.1 可信過(guò)程方面間融合 154
5.1.2 可信任務(wù)方面間融合 160
5.2 可信過(guò)程方面織入 162
5.2.1 條件織入 162
5.2.2 活動(dòng)織入 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章 可信軟件過(guò)程建模 195
6.1 面向方面可信軟件過(guò)程建模 196
6.1.1 活動(dòng)層建模 197
6.1.2 任務(wù)層和過(guò)程層建模 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ù)過(guò)程建模 217
6.4 小結(jié) 227
參考文獻(xiàn) 228
第7章 可信軟件過(guò)程管理 229
7.1 軟件過(guò)程可信性度量 230
7.1.1 可靠性度量 234
7.1.2 安全性度量 246
7.1.3 易用性度量 257
7.2 軟件過(guò)程改進(jìn) 269
7.2.1 面向方面過(guò)程改進(jìn)方法 271
7.2.2 軟件過(guò)程改進(jìn)案例 272
7.3 軟件過(guò)程動(dòng)態(tài)可信演化 274
7.3.1 過(guò)程運(yùn)行實(shí)例的動(dòng)態(tài)可信演化 278
7.3.2 可信過(guò)程片段遷移 281
7.3.3 演化異常處理 283
7.3.4 軟件過(guò)程動(dòng)態(tài)演化案例 286
7.4 可信風(fēng)險(xiǎn)評(píng)估與控制 288
7.4.1 風(fēng)險(xiǎn)管理基礎(chǔ) 289
7.4.2 可信軟件過(guò)程風(fēng)險(xiǎn)評(píng)估 290
7.4.3 可信軟件過(guò)程風(fēng)險(xiǎn)控制 295
7.5 小結(jié) 298
參考文獻(xiàn) 299