軟件可靠性與安全性增長模型理論及應用.pdf

1、早在二十世紀60年代軟件危機初期，隨著軟件功能的增長，人們就認識到軟件復雜度高，開發(fā)周期長，可靠性差，開發(fā)和維護費用大等問題。其中可靠性差是軟件質(zhì)量問題的集中表現(xiàn)，而軟件質(zhì)量差又是軟件維護費用大的主要因素之一。由此可見，軟件質(zhì)量問題由來已久。 隨著社會日益信息化，社會的日常運行越來越依賴于軟件的電子系統(tǒng)；軟件在尖端領域(諸如飛行控制系統(tǒng)、核電站安全監(jiān)控、制藥控制系統(tǒng)等)的廣泛應用體現(xiàn)了軟件的重要性，但同時軟件的大量應用也導致了由

2、軟件故障引起的事故越來越多，這些事故的危害很嚴重，密切關系到人民生命財產(chǎn)和生態(tài)環(huán)境的安危，這才警醒了人們在近一二十年對軟件的可靠性的重視以及對軟件安全性的研究。軟件的質(zhì)量對系統(tǒng)的正常工作和安全是至關重要的，而且軟件是否可信賴已經(jīng)成為國家經(jīng)濟與國防等系統(tǒng)能否正常運轉(zhuǎn)的關鍵因素之一。如何評估和保障這些軟件的可靠性和安全性，尤其是安全性，防止災難事故的出現(xiàn)，已經(jīng)成為一個亟待解決的重大問題。 吳智(吳智，2005)在構建軟件安全性模型時

3、，不僅考慮檢測人員可能檢測到的不安全輸出，而且考慮檢測人員不可能檢測到的不安全輸出。 為了便于分析處理，本文構建的軟件安全性模型僅考慮檢測人員可能檢測到的不安全輸出。 這篇論文按軟件故障重要性遞增的順序?qū)④浖收戏殖捎邢薜膓(>2)類，通過考察軟件故障之間相互影響的關系，基于子馬爾可夫鏈構建一個新型的軟件可靠性與安全性評估模型。 本文用圖表的方法，具體的數(shù)據(jù)，將這個模型和一些已有模型進行優(yōu)劣性對比。通過對比，我們