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

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

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