基于程序不變量的并發(fā)軟件可靠性計算.pdf

1、軟件可靠性是評估軟件系統(tǒng)質(zhì)量的一個重要屬性，傳統(tǒng)意義上，一個軟件系統(tǒng)的可靠性是根據(jù)軟件測試的輸出計算得到。這樣得出的可靠性，存在以下的缺點:
　　1)由于失效數(shù)據(jù)來自測試的輸入或輸出，僅反映了系統(tǒng)行為的一部分，如果使用輸出來計算可靠性，不能完全反映整個系統(tǒng)的可靠性，因而是不準確的;
　　2)由于測試是基于操作剖面，因此，獲得的可靠性是對在某個環(huán)境下的一些特定的操作。它可能是充足的，因為系統(tǒng)是在這些特定的操作下運行的。然而，在

2、系統(tǒng)運行時，可能會碰到一些意想不到的環(huán)境，使得系統(tǒng)可能出現(xiàn)意外的失效。
　　為了解決上述問題，本文提出了一種新的方法來計算軟件系統(tǒng)的可靠性，尤其是并發(fā)系統(tǒng)的可靠性。失效的數(shù)據(jù)來自不變量，本文之所以使用不變量是它們能被用來重建系統(tǒng)的行為。換句話說，盡管它們也來自測試，但程序不變量可以捕獲所有的系統(tǒng)行為。
　　本文的方法描述如下:1）根據(jù)測試并用Daikon獲得程序不變量，然后通過尋找壞的不變量作為失效數(shù)據(jù);2）用Nelson可