貝葉斯網(wǎng)絡在軟件可信性評估指標體系中的應用.pdf

1、隨著計算機技術的日益成熟，硬件成本的迅速降低，各種結構復雜、功能強大的計算機系統(tǒng)被廣泛應用到航空航天、交通運輸、核電能源和醫(yī)療衛(wèi)生等安全關鍵領域。一旦這些系統(tǒng)失效，將造成人類生命財產(chǎn)的重大損失或者環(huán)境的嚴重破壞，系統(tǒng)可信性日益成為被關注的焦點。鑒于這類系統(tǒng)應用的特殊性，其配置的軟件必須具備很高的可信性。對于越來越復雜的各種應用軟件，軟件內(nèi)部存在危機、缺陷、錯誤、故障、失效，軟件外部存在病毒、惡意代碼入侵，如何進行可信性的評估，特別是量化

2、的可信性評估是一個值得高度重視的問題，但國內(nèi)外在這方面的研究甚少。 貝葉斯網(wǎng)絡是用來表示變量間概率分布的圖形模式，具有穩(wěn)固的數(shù)學基礎，適用于表達和分析不確定性和概率性的事物等優(yōu)點。本文提出了一種基于貝葉斯網(wǎng)絡的軟件可信性評估指標體系模型，與一般的概率分析方法相比，它在模型的適應性、概率分析的全面性以及對可能結果的有效判斷上有明顯的優(yōu)勢。 文章主要開展了如下幾個方面的研究： （1）討論了軟件可信性的概念、軟件可信性

3、的相關因素以及軟件可信性度量的相關問題。討論了軟件可信性的概念、軟件可信性的相關因素以及軟件可信性度量的相關問題。軟件的可用性、可靠性、可維護性等都是影響軟件可信性的重要因素，根據(jù)軟件可信性的特點，分析了軟件可信性的度量準則。 （2）總結了軟件可信性評價模型的有關研究成果，目前對于軟件可信性評價模型的研究主要分為黑箱和白箱兩種方式，介紹了這兩類方式的主要特點，并分析了它們存在和需要解決的問題。 （3）討論了貝葉斯網(wǎng)絡的起

4、源和發(fā)展，以及貝葉斯網(wǎng)絡的概念，分析了貝葉斯網(wǎng)絡的特點及其應用于軟件可信性評價的可能性和優(yōu)勢。 （4）討論了軟件可信性評估模型的特征和要求，在貝葉斯網(wǎng)絡基礎上給出了一種新穎的軟件可信性評價模型。該模型以軟件可信性相關因素為度量元，以軟件體系結構為評價體系，以貝葉斯網(wǎng)絡為表示體系，以可信性需求說明為評價依據(jù)。提出一種以可信性需求說明為依據(jù)的可信性評估方法。 （5）在該模型基礎上，本文針對石油加油站應用領域中一個比較大型的實