軟硬件綜合系統(tǒng)軟件需求建模及可靠性綜合試驗(yàn)、分析、評(píng)價(jià)技術(shù)

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