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

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

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

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