與測試相結合的系統(tǒng)安全性驗證技術研究.pdf

1、目前軟件工程中的驗證與測試技術正不斷融合，相互借鑒，共同為提高軟件的安全性、可靠性做出努力。驗證的模型檢測方法可以應用于測試當中，而經(jīng)過測試所得出的一致性結論又可以對驗證進行補充和完善。所以在當今的軟件證實方法中，驗證和測試起著相互補充的作用。而從長遠發(fā)展來看，驗證技術和測試技術也必將結合的更加緊密。論文以ioco一致性關系所存在的安全性缺陷為切入點，利用對軟件進行模型檢測的方法，成功的解決了由于測試的局限性所帶來的具體的系統(tǒng)安全性問題

2、。為了完成這項工作，本文主要做了以下幾個方面的工作：
　　 （1）研究了ioco一致性的兩類安全性缺陷，并由此引申出了違背系統(tǒng)安全性的定義；（2）提出了尋找系統(tǒng)安全性問題的SDR算法，并利用現(xiàn)有的程序模型檢測工具找到系統(tǒng)中存在的安全性問題；（3）對所找到的違背系統(tǒng)安全性的跡，根據(jù)其不同的類型實施不同的處理，使得系統(tǒng)的安全性問題最終得到徹底的解決。
　　 在實驗階段，本文使用咖啡機的例子說明了該軟件工程方法的實際流轉程序，