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