掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
軟硬件綜合系統軟件需求建模及可靠性綜合試驗,分析,評價技術 版權信息
- ISBN：9787121419119
- 條形碼：9787121419119 ; 978-7-121-41911-9
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
軟硬件綜合系統軟件需求建模及可靠性綜合試驗,分析,評價技術 本書特色
本書主要針對軟硬件綜合系統，從系統的軟件需求建模及可靠性綜合試驗、分析、評價技術等方面展開研究。上述研究工作具有重要的理論與應用價值，也將有助于指導軟件密集型系統的設計、維護，并為系統的進一步完善奠定基礎。
軟硬件綜合系統軟件需求建模及可靠性綜合試驗,分析,評價技術 內容簡介
隨著科學技術的發展，特別是近二十年來，各項技術取得了突破性的進展，使得現代的各種系統朝著綜合化、信息化的方向迅猛發展，導致系統變得越來越復雜。這種復雜性不僅體現在系統的結構和規模上，還體現在系統的動態特性、工作條件和功能層次上，這使得對系統可靠性的研究變得越來越困難。本書主要針對軟硬件綜合系統，從系統的軟件需求建模及可靠性綜合試驗、分析、評價技術等方面展開研究。上述研究工作具有重要的理論與應用價值，也將有助于指導軟件密集型系統的設計、維護，并為系統的進一步完善奠定基礎。
軟硬件綜合系統軟件需求建模及可靠性綜合試驗,分析,評價技術 目錄
第1章 緒論 1
1．1 可靠性理論的發展 1
1．2 幾個基本概念 2
1．3 常規可靠性的數學表征 3
1．4 軟件工程與軟件可靠性 5
1．4．1 軟件工程的內涵及目標 6
1．4．2 軟件需求工程及需求抽取 6
1．4．3 軟件可靠性 9
1．4．4 軟件工程與軟件可靠性的關系 11
1．5 傳統系統可靠性建模與分析 13
1．6 軟硬件綜合系統可靠性 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 靜態測試技術 38
3．2 動態測試技術 39
3．2．1 動態測試的特點 39
3．2．2 黑盒測試和白盒測試 40
3．3 軟件可靠性測試 42
3．3．1 軟件可靠性測試概念 42
3．3．2 軟件可靠性測試過程 43
參考文獻 46
第4章 軟件缺陷模式及軟件需求缺陷模式 48
4．1 軟件缺陷模式定義及場景的產生 49
4．1．1 軟件缺陷模式定義 49
4．1．2 軟件缺陷模式場景的產生 52
4．2 軟件需求缺陷模式定義及場景的產生 53
4．2．1 軟件需求缺陷模式定義 54
4．2．2 軟件需求缺陷模式場景的產生 59
4．3 軟件需求缺陷模式實例 61
參考文獻 62
第5章 軟件需求缺陷模式本體表示 65
5．1 本體概述 66
5．1．1 本體發展歷史及定義 66
5．1．2 本體結構與本體語言 67
5．1．3 本體類型及建模方法 70
5．1．4 本體編輯工具 74
5．1．5 本體集成 75
5．1．6 本體評價 75
5．2 領域相關軟件需求缺陷模式本體表示 76
5．2．1 需求模型及環境框架構建 76
5．2．2 兩種情況下的軟件需求缺陷模式本體表示 77
參考文獻 80
第6章 多本體需求知識框架的建立 84
6．1 基于面向對象本體方法 85
6．2 知識模型 86
6．3 軟硬件綜合系統需求知識本體構建 88
6．3．1 航電系統簡介 88
6．3．2 航電系統需求知識本體構建方法論 89
6．3．3 航電系統多本體需求知識框架結構 96
6．4 實例驗證 102
6．4．1 實驗背景 102
6．4．2 UAV FCMS軟件需求抽取本體構建及地理本體構建 103
參考文獻 132
第7章 基于多本體需求知識框架的軟件需求抽取 137
7．1 現有需求抽取過程中存在的問題 138
7．2 基于多本體的需求抽取 139
7．2．1 基于多本體的需求抽取流程 139
7．2．2 基于多本體需求抽取的優點 164
7．3 基于多本體需求抽取案例 164
參考文獻 166
第8章 可靠性試驗 168
8．1 可靠性試驗類型 168
8．2 可靠性鑒定試驗 170
8．2．1 二項試驗 170
8．2．2 序貫試驗 172
8．3 傳統可靠性試驗的不足 175
參考文獻 175
第9章 軟硬件綜合系統可靠性綜合試驗技術 176
9．1 可靠性試驗的任務剖面信息擴充 176
9．1．1 基本概念 176
9．1．2 任務剖面信息擴充 179
9．2 軟硬件綜合系統可靠性綜合試驗設計 180
9．2．1 單任務剖面匹配及軟件可靠性測試剖面設計 180
9．2．2 軟件可靠性測試用例生成 185
9．2．3 軟件可靠性測試用例個數的確定 188
9．2．4 軟件可靠性測試充分性的判定 190
9．2．5 多任務剖面下軟件可靠性測試剖面設計及測試用例生成 196
參考文獻 197
第10章 軟硬件綜合系統可靠性綜合試驗的軟件測試用例優化 199
10．1 可靠性綜合試驗中測試用例生成總體方案 199
10．2 基于CMC的軟硬件綜合系統狀態模型構建 201
10．3 無約束的軟件測試用例優化方法 203
10．4 帶有時間資源約束的軟件測試用例優化 204
參考文獻 207
第11章 軟硬件綜合系統可靠性分析 208
11．1 基于HSRN的復雜系統可靠性分析 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的飛控計算機系統可靠性分析 213
11．2．1 余度技術 213
11．2．2 某型飛機電傳主飛控計算機結構 214
11．2．3 分層混合建模分析 215
11．3 基于Markov過程的系統可靠性分析 219
11．3．1 雙機熱備系統分析 220
11．3．2 雙機熱備系統可靠性模型 220
11．3．3 雙機熱備系統可靠性分析 222
11．4 基于飛行剖面的任務可靠性模型 223
11．4．1 飛行剖面定義 223
11．4．2 飛行剖面折合系數 224
11．4．3 可靠性模型 225
11．4．4 作戰飛機任務可靠性評估 226
11．4．5 考慮內場故障數據的任務可靠性評估 227
參考文獻 228
第12章 軟硬件綜合系統安全性分析 229
12．1 軟件系統安全性分析 229
12．1．1 軟件系統的安全性工作 229
12．1．2 軟件系統安全性分析項目 230
12．2 軟件系統級FMEA知識本體構建 233
12．2．1 軟件系統級FMEA過程模型 234
12．2．2 軟件系統級FMEA知識多本體框架 235
12．2．3 軟件系統級FMEA知識本體定義 235
12．3 軟件系統級模糊FMEA 239
12．3．1 基于軟件模塊復雜度的風險因子評估 239
12．3．2 基于熵權和模糊TOPSIS的故障模式評級 241
12．3．3 實例驗證 243
12．4 軟硬件綜合FMEA 252
12．4．1 軟硬件綜合故障生命周期 252
12．4．2 軟硬件綜合故障模式 253
12．4．3 軟硬件綜合FMEA本體結構 264
12．4．4 基于軟硬件綜合故障（模式）的軟件測試用例生成 277
參考文獻 281
第13章 基于確信可靠度的軟硬件綜合系統可靠性評價 284
13．1 確信可靠度定義 284
13．2 軟硬件綜合系統認知不確定因子的確定 285
13．2．1 FMEA應用效果評價 285
13．2．2 軟硬件可靠性綜合試驗應用效果評價 289
13．2．3 認知不確定因子的計算 292
13．3 實例驗證 292
參考文獻 295
1．1 可靠性理論的發展 1
1．2 幾個基本概念 2
1．3 常規可靠性的數學表征 3
1．4 軟件工程與軟件可靠性 5
1．4．1 軟件工程的內涵及目標 6
1．4．2 軟件需求工程及需求抽取 6
1．4．3 軟件可靠性 9
1．4．4 軟件工程與軟件可靠性的關系 11
1．5 傳統系統可靠性建模與分析 13
1．6 軟硬件綜合系統可靠性 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 靜態測試技術 38
3．2 動態測試技術 39
3．2．1 動態測試的特點 39
3．2．2 黑盒測試和白盒測試 40
3．3 軟件可靠性測試 42
3．3．1 軟件可靠性測試概念 42
3．3．2 軟件可靠性測試過程 43
參考文獻 46
第4章 軟件缺陷模式及軟件需求缺陷模式 48
4．1 軟件缺陷模式定義及場景的產生 49
4．1．1 軟件缺陷模式定義 49
4．1．2 軟件缺陷模式場景的產生 52
4．2 軟件需求缺陷模式定義及場景的產生 53
4．2．1 軟件需求缺陷模式定義 54
4．2．2 軟件需求缺陷模式場景的產生 59
4．3 軟件需求缺陷模式實例 61
參考文獻 62
第5章 軟件需求缺陷模式本體表示 65
5．1 本體概述 66
5．1．1 本體發展歷史及定義 66
5．1．2 本體結構與本體語言 67
5．1．3 本體類型及建模方法 70
5．1．4 本體編輯工具 74
5．1．5 本體集成 75
5．1．6 本體評價 75
5．2 領域相關軟件需求缺陷模式本體表示 76
5．2．1 需求模型及環境框架構建 76
5．2．2 兩種情況下的軟件需求缺陷模式本體表示 77
參考文獻 80
第6章 多本體需求知識框架的建立 84
6．1 基于面向對象本體方法 85
6．2 知識模型 86
6．3 軟硬件綜合系統需求知識本體構建 88
6．3．1 航電系統簡介 88
6．3．2 航電系統需求知識本體構建方法論 89
6．3．3 航電系統多本體需求知識框架結構 96
6．4 實例驗證 102
6．4．1 實驗背景 102
6．4．2 UAV FCMS軟件需求抽取本體構建及地理本體構建 103
參考文獻 132
第7章 基于多本體需求知識框架的軟件需求抽取 137
7．1 現有需求抽取過程中存在的問題 138
7．2 基于多本體的需求抽取 139
7．2．1 基于多本體的需求抽取流程 139
7．2．2 基于多本體需求抽取的優點 164
7．3 基于多本體需求抽取案例 164
參考文獻 166
第8章 可靠性試驗 168
8．1 可靠性試驗類型 168
8．2 可靠性鑒定試驗 170
8．2．1 二項試驗 170
8．2．2 序貫試驗 172
8．3 傳統可靠性試驗的不足 175
參考文獻 175
第9章 軟硬件綜合系統可靠性綜合試驗技術 176
9．1 可靠性試驗的任務剖面信息擴充 176
9．1．1 基本概念 176
9．1．2 任務剖面信息擴充 179
9．2 軟硬件綜合系統可靠性綜合試驗設計 180
9．2．1 單任務剖面匹配及軟件可靠性測試剖面設計 180
9．2．2 軟件可靠性測試用例生成 185
9．2．3 軟件可靠性測試用例個數的確定 188
9．2．4 軟件可靠性測試充分性的判定 190
9．2．5 多任務剖面下軟件可靠性測試剖面設計及測試用例生成 196
參考文獻 197
第10章 軟硬件綜合系統可靠性綜合試驗的軟件測試用例優化 199
10．1 可靠性綜合試驗中測試用例生成總體方案 199
10．2 基于CMC的軟硬件綜合系統狀態模型構建 201
10．3 無約束的軟件測試用例優化方法 203
10．4 帶有時間資源約束的軟件測試用例優化 204
參考文獻 207
第11章 軟硬件綜合系統可靠性分析 208
11．1 基于HSRN的復雜系統可靠性分析 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的飛控計算機系統可靠性分析 213
11．2．1 余度技術 213
11．2．2 某型飛機電傳主飛控計算機結構 214
11．2．3 分層混合建模分析 215
11．3 基于Markov過程的系統可靠性分析 219
11．3．1 雙機熱備系統分析 220
11．3．2 雙機熱備系統可靠性模型 220
11．3．3 雙機熱備系統可靠性分析 222
11．4 基于飛行剖面的任務可靠性模型 223
11．4．1 飛行剖面定義 223
11．4．2 飛行剖面折合系數 224
11．4．3 可靠性模型 225
11．4．4 作戰飛機任務可靠性評估 226
11．4．5 考慮內場故障數據的任務可靠性評估 227
參考文獻 228
第12章 軟硬件綜合系統安全性分析 229
12．1 軟件系統安全性分析 229
12．1．1 軟件系統的安全性工作 229
12．1．2 軟件系統安全性分析項目 230
12．2 軟件系統級FMEA知識本體構建 233
12．2．1 軟件系統級FMEA過程模型 234
12．2．2 軟件系統級FMEA知識多本體框架 235
12．2．3 軟件系統級FMEA知識本體定義 235
12．3 軟件系統級模糊FMEA 239
12．3．1 基于軟件模塊復雜度的風險因子評估 239
12．3．2 基于熵權和模糊TOPSIS的故障模式評級 241
12．3．3 實例驗證 243
12．4 軟硬件綜合FMEA 252
12．4．1 軟硬件綜合故障生命周期 252
12．4．2 軟硬件綜合故障模式 253
12．4．3 軟硬件綜合FMEA本體結構 264
12．4．4 基于軟硬件綜合故障（模式）的軟件測試用例生成 277
參考文獻 281
第13章 基于確信可靠度的軟硬件綜合系統可靠性評價 284
13．1 確信可靠度定義 284
13．2 軟硬件綜合系統認知不確定因子的確定 285
13．2．1 FMEA應用效果評價 285
13．2．2 軟硬件可靠性綜合試驗應用效果評價 289
13．2．3 認知不確定因子的計算 292
13．3 實例驗證 292
參考文獻 295
展開全部
軟硬件綜合系統軟件需求建模及可靠性綜合試驗,分析,評價技術 作者簡介
胡璇，北京航空航天大學博士畢業，就職于工業和信息化部電子第五研究所，致力于軟件可靠性技術的研究和實踐。發表SCI,EI及核心期刊論文20余篇。論文"Researches on software requirements elicitation approach of the aviation electronics systems based on multi-ontology”及"The orthogonal defect classification-based software error pattern ontology construction researches"獲ICACT 2020（韓國）優秀論文獎。論文"The reliability evaluation method of software and hardware integrated systems based on belief reliability"獲WCSE 2020(上海)優秀論文報告獎。論文"產業技術基礎公共服務平臺建設聚焦三大重點領域產業 助力制造強國戰略”獲工業和信息化部首屆青年干部論文大賽二等獎。參與編寫《可靠性設計》。
書友推薦
- >
名家帶你讀魯迅:朝花夕拾
- >
隨園食單
- >
朝聞道
- >
姑媽的寶刀
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
推拿
- >
人文閱讀與收藏·良友文學叢書:一天的工作
本類暢銷
