軟件可靠性與安全性增長模型理論及應(yīng)用.pdf

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

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

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