書馨卡幫你省薪 2024個人購書報告 2024中圖網(wǎng)年度報告
歡迎光臨中圖網(wǎng) 請 | 注冊
> >
軟硬件綜合系統(tǒng)軟件需求建模及可靠性綜合試驗,分析,評價技術(shù)

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

出版社：電子工業(yè)出版社出版時間：2021-09-01
開本： 16開 頁數(shù)： 308
中 圖 價:¥76.7(6.5折) 定價  ¥118.0 登錄后可看到會員價
暫時缺貨 收藏
運(yùn)費(fèi)6元，滿39元免運(yùn)費(fèi)
?新疆、西藏除外
本類五星書更多>

軟硬件綜合系統(tǒng)軟件需求建模及可靠性綜合試驗,分析,評價技術(shù) 版權(quán)信息

軟硬件綜合系統(tǒng)軟件需求建模及可靠性綜合試驗,分析,評價技術(shù) 本書特色

本書主要針對軟硬件綜合系統(tǒng)，從系統(tǒng)的軟件需求建模及可靠性綜合試驗、分析、評價技術(shù)等方面展開研究。上述研究工作具有重要的理論與應(yīng)用價值，也將有助于指導(dǎo)軟件密集型系統(tǒng)的設(shè)計、維護(hù)，并為系統(tǒng)的進(jìn)一步完善奠定基礎(chǔ)。

軟硬件綜合系統(tǒng)軟件需求建模及可靠性綜合試驗,分析,評價技術(shù) 內(nèi)容簡介

隨著科學(xué)技術(shù)的發(fā)展，特別是近二十年來，各項技術(shù)取得了突破性的進(jìn)展，使得現(xiàn)代的各種系統(tǒng)朝著綜合化、信息化的方向迅猛發(fā)展，導(dǎo)致系統(tǒng)變得越來越復(fù)雜。這種復(fù)雜性不僅體現(xiàn)在系統(tǒng)的結(jié)構(gòu)和規(guī)模上，還體現(xiàn)在系統(tǒng)的動態(tài)特性、工作條件和功能層次上，這使得對系統(tǒng)可靠性的研究變得越來越困難。本書主要針對軟硬件綜合系統(tǒng)，從系統(tǒng)的軟件需求建模及可靠性綜合試驗、分析、評價技術(shù)等方面展開研究。上述研究工作具有重要的理論與應(yīng)用價值，也將有助于指導(dǎo)軟件密集型系統(tǒng)的設(shè)計、維護(hù)，并為系統(tǒng)的進(jìn)一步完善奠定基礎(chǔ)。

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

