虛擬化平臺支持的目標碼驗證技術(shù)研究.pdf

1、當前，隨著計算機軟件快速發(fā)展、軟件規(guī)模不斷擴大，軟件的質(zhì)量越來越得到重視。為此，人們提出了軟件可靠性、軟件驗證、軟件質(zhì)量保證、軟件測試等一系列概念和理論。如何提高軟件的可靠性成為目前軟件系統(tǒng)設(shè)計與開發(fā)的主要問題之一。軟件驗證，是軟件可靠性的一部分。它對軟件功能行為進行驗證和確認，通過一定的合理的行為來觀察軟件的表現(xiàn)。在高可靠性軟件的開發(fā)過程中，軟件驗證是一個非常重要的組成部分。沒有經(jīng)過驗證的高可靠性軟件，將會導(dǎo)致災(zāi)難性的后果。

2、虛擬化技術(shù)和虛擬化平臺的出現(xiàn)，給軟件驗證特別是目標碼驗證帶來了方便。虛擬化平臺上軟件運行的各種行為，都能被捕捉分析。虛擬化平臺下的軟件驗證，將成為軟件驗證新的發(fā)展方向。 本文主要針對高可靠性軟件的目標碼驗證技術(shù)的研究，例如DO-178B標準中的目標碼驗證研究。在分析當前目標碼驗證面臨的困難的基礎(chǔ)上，提出了一種在虛擬化平臺上實現(xiàn)目標碼驗證的方法。 本文對當前的軟件驗證和目標碼驗證技術(shù)的特點和方法做了介紹和分析，通過對虛擬化

3、平臺的體系結(jié)構(gòu)擴展，將目標碼驗證技術(shù)和虛擬化平臺結(jié)合在一起。針對目標碼的正確性驗證和魯棒性驗證兩個方面，在特定的虛擬化平臺上，討論了在其上面實現(xiàn)目標碼驗證的難點和設(shè)計要點。 最后，在虛擬化平臺上實現(xiàn)了一個目標碼驗證工具BSVVT(Boclls basedSoftware Verificmion and Validmion Tools)。該工具在擴展虛擬化平臺體系結(jié)構(gòu)的基礎(chǔ)上，在損失大約40％性能的情況下，實現(xiàn)了目標碼覆蓋檢測、分