基于程序不變量的軟件可靠性計算.pdf

1、軟件可靠性是衡量軟件系統(tǒng)質(zhì)量的重要指標(biāo)，它的計算依賴于軟件可靠性模型的選擇以及所獲得的軟件失效數(shù)據(jù)。現(xiàn)有的軟件可靠性計算的方法是采用測試的輸入和輸出結(jié)果，但這些數(shù)據(jù)并不能真實的反應(yīng)軟件內(nèi)部信息，如測試不能顯示一個輸入有多個錯誤輸出這種情況，通過這種方式計算出的可靠性無法準(zhǔn)確的反映出軟件系統(tǒng)的整體行為。
　　本文提出了采用程序不變量的方法來計算軟件可靠性，程序不變量反映了程序的內(nèi)在性質(zhì)，可以刻畫出軟件的整體行為。本文通過測試用例集運

2、行軟件系統(tǒng)，使用Daikon動態(tài)的獲取程序不變量，然后再提取出失效數(shù)據(jù)，最后選擇Nelson可靠性模型計算出軟件可靠性。此外，在以往計算軟件可靠性時，都是在假定知道正確程序版本情況下，進行失效數(shù)據(jù)提取，而在實際當(dāng)中，往往是不知道正確程序的。本文還試圖通過在不知道正確程序版本情況下去提取失效數(shù)據(jù)，通過獲取程序覆蓋信息，對測試用例進行篩選，然后再動態(tài)獲取程序不變量，達到優(yōu)化失效數(shù)據(jù)的目的。我們使用Siemens測試套件來進行實驗，并采用傳統(tǒng)