第1章 緒論 1
1．1 可靠性理論的發(fā)展 1
1．2 幾個基本概念 2
1．3 常規(guī)可靠性的數(shù)學(xué)表征 3
1．4 軟件工程與軟件可靠性 5
1．4．1 軟件工程的內(nèi)涵及目標(biāo) 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
參考文獻(xiàn) 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
參考文獻(xiàn) 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
參考文獻(xiàn) 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
參考文獻(xiàn) 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 領(lǐng)域相關(guān)軟件需求缺陷模式本體表示 76
5．2．1 需求模型及環(huán)境框架構(gòu)建 76
5．2．2 兩種情況下的軟件需求缺陷模式本體表示 77
參考文獻(xiàn) 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
參考文獻(xiàn) 132
第7章 基于多本體需求知識框架的軟件需求抽取 137
7．1 現(xiàn)有需求抽取過程中存在的問題 138
7．2 基于多本體的需求抽取 139
7．2．1 基于多本體的需求抽取流程 139
7．2．2 基于多本體需求抽取的優(yōu)點 164
7．3 基于多本體需求抽取案例 164
參考文獻(xiàn) 166
第8章 可靠性試驗 168
8．1 可靠性試驗類型 168
8．2 可靠性鑒定試驗 170
8．2．1 二項試驗 170
8．2．2 序貫試驗 172
8．3 傳統(tǒng)可靠性試驗的不足 175
參考文獻(xiàn) 175
第9章 軟硬件綜合系統(tǒng)可靠性綜合試驗技術(shù) 176
9．1 可靠性試驗的任務(wù)剖面信息擴(kuò)充 176
9．1．1 基本概念 176
9．1．2 任務(wù)剖面信息擴(kuò)充 179
9．2 軟硬件綜合系統(tǒng)可靠性綜合試驗設(shè)計 180
9．2．1 單任務(wù)剖面匹配及軟件可靠性測試剖面設(shè)計 180
9．2．2 軟件可靠性測試用例生成 185
9．2．3 軟件可靠性測試用例個數(shù)的確定 188
9．2．4 軟件可靠性測試充分性的判定 190
9．2．5 多任務(wù)剖面下軟件可靠性測試剖面設(shè)計及測試用例生成 196
參考文獻(xiàn) 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
參考文獻(xiàn) 207
第11章 軟硬件綜合系統(tǒng)可靠性分析 208
11．1 基于HSRN的復(fù)雜系統(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的飛控計算機(jī)系統(tǒng)可靠性分析 213
11．2．1 余度技術(shù) 213
11．2．2 某型飛機(jī)電傳主飛控計算機(jī)結(jié)構(gòu) 214
11．2．3 分層混合建模分析 215
11．3 基于Markov過程的系統(tǒng)可靠性分析 219
11．3．1 雙機(jī)熱備系統(tǒng)分析 220
11．3．2 雙機(jī)熱備系統(tǒng)可靠性模型 220
11．3．3 雙機(jī)熱備系統(tǒng)可靠性分析 222
11．4 基于飛行剖面的任務(wù)可靠性模型 223
11．4．1 飛行剖面定義 223
11．4．2 飛行剖面折合系數(shù) 224
11．4．3 可靠性模型 225
11．4．4 作戰(zhàn)飛機(jī)任務(wù)可靠性評估 226
11．4．5 考慮內(nèi)場故障數(shù)據(jù)的任務(wù)可靠性評估 227
參考文獻(xiàn) 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)級模糊FMEA 239
12．3．1 基于軟件模塊復(fù)雜度的風(fēng)險因子評估 239
12．3．2 基于熵權(quán)和模糊TOPSIS的故障模式評級 241
12．3．3 實例驗證 243
12．4 軟硬件綜合FMEA 252
12．4．1 軟硬件綜合故障生命周期 252
12．4．2 軟硬件綜合故障模式 253
12．4．3 軟硬件綜合FMEA本體結(jié)構(gòu) 264
12．4．4 基于軟硬件綜合故障（模式）的軟件測試用例生成 277
參考文獻(xiàn) 281
第13章 基于確信可靠度的軟硬件綜合系統(tǒng)可靠性評價 284
13．1 確信可靠度定義 284
13．2 軟硬件綜合系統(tǒng)認(rèn)知不確定因子的確定 285
13．2．1 FMEA應(yīng)用效果評價 285
13．2．2 軟硬件可靠性綜合試驗應(yīng)用效果評價 289
13．2．3 認(rèn)知不確定因子的計算 292
13．3 實例驗證 292
參考文獻(xiàn) 295
展開全部

軟硬件綜合系統(tǒng)軟件需求建模及可靠性綜合試驗,分析,評價技術(shù) 作者簡介

胡璇，北京航空航天大學(xué)博士畢業(yè)，就職于工業(yè)和信息化部電子第五研究所，致力于軟件可靠性技術(shù)的研究和實踐。發(fā)表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（韓國）優(yōu)秀論文獎。論文"The reliability evaluation method of software and hardware integrated systems based on belief reliability"獲WCSE 2020(上海)優(yōu)秀論文報告獎。論文"產(chǎn)業(yè)技術(shù)基礎(chǔ)公共服務(wù)平臺建設(shè)聚焦三大重點領(lǐng)域產(chǎn)業(yè) 助力制造強(qiáng)國戰(zhàn)略”獲工業(yè)和信息化部首屆青年干部論文大賽二等獎。參與編寫《可靠性設(shè)計》。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網(wǎng)
在線客服