軟件可靠性工程

譯者序
前   言
第1章   軟件可靠性工程概論 1
1.1   什么是軟件可靠性工程, 它是如何
幫助開(kāi)發(fā)和測(cè)試的 2
1.2   軟件可靠性工程過(guò)程 3
1.3   Fone Follower 5
1.4   測(cè)試的類型 5
1.5   待測(cè)系統(tǒng) 6
1.6   常見(jiàn)問(wèn)題 7
1.6.1   有效性和益處 7
1.6.2   概念 10
1.6.3   與其他實(shí)踐的聯(lián)系 12
1.6.4   應(yīng)用 14
1.7   背景 16
1.7.1   軟件可靠性概念 17
1.7.2   可靠性 19
1.7.3   軟件可靠性與硬件可靠性 24
1.7.4   軟件可靠性建模 25
1.8   問(wèn)題 26
第2章   定義必要的可靠性 27
2.1   概念 27
2.1.1   失效與錯(cuò)誤 27
2.1.2   失效嚴(yán)重程度類 27
2.1.3   失效強(qiáng)度 28
2.2   過(guò)程 29
2.2.1   為產(chǎn)品定義嚴(yán)重程度類的失效 29
2.2.2   為所有相關(guān)系統(tǒng)選擇通用度量 30
2.2.3   為每個(gè)要測(cè)試的系統(tǒng)建立失效
強(qiáng)度目標(biāo) 30
2.2.4   為產(chǎn)品及其變體確定被開(kāi)發(fā)軟件
的失效強(qiáng)度目標(biāo) 34
2.2.5   制定策略以滿足所開(kāi)發(fā)軟件的
失效強(qiáng)度目標(biāo) 35
2.3   特殊情況 36
2.3.1   其他失效劃分方法 37
2.3.2   為組件分配失效強(qiáng)度目標(biāo) 37
2.3.3   軟件安全性與超可靠性 39
2.4   常見(jiàn)問(wèn)題 40
2.4.1   失效的定義 40
2.4.2   失效嚴(yán)重程度類 41
2.4.3   建立失效強(qiáng)度目標(biāo) 42
2.4.4   概念 45
2.4.5   應(yīng)用 47
2.5   背景 50
2.5.1   通過(guò)嚴(yán)重程度類定義失效 50
2.5.2   建立系統(tǒng)失效強(qiáng)度目標(biāo) 57
2.5.3   可用性 60
2.5.4   可靠性組合 60
2.6   問(wèn)題 61
第3章   開(kāi)發(fā)操作剖面 63
3.1   概念 63
3.2   過(guò)程 66
3.2.1   確定操作模式 66
3.2.2   確定操作的發(fā)起者 67
3.2.3   選擇表格還是圖形表示法 68
3.2.4   創(chuàng)建操作表 68
3.2.5   確定出現(xiàn)率 72
3.2.6   確定出現(xiàn)概率 75
3.3   特殊情況 76
3.3.1   系統(tǒng)開(kāi)發(fā)期間操作定義進(jìn)化
的處理 76
3.3.2   應(yīng)用模塊使用表 78
3.4   常見(jiàn)問(wèn)題 78
3.4.1   使用 78
3.4.2   概念 80
3.4.3   應(yīng)用 81
3.5   背景 85
3.5.1   確定操作模式 85
3.5.2   操作和運(yùn)行 86
3.6   問(wèn)題 87
第4章   測(cè)試準(zhǔn)備 89
4.1   概念 89
4.2   過(guò)程 92
4.2.1   測(cè)試案例準(zhǔn)備 92
4.2.2   測(cè)試過(guò)程準(zhǔn)備 96
4.3   常見(jiàn)問(wèn)題 99
4.4   背景 103
4.4.1   測(cè)試效率 103
4.4.2   通過(guò)使用運(yùn)行分類提高測(cè)試效率 104
4.4.3   測(cè)試選擇的圖形視圖 105
4.5   問(wèn)題 106
第5章   執(zhí)行測(cè)試 107
5.1   分配測(cè)試時(shí)間 107
5.2   調(diào)用測(cè)試 108
5.3   標(biāo)識(shí)系統(tǒng)失效 110
5.3.1   分析測(cè)試輸出的偏離 110
5.3.2   確定哪些偏離是失效 111
5.3.3   估計(jì)失效出現(xiàn)的時(shí)間 112
5.4   特殊情況 114
5.4.1   多配置測(cè)試中出現(xiàn)的失效估計(jì) 114
5.4.2   估計(jì)失效發(fā)生時(shí)間中的不確定性 115
5.4.3   現(xiàn)場(chǎng)中的多版本 117
5.5   常見(jiàn)問(wèn)題 117
5.5.1   測(cè)試過(guò)程 117
5.5.2   計(jì)算失效 119
5.5.3   度量發(fā)生失效的時(shí)間 122
5.6   背景 127
5.6.1   分配測(cè)試時(shí)間 127
5.6.2   調(diào)用測(cè)試 127
5.6.3   計(jì)算失效 128
5.7   問(wèn)題 129
第6章   將失效數(shù)據(jù)應(yīng)用于指導(dǎo)決策 131
6.1   確認(rèn)測(cè)試 131
6.2   可靠性增長(zhǎng)測(cè)試 133
6.3   特殊情況 136
6.3.1   演化的程序 136
6.3.2   未報(bào)告的失效 138
6.3.3   不同風(fēng)險(xiǎn)水平和分辨率條件下
的確認(rèn)測(cè)試 141
6.3.4   操作剖面變化 147
6.4   常見(jiàn)問(wèn)題 148
6.4.1   理論 148
6.4.2   應(yīng)用 151
6.4.3   特殊情況 157
6.5   問(wèn)題 159
第7章   部署軟件可靠性工程 161
7.1   說(shuō)服 161
7.2   執(zhí)行部署 162
7.3   使用咨詢公司 164
7.3.1   咨詢方 165
7.3.2   咨詢公司 165
7.4   常見(jiàn)問(wèn)題 166
第8章   軟件可靠性模型 173
8.1   一般特性 174
8.1.1   隨機(jī)過(guò)程 175
8.1.2   有錯(cuò)誤清除和無(wú)錯(cuò)誤清除  176
8.1.3   具體化 177
8.2   分類 177
8.3   比較 178
8.3.1   時(shí)間域 179
8.3.2   模型組 186
8.4   推薦模型 193
8.4.1   描述 194
8.4.2   對(duì)數(shù)泊松執(zhí)行時(shí)間模型參數(shù)
的解釋 208
8.4.3   模型的推導(dǎo) 211
8.4.4   參數(shù)預(yù)測(cè) 214
8.4.5   參數(shù)估計(jì) 223
8.5   常見(jiàn)問(wèn)題 226
附錄A   軟件可靠性工程過(guò)程步驟 229
附錄B   研討會(huì)模板 231
附錄C   術(shù)語(yǔ)表 235
附錄D   有用公式小結(jié) 241
附錄E   軟件工具輔助軟件可靠性
工程和測(cè)試功能 243
附錄F   使用CASRE 245
附錄G   問(wèn)題答案 251
附錄H   軟件可靠性工程用戶文獻(xiàn) 255
參考文獻(xiàn) 259