可信軟件的關(guān)鍵性任務(wù)的可靠性和防危性測(cè)試的研究.pdf

1、隨著軟件在安全關(guān)鍵領(lǐng)域的廣泛應(yīng)用，可信軟件的研究成為可信計(jì)算研究中的一個(gè)重要內(nèi)容。由于軟件系統(tǒng)本身的復(fù)雜特性，如何使軟件具有可信性的研究面臨著巨大挑戰(zhàn)。它要求人們對(duì)軟件系統(tǒng)開(kāi)發(fā)和運(yùn)行等規(guī)律有更深入的認(rèn)識(shí)，也關(guān)系到人們?cè)谛畔⑸鐣?huì)對(duì)信息基礎(chǔ)設(shè)施的依賴(lài)和可信程度。 軟件工程以提高軟件生產(chǎn)率和軟件質(zhì)量為目標(biāo)，而軟件測(cè)試技術(shù)通過(guò)執(zhí)行軟件來(lái)判斷軟件是否具備所期望的性質(zhì)，是可信軟件評(píng)估的重要環(huán)節(jié)之一。尤其是對(duì)安全關(guān)鍵性軟件，軟件測(cè)試技術(shù)面臨重

2、大挑戰(zhàn)。本文圍繞可信軟件工程中的可信性測(cè)試模型、測(cè)試方法展開(kāi)了研究。由于可信性包含眾多屬性，本文主要對(duì)其中的可靠性及防危性的測(cè)試模型和相關(guān)測(cè)試技術(shù)進(jìn)行研究。 針對(duì)可信軟件的可靠性測(cè)試問(wèn)題，本文首先對(duì)相關(guān)的可靠性測(cè)試模型進(jìn)行了分析，鑒于馬爾可夫鏈能夠描述軟件系統(tǒng)控制轉(zhuǎn)移的動(dòng)態(tài)特性，以馬爾可夫分析方法作為理論基礎(chǔ)，研究了基于馬爾可夫分析方法的可信軟件的可靠性建模問(wèn)題。針對(duì)模塊化的可信軟件系統(tǒng)，綜合模塊自身的可靠性和模塊聞的轉(zhuǎn)移調(diào)用對(duì)

3、其在系統(tǒng)中的重要程度這兩個(gè)方面，分別定義了模塊的可靠性函數(shù)和模塊在系統(tǒng)中重要程度的函數(shù)，并給出了系統(tǒng)可靠性的建模方法和相關(guān)函數(shù)。最后根據(jù)這種建模方法，設(shè)計(jì)了相關(guān)的測(cè)試用例。 針對(duì)可信軟件的防危性測(cè)試問(wèn)題，本文研究了一種基于重要性采樣原理的防危性測(cè)試方法。根據(jù)可信軟件失效危險(xiǎn)嚴(yán)重性等級(jí)的不同，選擇了適當(dāng)?shù)姆牢Ｐ栽u(píng)估指標(biāo)，提出了一種改進(jìn)的基于關(guān)聯(lián)風(fēng)險(xiǎn)剖面的防危性測(cè)試模型，設(shè)計(jì)出了測(cè)試所需測(cè)試用例。 最后，以一個(gè)具體應(yīng)用為實(shí)例