軟件測(cè)試中的軟件可靠性改進(jìn).pdf

1、軟件測(cè)試是保證軟件質(zhì)量的重要手段，軟件可靠性是軟件質(zhì)量的重要度量。兩者之間有著密切的內(nèi)在聯(lián)系。軟件測(cè)試提高軟件的可靠性；軟件可靠性的評(píng)估可以為軟件測(cè)試提供合理的終止信號(hào)。相對(duì)于硬件可靠性穩(wěn)步上升的趨勢(shì)，軟件的質(zhì)量保證顯得很困難。軟件的可靠性研究也很不成熟，遠(yuǎn)遠(yuǎn)落后于硬件的可靠性研究。關(guān)于軟件可靠性的研究還有很多的工作。 本文首先介紹了軟件測(cè)試的理論與方法，介紹了軟件錯(cuò)誤在軟件測(cè)試工作中的重要地位與軟件測(cè)試的模型。接著對(duì)可靠性與軟

2、件可靠性研究的理論做了介紹，詳細(xì)介紹了幾種重要的軟件可靠性模型。最后對(duì)傳統(tǒng)工程可靠性研究分析了其取得成功的原因。在此基礎(chǔ)上分析了軟件可靠性研究的特點(diǎn)，闡述了導(dǎo)致軟件可靠性研究困難的四個(gè)原因。并針對(duì)其中的兩個(gè)提出了改進(jìn)的方法，并將其應(yīng)用到軟件可靠性模型的改進(jìn)之上。在對(duì)煤炭物流管理系統(tǒng)的可靠性評(píng)估工作中，驗(yàn)證了可靠性模型改進(jìn)的有效性。 本文主要的工作有以下幾點(diǎn): (1)分析了軟件可靠性研究特有的四個(gè)難點(diǎn):軟件開(kāi)發(fā)面臨的問(wèn)題領(lǐng)

3、域的不確定性；軟件開(kāi)發(fā)中實(shí)現(xiàn)機(jī)制的人為性與多樣性；軟件開(kāi)發(fā)缺乏標(biāo)準(zhǔn)化的設(shè)計(jì)；可靠性研究中對(duì)軟件錯(cuò)誤的獨(dú)立關(guān)系認(rèn)識(shí)不清。 (2)提出了關(guān)于軟件錯(cuò)誤的隨機(jī)性軟件錯(cuò)誤與非隨機(jī)性軟件錯(cuò)誤的分類(lèi)方法；在軟件失效模式的PIE模型的基礎(chǔ)上，對(duì)隨機(jī)性軟件錯(cuò)誤之間的相互獨(dú)立性給出了一個(gè)有意義的判別方法。 (3)應(yīng)用軟件錯(cuò)誤獨(dú)立性的判別方法，對(duì)軟件可靠性模型進(jìn)行了改進(jìn)。以J-M模型為例，對(duì)煤炭物流管理系統(tǒng)進(jìn)行了可靠性評(píng)估，實(shí)驗(yàn)的數(shù)據(jù)結(jié)果驗(yàn)證