內容簡介
本書在對軟件健康管理相關基本內容的基礎上,重點對其涉及的軟件信息獲取技術、性能異常檢測技術、功能檢測模型建模/推理技術、健康度量方法、故障修復方法等關鍵技術進行了介紹和研究。在功能檢測模型建模和推理技術方面,緊跟國際前沿技術,重點研究了基於貝葉斯網絡的軟件健康管理技術和基於TFPG推理模型的軟件健康管理技術;在軟件健康度量方面,針對當前軟件健康度量還處於空白階段的現實,提出了一種基於軟件健康度量方法。同時,考慮到實用型方面,對軟件健康管理在實際中的應用進行了介紹。
目錄
第1章 軟件健康管理基本內容····················································································· 1
1.1 軟件健康管理發展起源·························································································· 1第1章 軟件健康管理基本內容····················································································· 1
1.1 軟件健康管理發展起源·························································································· 1
1.1.1 健康管理技術發展歷程······················································································· 1
1.1.2 軟件健康管理技術發展動因················································································· 6
1.2 基本概念············································································································9
1.2.1 軟件錯誤、軟件缺陷、軟件故障、軟件失效和軟件異常············································· 9
1.2.2 故障診斷、失效預測························································································ 11
1.3 軟件健康管理基本問題·························································································12
1.3.1 軟件健康········································································································12
1.3.2 軟件健康管理概念··························································································· 12
1.3.3 與現有技術的區別及聯繫···················································································14
1.4 軟件健康管理涉及的關鍵技術················································································16
1.4.1 軟件健康管理層次結構······················································································16
1.4.2 基於軟件傳感器的實時監測················································································19
1.4.3 軟件故障診斷··································································································22
1.4.4 軟件健康評估問題··························································································· 23
1.4.5 軟件異常減緩策略··························································································· 24
1.5 軟件健康管理發展現狀························································································ 25
1.6 小結·················································································································36
第2章 軟件故障模式分析方法····················································································37
2.1 安全關鍵軟件概述······························································································37
2.1.1 安全關鍵軟件概念····························································································37
2.1.2 安全關鍵軟件特點····························································································38
2.2 故障模式分析常用方法·························································································39
2.2.1 故障樹分析法··································································································39
2.2.2 事件樹分析法··································································································41
2.2.3 危險和操作性分析法·························································································44
2.2.4 軟件FMEA······································································································46
2.3 SWHM 結構化方法····························································································· 52
2.3.1 方法············································································································· 52
2.3.2 結果分析·······································································································53
2.4 小結··············································································································· 80
第3章 軟件健康信息獲取技術····················································································81
3.1 軟件構件技術的發展····························································································81
3.2 典型軟件構件介紹·······························································································84
3.2.1 CORBA構件模型(CCM)················································································ 84
3.2.2 Java Beans/EJB ···························································································· 85
3.2.3 COM/DCOM ··························································