軟硬件綜合系統(tǒng)軟件需求建模及可靠性綜合試驗、分析、評價技術

第1章 緒論\t1
1．1 可靠性理論的發(fā)展\t1
1．2 幾個基本概念\t2
1．3 常規(guī)可靠性的數(shù)學表征\t3
1．4 軟件工程與軟件可靠性\t5
1．4．1 軟件工程的內涵及目標\t6
1．4．2 軟件需求工程及需求抽取\t6
1．4．3 軟件可靠性\t9
1．4．4 軟件工程與軟件可靠性的關系\t11
1．5 傳統(tǒng)系統(tǒng)可靠性建模與分析\t13
1．6 軟硬件綜合系統(tǒng)可靠性\t15
1．7 確信可靠度\t16
參考文獻\t17
第2章 軟件缺陷、故障及失效\t20
2．1 幾個基本概念\t20
2．2 軟件缺陷分類\t23
2．2．1 Goel軟件缺陷分類法\t24
2．2．2 Thayer軟件缺陷分類法\t25
2．2．3 層次化軟件缺陷分類法\t26
2．3 已有軟件缺陷分類法的不足\t35
參考文獻\t36
第3章 軟件測試\t37
3．1 靜態(tài)測試技術\t38
3．2 動態(tài)測試技術\t39
3．2．1 動態(tài)測試的特點\t39
3．2．2 黑盒測試和白盒測試\t40
3．3 軟件可靠性測試\t42
3．3．1 軟件可靠性測試概念\t42
3．3．2 軟件可靠性測試過程\t43
參考文獻\t46
第4章 軟件缺陷模式及軟件需求缺陷模式\t48
4．1 軟件缺陷模式定義及場景的產生\t49
4．1．1 軟件缺陷模式定義\t49
4．1．2 軟件缺陷模式場景的產生\t52
4．2 軟件需求缺陷模式定義及場景的產生\t53
4．2．1 軟件需求缺陷模式定義\t54
4．2．2 軟件需求缺陷模式場景的產生\t59
4．3 軟件需求缺陷模式實例\t61
參考文獻\t62
第5章 軟件需求缺陷模式本體表示\t65
5．1 本體概述\t66
5．1．1 本體發(fā)展歷史及定義\t66
5．1．2 本體結構與本體語言\t67
5．1．3 本體類型及建模方法\t70
5．1．4 本體編輯工具\t74
5．1．5 本體集成\t75
5．1．6 本體評價\t75
5．2 領域相關軟件需求缺陷模式本體表示\t76
5．2．1 需求模型及環(huán)境框架構建\t76
5．2．2 兩種情況下的軟件需求缺陷模式本體表示\t77
參考文獻\t80
第6章 多本體需求知識框架的建立\t84
6．1 基于面向對象本體方法\t85
6．2 知識模型\t86
6．3 軟硬件綜合系統(tǒng)需求知識本體構建\t88
6．3．1 航電系統(tǒng)簡介\t88
6．3．2 航電系統(tǒng)需求知識本體構建方法論\t89
6．3．3 航電系統(tǒng)多本體需求知識框架結構\t96
6．4 實例驗證\t102
6．4．1 實驗背景\t102
6．4．2 UAV FCMS軟件需求抽取本體構建及地理本體構建\t103
參考文獻\t132
第7章 基于多本體需求知識框架的軟件需求抽取\t137
7．1 現(xiàn)有需求抽取過程中存在的問題\t138
7．2 基于多本體的需求抽取\t139
7．2．1 基于多本體的需求抽取流程\t139
7．2．2 基于多本體需求抽取的優(yōu)點\t164
7．3 基于多本體需求抽取案例\t164
參考文獻\t166
第8章 可靠性試驗\t168
8．1 可靠性試驗類型\t168
8．2 可靠性鑒定試驗\t170
8．2．1 二項試驗\t170
8．2．2 序貫試驗\t172
8．3 傳統(tǒng)可靠性試驗的不足\t175
參考文獻\t175
第9章 軟硬件綜合系統(tǒng)可靠性綜合試驗技術\t176
9．1 可靠性試驗的任務剖面信息擴充\t176
9．1．1 基本概念\t176
9．1．2 任務剖面信息擴充\t179
9．2 軟硬件綜合系統(tǒng)可靠性綜合試驗設計\t180
9．2．1 單任務剖面匹配及軟件可靠性測試剖面設計\t180
9．2．2 軟件可靠性測試用例生成\t185
9．2．3 軟件可靠性測試用例個數(shù)的確定\t188
9．2．4 軟件可靠性測試充分性的判定\t190
9．2．5 多任務剖面下軟件可靠性測試剖面設計及測試用例生成\t196
參考文獻\t197
第10章 軟硬件綜合系統(tǒng)可靠性綜合試驗的軟件測試用例優(yōu)化\t199
10．1 可靠性綜合試驗中測試用例生成總體方案\t199
10．2 基于CMC的軟硬件綜合系統(tǒng)狀態(tài)模型構建\t201
10．3 無約束的軟件測試用例優(yōu)化方法\t203
10．4 帶有時間資源約束的軟件測試用例優(yōu)化\t204
參考文獻\t207
第11章 軟硬件綜合系統(tǒng)可靠性分析\t208
11．1 基于HSRN的復雜系統(tǒng)可靠性分析\t208
11．1．1 SRN的定義\t208
11．1．2 SRN的層次化\t209
11．1．3 HSRN的度量\t209
11．1．4 HSRN的等效變換\t210
11．1．5 HSRN模型求解\t212
11．2 基于HSRN的飛控計算機系統(tǒng)可靠性分析\t213
11．2．1 余度技術\t213
11．2．2 某型飛機電傳主飛控計算機結構\t214
11．2．3 分層混合建模分析\t215
11．3 基于Markov過程的系統(tǒng)可靠性分析\t219
11．3．1 雙機熱備系統(tǒng)分析\t220
11．3．2 雙機熱備系統(tǒng)可靠性模型\t220
11．3．3 雙機熱備系統(tǒng)可靠性分析\t222
11．4 基于飛行剖面的任務可靠性模型\t223
11．4．1 飛行剖面定義\t223
11．4．2 飛行剖面折合系數(shù)\t224
11．4．3 可靠性模型\t225
11．4．4 作戰(zhàn)飛機任務可靠性評估\t226
11．4．5 考慮內場故障數(shù)據(jù)的任務可靠性評估\t227
參考文獻\t228
第12章 軟硬件綜合系統(tǒng)安全性分析\t229
12．1 軟件系統(tǒng)安全性分析\t229
12．1．1 軟件系統(tǒng)的安全性工作\t229
12．1．2 軟件系統(tǒng)安全性分析項目\t230
12．2 軟件系統(tǒng)級FMEA知識本體構建\t233
12．2．1 軟件系統(tǒng)級FMEA過程模型\t234
12．2．2 軟件系統(tǒng)級FMEA知識多本體框架\t235
12．2．3 軟件系統(tǒng)級FMEA知識本體定義\t235
12．3 軟件系統(tǒng)級模糊FMEA\t239
12．3．1 基于軟件模塊復雜度的風險因子評估\t239
12．3．2 基于熵權和模糊TOPSIS的故障模式評級\t241
12．3．3 實例驗證\t243
12．4 軟硬件綜合FMEA\t252
12．4．1 軟硬件綜合故障生命周期\t252
12．4．2 軟硬件綜合故障模式\t253
12．4．3 軟硬件綜合FMEA本體結構\t264
12．4．4 基于軟硬件綜合故障（模式）的軟件測試用例生成\t277
參考文獻\t281
第13章 基于確信可靠度的軟硬件綜合系統(tǒng)可靠性評價\t284
13．1 確信可靠度定義\t284
13．2 軟硬件綜合系統(tǒng)認知不確定因子的確定\t285
13．2．1 FMEA應用效果評價\t285
13．2．2 軟硬件可靠性綜合試驗應用效果評價\t289
13．2．3 認知不確定因子的計算\t292
13．3 實例驗證\t292
參考文獻\t295