●章 緒論
●1.1 軟件可靠性重要性
●1.2 軟件可靠性發展歷程
●1.3 軟件可靠性基本概念
●1.3.1 軟件可靠性定義
●1.3.2 軟件失效機理
●1.3.3 軟件失效的隨機性
●1.4 獲得可靠軟件的途徑
●1.4.1 軟件缺陷預防
●1.4.2 軟件缺陷檢測與消除
●1.4.3 軟件缺陷遏制
●1.5 軟件可靠性工程及其過程
●1.5.1 軟件可靠性工程內涵
●1.5.2 軟件可靠性工程模型
●1.5.3 軟件可靠性工程過程
●1.6 一些相關概念
●1.6.1 軟件質量與軟件可靠性
●1.6.2 軟件工程、軟件質量工程、軟件可靠性工程
●1.6.3 可信性和軟件可靠性
●1.6.4 軟件可靠性和軟件安全性......
內容簡介
《軟件可靠性工程》可供從事各種軍、民用軟件可靠性技術和管理人員閱讀參考,也可作為軟件可靠性專業的大學本科、研究生教學參考書,以及軟件可靠性相關的培訓教材。隨著數字化設備大量應用於裝備,計算機軟件在裝備中的作用越來越大,其規模和重要性均呈急劇上升的趨勢,軟件的可靠性已成為保證裝備可靠性的重要組成部分。《軟件可靠性工程》全面闡述了軟件可靠性工程技術和方法,包括軟件可靠性定量要求、軟件可靠性分配與預計、軟件可靠性設計、軟件可靠性分析、軟件可靠性測試、軟件可靠性管理等方面內容,可以為裝備研制中開展軟件可靠性工程工作提供參考。《軟件可靠性工程》主要是面向型號工程技術人員的,因此對闡述的技術和方法盡量給出示例、實施注意事項等,以便於工程技術人員掌握、實施。
比如,面向對像的開發方法通過封裝、信息隱藏、繼承和多態性來達到事務分析的目的,從而提高軟件的質量;形式化開發方法則通過嚴格的數學模型來規範軟件的需求和驗證從而滿足對質量有苛刻要求的軟件開發項目。
(2)軟件配置管理。軟件配置管理在軟件質量管理和質量保證中起著重要作用,是CMM(軟件能力成熟度模型)和ISO9000質量管理體繫的核心內容之一,貫穿於整個軟件生存周期。其核心內容——版本管理和變更控制管理不僅可以提高開發團隊的工作效率,而且可以避免開發過程中由於沒有配置管理所必然造成的混亂以及由此產生的大量差錯,因此,是一種**有效的缺陷預防技術。
(3)軟件可靠性安全性設計。軟件可靠性安全性設計準則是長期以來人們對如何開發高質量、高可靠......
比如,面向對像的開發方法通過封裝、信息隱藏、繼承和多態性來達到事務分析的目的,從而提高軟件的質量;形式化開發方法則通過嚴格的數學模型來規範軟件的需求和驗證從而滿足對質量有苛刻要求的軟件開發項目。
(2)軟件配置管理。軟件配置管理在軟件質量管理和質量保證中起著重要作用,是CMM(軟件能力成熟度模型)和ISO9000質量管理體繫的核心內容之一,貫穿於整個軟件生存周期。其核心內容——版本管理和變更控制管理不僅可以提高開發團隊的工作效率,而且可以避免開發過程中由於沒有配置管理所必然造成的混亂以及由此產生的大量差錯,因此,是一種*常有效的缺陷預防技術。
(3)軟件可靠性安全性設計。軟件可靠性安全性設計準則是長期以來人們對如何開發高質量、高可靠......
"