第1章 緒論1
1.1 可靠性理論的發(fā)展1
1.2 幾個基本概念2
1.3 常規(guī)可靠性的數(shù)學表征3
1.4 軟件工程與軟件可靠性5
1.4.1 軟件工程的內(nèi)涵及目標6
1.4.2 軟件需求工程及需求抽取6
1.4.3 軟件可靠性9
1.4.4 軟件工程與軟件可靠性的關(guān)系11
1.5 傳統(tǒng)系統(tǒng)可靠性建模與分析13
1.6 軟硬件綜合系統(tǒng)可靠性15
1.7 確信可靠度16
參考文獻17
第2章 軟件缺陷、故障及失效20
2.1 幾個基本概念20
2.2 軟件缺陷分類23
2.2.1 Goel軟件缺陷分類法24
2.2.2 Thayer軟件缺陷分類法25
2.2.3 層次化軟件缺陷分類法26
2.3 已有軟件缺陷分類法的不足35
參考文獻36
第3章 軟件測試37
3.1 靜態(tài)測試技術(shù)38
3.2 動態(tài)測試技術(shù)39
3.2.1 動態(tài)測試的特點39
3.2.2 黑盒測試和白盒測試40
3.3 軟件可靠性測試42
3.3.1 軟件可靠性測試概念42
3.3.2 軟件可靠性測試過程43
參考文獻46
第4章 軟件缺陷模式及軟件需求缺陷模式48
4.1 軟件缺陷模式定義及場景的產(chǎn)生49
4.1.1 軟件缺陷模式定義49
4.1.2 軟件缺陷模式場景的產(chǎn)生52
4.2 軟件需求缺陷模式定義及場景的產(chǎn)生53
4.2.1 軟件需求缺陷模式定義54
4.2.2 軟件需求缺陷模式場景的產(chǎn)生59
4.3 軟件需求缺陷模式實例61
參考文獻62
第5章 軟件需求缺陷模式本體表示65
5.1 本體概述66
5.1.1 本體發(fā)展歷史及定義66
5.1.2 本體結(jié)構(gòu)與本體語言67
5.1.3 本體類型及建模方法70
5.1.4 本體編輯工具74
5.1.5 本體集成75
5.1.6 本體評價75
5.2 領域相關(guān)軟件需求缺陷模式本體表示76
5.2.1 需求模型及環(huán)境框架構(gòu)建76
5.2.2 兩種情況下的軟件需求缺陷模式本體表示77
參考文獻80
第6章 多本體需求知識框架的建立84
6.1 基于面向?qū)ο蟊倔w方法85
6.2 知識模型86
6.3 軟硬件綜合系統(tǒng)需求知識本體構(gòu)建88
6.3.1 航電系統(tǒng)簡介88
6.3.2 航電系統(tǒng)需求知識本體構(gòu)建方法論89
6.3.3 航電系統(tǒng)多本體需求知識框架結(jié)構(gòu)96
6.4 實例驗證102
6.4.1 實驗背景102
6.4.2 UAV FCMS軟件需求抽取本體構(gòu)建及地理本體構(gòu)建103
參考文獻132
第7章 基于多本體需求知識框架的軟件需求抽取137
7.1 現(xiàn)有需求抽取過程中存在的問題138
7.2 基于多本體的需求抽取139
7.2.1 基于多本體的需求抽取流程139
7.2.2 基于多本體需求抽取的優(yōu)點164
7.3 基于多本體需求抽取案例164
參考文獻166
第8章 可靠性試驗168
8.1 可靠性試驗類型168
8.2 可靠性鑒定試驗170
8.2.1 二項試驗170
8.2.2 序貫試驗172
8.3 傳統(tǒng)可靠性試驗的不足175
參考文獻175
第9章 軟硬件綜合系統(tǒng)可靠性綜合試驗技術(shù)176
9.1 可靠性試驗的任務剖面信息擴充176
9.1.1 基本概念176
9.1.2 任務剖面信息擴充179
9.2 軟硬件綜合系統(tǒng)可靠性綜合試驗設計180
9.2.1 單任務剖面匹配及軟件可靠性測試剖面設計180
9.2.2 軟件可靠性測試用例生成185
9.2.3 軟件可靠性測試用例個數(shù)的確定188
9.2.4 軟件可靠性測試充分性的判定190
9.2.5 多任務剖面下軟件可靠性測試剖面設計及測試用例生成196
參考文獻197
第10章 軟硬件綜合系統(tǒng)可靠性綜合試驗的軟件測試用例優(yōu)化199
10.1 可靠性綜合試驗中測試用例生成總體方案199
10.2 基于CMC的軟硬件綜合系統(tǒng)狀態(tài)模型構(gòu)建201
10.3 無約束的軟件測試用例優(yōu)化方法203
10.4 帶有時間資源約束的軟件測試用例優(yōu)化204
參考文獻207
第11章 軟硬件綜合系統(tǒng)可靠性分析208
11.1 基于HSRN的復雜系統(tǒng)可靠性分析208
11.1.1 SRN的定義208
11.1.2 SRN的層次化209
11.1.3 HSRN的度量209
11.1.4 HSRN的等效變換210
11.1.5 HSRN模型求解212
11.2 基于HSRN的飛控計算機系統(tǒng)可靠性分析213
11.2.1 余度技術(shù)213
11.2.2 某型飛機電傳主飛控計算機結(jié)構(gòu)214
11.2.3 分層混合建模分析215
11.3 基于Markov過程的系統(tǒng)可靠性分析219
11.3.1 雙機熱備系統(tǒng)分析220
11.3.2 雙機熱備系統(tǒng)可靠性模型220
11.3.3 雙機熱備系統(tǒng)可靠性分析222
11.4 基于飛行剖面的任務可靠性模型223
11.4.1 飛行剖面定義223
11.4.2 飛行剖面折合系數(shù)224
11.4.3 可靠性模型225
11.4.4 作戰(zhàn)飛機任務可靠性評估226
11.4.5 考慮內(nèi)場故障數(shù)據(jù)的任務可靠性評估227
參考文獻228
第12章 軟硬件綜合系統(tǒng)安全性分析229
12.1 軟件系統(tǒng)安全性分析229
12.1.1 軟件系統(tǒng)的安全性工作229
12.1.2 軟件系統(tǒng)安全性分析項目230
12.2 軟件系統(tǒng)級FMEA知識本體構(gòu)建233
12.2.1 軟件系統(tǒng)級FMEA過程模型234
12.2.2 軟件系統(tǒng)級FMEA知識多本體框架235
12.2.3 軟件系統(tǒng)級FMEA知識本體定義235
12.3 軟件系統(tǒng)級模糊FMEA239
12.3.1 基于軟件模塊復雜度的風險因子評估239
12.3.2 基于熵權(quán)和模糊TOPSIS的故障模式評級241
12.3.3 實例驗證243
12.4 軟硬件綜合FMEA252
12.4.1 軟硬件綜合故障生命周期252
12.4.2 軟硬件綜合故障模式253
12.4.3 軟硬件綜合FMEA本體結(jié)構(gòu)264
12.4.4 基于軟硬件綜合故障（模式）的軟件測試用例生成277
參考文獻281
第13章 基于確信可靠度的軟硬件綜合系統(tǒng)可靠性評價284
13.1 確信可靠度定義284
13.2 軟硬件綜合系統(tǒng)認知不確定因子的確定285
13.2.1 FMEA應用效果評價285
13.2.2 軟硬件可靠性綜合試驗應用效果評價289
13.2.3 認知不確定因子的計算292
13.3 實例驗證292
參考文獻295