2014年7月於國防工業出版社出版，作者Hoang Pham，翻譯：陸民燕 李璐禕
基本介紹
- 書名：系統軟體可靠性
- 作者：Hoang Pham
- 譯者：陸民燕 李璐禕
- 類別：學術專著
- 頁數：380
- 定價：88.00
- 出版社：國防工業出版社
- 出版時間：2014年7月
- 裝幀： 精裝
- 開本：16
- 書名系統軟體可靠性
- 書號978-7-118-09474-9
- 作者陸民燕、李璐禕
- 出版時間2014年7月
- 譯者
- 版次1版1次
- 開本16
- 裝幀精裝
- 出版基金裝備科技譯著出版基金
- 頁數380
- 字數492
- 中圖分類TP311.5
- 叢書名可靠性學術專著譯叢
- 定價88.00
本書介紹了軟體可靠性工程的相關理論和實踐知識，並重點關注於軟體可靠性的定量評估，詳細闡述了軟體可靠性評估的技術、方法及工具的最新研究進展。
書中不僅介紹了傳統的軟體可靠性模型和評估方法，特別是基於非齊次泊松過程的軟體可靠性模型及廣義非齊次泊松過程模型、模型選擇等，還描述了最新的關於環境因素的研究，並討論了環境因素對於可靠性評估的影響，此外書中還討論了軟體可靠性模型校準技術、成本模型，並簡要介紹了複雜軟體系統的容錯機制及考慮軟硬體互動失效的軟體可靠性模型。本書主要面向從事軟體可靠性評估工作的工程師和軟體可靠性評估領域的科研人員，也可作為計算機科學與技術、軟體工程、可靠性工程等學科的教師和研究生的教學參考資料。
目錄
第1章緒論1
1.1對於系統軟體可靠性的需求 1
1.2軟體相關問題 3
1.3軟體可靠性工程 4
1.421世紀面臨的新問題 5
1.5擴展閱讀 6
習題 7
第2章系統可靠性概念8
2.1可靠性度量元 8
2.2常見分布函式 14
2.3廣義“系統能力”函式 28
2.3.1“系統能力”的定義 28
2.3.2“系統能力”的計算 29
2.4具有多種失效模式的系統可靠性 35
2.4.1可靠性計算36
2.4.2多失效模式系統的套用41
2.5馬爾可夫過程 43
2.6計數過程 54
2.6.1泊松過程55
2.6.2更新過程56
2.6.3準更新過程58
2.6.4非齊次泊松過程60
2.7擴展閱讀 62
習題 62
第3章估計理論66
3.1點估計 66
3.2極大似然估計法 67
3.3截尾數據的極大似然估計 73
3.3.1多重截尾數據的參數估計74
3.3.2置信區間估計76
3.3.3套用76
3.4統計變點估計方法 79
3.5擬合優度技術 82
3.5.1卡方檢驗82
3.5.2K-S d測試84
3.6最小二乘估計 84
3.7區間估計 86
1.1對於系統軟體可靠性的需求 1
1.2軟體相關問題 3
1.3軟體可靠性工程 4
1.421世紀面臨的新問題 5
1.5擴展閱讀 6
習題 7
第2章系統可靠性概念8
2.1可靠性度量元 8
2.2常見分布函式 14
2.3廣義“系統能力”函式 28
2.3.1“系統能力”的定義 28
2.3.2“系統能力”的計算 29
2.4具有多種失效模式的系統可靠性 35
2.4.1可靠性計算36
2.4.2多失效模式系統的套用41
2.5馬爾可夫過程 43
2.6計數過程 54
2.6.1泊松過程55
2.6.2更新過程56
2.6.3準更新過程58
2.6.4非齊次泊松過程60
2.7擴展閱讀 62
習題 62
第3章估計理論66
3.1點估計 66
3.2極大似然估計法 67
3.3截尾數據的極大似然估計 73
3.3.1多重截尾數據的參數估計74
3.3.2置信區間估計76
3.3.3套用76
3.4統計變點估計方法 79
3.5擬合優度技術 82
3.5.1卡方檢驗82
3.5.2K-S d測試84
3.6最小二乘估計 84
3.7區間估計 86
3.7.1正態參數的置信區間86
3.7.2指數分布參數的置信區間88
3.7.3二項參數的置信區間89
3.7.4泊松參數的置信區間91
3.8非參數容差極限 91
3.9序貫抽樣 92
3.10貝葉斯方法 97
3.11擴展閱讀 103
習題 103
第4章軟體開發生命周期和數據分析105
4.1概述 105
4.2軟體與硬體的可靠性 105
4.3軟體可靠性測試的概念 108
4.4軟體生命周期 110
4.5軟體開發過程及其套用 114
4.5.1層次分析法115
4.5.2軟體開發過程的評估115
4.6軟體驗證和確認 116
4.7數據分析 117
4.8失效數據集 118
4.9擴展閱讀 130
習題 130
第5章軟體可靠性建模132
5.1概述 132
5.2Halstead軟體度量元 132
5.3McCabe圈複雜度度量元 136
5.4錯誤播種模型 138
5.5失效率模型 142
5.6曲線擬合模型 148
5.7可靠性增長模型 149
5.8馬爾可夫結構模型 149
5.9時間序列模型 151
5.10非齊次泊松過程模型 152
5.11擴展閱讀 153
習題 154
第6章不完美排錯模型155
6.1概述 155
6.2參數估計 156
6.3模型選取 157
6.4NHPP指數模型 158
6.5NHPP S 形模型 163
6.6NHPP不完美排錯模型 166
3.7.2指數分布參數的置信區間88
3.7.3二項參數的置信區間89
3.7.4泊松參數的置信區間91
3.8非參數容差極限 91
3.9序貫抽樣 92
3.10貝葉斯方法 97
3.11擴展閱讀 103
習題 103
第4章軟體開發生命周期和數據分析105
4.1概述 105
4.2軟體與硬體的可靠性 105
4.3軟體可靠性測試的概念 108
4.4軟體生命周期 110
4.5軟體開發過程及其套用 114
4.5.1層次分析法115
4.5.2軟體開發過程的評估115
4.6軟體驗證和確認 116
4.7數據分析 117
4.8失效數據集 118
4.9擴展閱讀 130
習題 130
第5章軟體可靠性建模132
5.1概述 132
5.2Halstead軟體度量元 132
5.3McCabe圈複雜度度量元 136
5.4錯誤播種模型 138
5.5失效率模型 142
5.6曲線擬合模型 148
5.7可靠性增長模型 149
5.8馬爾可夫結構模型 149
5.9時間序列模型 151
5.10非齊次泊松過程模型 152
5.11擴展閱讀 153
習題 154
第6章不完美排錯模型155
6.1概述 155
6.2參數估計 156
6.3模型選取 157
6.4NHPP指數模型 158
6.5NHPP S 形模型 163
6.6NHPP不完美排錯模型 166
6.7NHPP不完美排錯S形模型 168
6.8套用 176
6.9不完美排錯與完美排錯 183
6.10NHPP模型的平均失效間隔時間 185
6.11擴展閱讀 187
習題 188
第7章測試覆蓋率與錯誤移除模型190
7.1概述 190
7.2測試覆蓋模型 190
7.3測試覆蓋率與不完美排錯 192
7.4錯誤移除效率模型 195
7.5模型實施 199
6.8套用 176
6.9不完美排錯與完美排錯 183
6.10NHPP模型的平均失效間隔時間 185
6.11擴展閱讀 187
習題 188
第7章測試覆蓋率與錯誤移除模型190
7.1概述 190
7.2測試覆蓋模型 190
7.3測試覆蓋率與不完美排錯 192
7.4錯誤移除效率模型 195
7.5模型實施 199
7.6含有多種失效類型的不完全排錯模型 213
7.6.1恆定錯誤檢測率214
7.6.2時間相關的錯誤檢測率216
7.7擴展閱讀 220
習題 220
第8章考慮環境因子的軟體可靠性模型221
8.1概述 221
8.2數據分析 221
8.2.1調查分析221
8.2.2統計模型224
8.3環境因子的探索性分析 226
8.4進一步探索性分析 231
8.5考慮環境因子的廣義模型 235
8.6環境參數估計 237
8.7增強比例風險JM模型（EPJM模型） 238
8.8套用 241
8.9擴展閱讀 253
習題 253
第9章軟體可靠性模型的校準255
9.1概述 255
9.2校準因子方法 255
9.3模型套用 256
9.4考慮隨機外場環境的模型校準 259
9.4.1廣義隨機外場環境模型260
9.4.2RFE可靠性模型262
7.6.1恆定錯誤檢測率214
7.6.2時間相關的錯誤檢測率216
7.7擴展閱讀 220
習題 220
第8章考慮環境因子的軟體可靠性模型221
8.1概述 221
8.2數據分析 221
8.2.1調查分析221
8.2.2統計模型224
8.3環境因子的探索性分析 226
8.4進一步探索性分析 231
8.5考慮環境因子的廣義模型 235
8.6環境參數估計 237
8.7增強比例風險JM模型（EPJM模型） 238
8.8套用 241
8.9擴展閱讀 253
習題 253
第9章軟體可靠性模型的校準255
9.1概述 255
9.2校準因子方法 255
9.3模型套用 256
9.4考慮隨機外場環境的模型校準 259
9.4.1廣義隨機外場環境模型260
9.4.2RFE可靠性模型262
9.4.3套用264
9.5擴展閱讀 273
習題 273
第10章最優軟體發布策略274
9.5擴展閱讀 273
習題 273
第10章最優軟體發布策略274
10.1〖WB〗概述 274
10.2考慮風險因子的軟體成本模型 275
10.3考慮測試覆蓋率的成本模型 278
10.4廣義軟體成本模型 281
10.5考慮多種失效錯誤的成本模型 285
10.6考慮隨機外場環境的增益模型 290
10.6.1模型公式291
10.6.2套用295
10.7其他成本模型 298
10.8擴展閱讀299
習題 299
第11章複雜容錯系統可靠性建模301
11.1概述 301
11.2基本容錯軟體技術 302
11.2.1恢復塊機制303
11.2.2N版本編程304
11.3其他高級技術 305
11.3.1自檢雙版本機制305
11.3.2混合容錯機制306
11.3.3減少共因失效308
11.4考慮共因失效的三版本編程模型 309
11.4.1模型假設312
11.4.2三版本程式系統可靠性函式315
11.4.3數值例子317
11.5複雜系統可靠性建模 324
11.5.1系統考慮325
11.5.2可靠性建模326
11.6套用實例 331
11.7擴展閱讀 334
習題 334
附錄1分布表336
附錄2拉普拉斯變換342
附錄3軟體可靠性影響因子調查344
辭彙表 基礎辭彙、定義與術語350
部分習題解答255
索引361
參考文獻366
內容簡介380
"
10.2考慮風險因子的軟體成本模型 275
10.3考慮測試覆蓋率的成本模型 278
10.4廣義軟體成本模型 281
10.5考慮多種失效錯誤的成本模型 285
10.6考慮隨機外場環境的增益模型 290
10.6.1模型公式291
10.6.2套用295
10.7其他成本模型 298
10.8擴展閱讀299
習題 299
第11章複雜容錯系統可靠性建模301
11.1概述 301
11.2基本容錯軟體技術 302
11.2.1恢復塊機制303
11.2.2N版本編程304
11.3其他高級技術 305
11.3.1自檢雙版本機制305
11.3.2混合容錯機制306
11.3.3減少共因失效308
11.4考慮共因失效的三版本編程模型 309
11.4.1模型假設312
11.4.2三版本程式系統可靠性函式315
11.4.3數值例子317
11.5複雜系統可靠性建模 324
11.5.1系統考慮325
11.5.2可靠性建模326
11.6套用實例 331
11.7擴展閱讀 334
習題 334
附錄1分布表336
附錄2拉普拉斯變換342
附錄3軟體可靠性影響因子調查344
辭彙表 基礎辭彙、定義與術語350
部分習題解答255
索引361
參考文獻366
內容簡介380
"
