軟件測試與可靠性評估.pdf

1、軟件測試是保證和提高軟件質(zhì)量的重要工作，軟件可靠性是評價軟件質(zhì)量的重要指標。本文首先綜述了軟件測試方法、軟件測試工具及軟件可靠性評估模型。為提高軟件測試的效果，減少軟件測試的盲目性，本文對導(dǎo)致程序出錯的部分原因進行了分析，在此基礎(chǔ)上建立了軟件故障模型，針對建立的故障模型的特點，討論了故障檢測方法及故障檢測規(guī)則，并在開放源碼的編譯器orc上實現(xiàn)了部分軟件故障的檢測；軟件可靠性的預(yù)測和估計是軟件工程所關(guān)注的內(nèi)容之一，要對軟件可靠性進行評價，

2、需要根據(jù)軟件測試的結(jié)果，根據(jù)測試過程中所得到的測試數(shù)據(jù)對其進行評價，本文對利用貝葉斯方法進行軟件可靠性估計的方法進行了討論。 本文的創(chuàng)新點和主要貢獻在于以下幾個方面： 一、軟件故障模型的創(chuàng)建。在大量工程軟件測試數(shù)據(jù)的基礎(chǔ)上，提出了有工程背景的多種故障模型，包括動態(tài)內(nèi)存故障模型，變量的定值與引用故障模型等。其中動態(tài)內(nèi)存故障模型對可能導(dǎo)致系統(tǒng)老化、系統(tǒng)死機的各種情況進行了分析，為故障的檢測、故障的排除提供了依據(jù)。同時，用模型

3、指導(dǎo)軟件測試工作，可以有效的降低軟件測試的盲目性，提高軟件測試的可信性。 二、提出了面向故障檢測的靜態(tài)數(shù)據(jù)流分析方法。靜態(tài)數(shù)據(jù)流分析的優(yōu)點在于通過對程序進行靜態(tài)分析，可以對程序中的多路徑上的數(shù)據(jù)流狀態(tài)進行模擬，克服了一次動態(tài)運行只能覆蓋一條程序路徑的缺點，有效的提高數(shù)據(jù)流分析的效率。通過對以基本塊為最小劃分單元的程序控制結(jié)構(gòu)中到達各基本塊的各種變量的定值信息的計算，可以獲得到達程序中每個節(jié)點的數(shù)據(jù)流狀態(tài)。由于程序結(jié)構(gòu)的復(fù)雜性使得

4、到達程序中某一點的路徑是不唯一的，這種不唯一性造成了到達某一基本塊的定值信息只在程序的某些路徑上存在，由此我們提出了將到達某一節(jié)點的定值信息劃分為MUST和MAY兩個類別，從而提高了數(shù)據(jù)流分析的準確性。 三、基于貝葉斯方法的軟件可靠性評估方法。該方法以貝葉斯統(tǒng)計理論為依據(jù)，在對隨機測試過程分析的基礎(chǔ)上建立了基于輸入域的測試過程的形式化描述，在此基礎(chǔ)上確定了測試分布的總體信息；按照貝葉斯理論，要對軟件可靠性進行估計，需要定義軟件可