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

1、軟件可靠性是衡量軟件系統質量的重要指標，它的計算依賴于軟件可靠性模型的選擇以及所獲得的軟件失效數據?，F有的軟件可靠性計算的方法是采用測試的輸入和輸出結果，但這些數據并不能真實的反應軟件內部信息，如測試不能顯示一個輸入有多個錯誤輸出這種情況，通過這種方式計算出的可靠性無法準確的反映出軟件系統的整體行為。
　　本文提出了采用程序不變量的方法來計算軟件可靠性，程序不變量反映了程序的內在性質，可以刻畫出軟件的整體行為。本文通過測試用例集運

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