虛擬化平臺(tái)支持的目標(biāo)碼驗(yàn)證技術(shù)研究.pdf

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

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

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