計算可靠性分析和程序設(shè)計語言對計算可靠性的影響.pdf

1、隨著應(yīng)用軟件的規(guī)模逐漸由幾百行代碼擴展到數(shù)萬行,軟件可靠性開始成為一個重要的研究課題。低可靠性經(jīng)常會導(dǎo)致重要的、災(zāi)難性的后果。一個著名的例子就是第一次海灣戰(zhàn)爭中,飛毛腿導(dǎo)彈沒能被成功攔截。盡管研究人員和工程師提出許多軟件可靠度模型,但是軟件可靠性問題仍然存在。我們試圖從另一個角度來分析軟件可靠性問題。我們分析軟件的開發(fā)和執(zhí)行平臺可能對軟件可靠性產(chǎn)生的影響。該平臺包括指令集結(jié)構(gòu),操作系統(tǒng),編譯器和程序設(shè)計語言。我們認(rèn)為,在特定的平臺上開發(fā)

2、或者執(zhí)行的軟件將具有一個軟件可靠性的最大值,該值會隨著平臺的不同而變化。我們的最終目標(biāo)就是構(gòu)建一個軟件參數(shù)模型,用以預(yù)測在某個平臺下軟件可以達(dá)到的最高可靠度,以及選擇出滿足給定可靠度要求的軟件開發(fā)平臺。本論文側(cè)重分析程序語言對軟件可靠性的影響。為了清晰地定義失效的概念,本論文重點研究應(yīng)用軟件的計算可靠性,通過對比實驗來度量程序語言對計算可靠性的影響。本論文研究了三種流行的程序語言,比較了它們對軟件可靠性的影響程度。實驗結(jié)果顯示,Fort