当前,随着计算机软件快速发展、软件规模不断扩大,软件的质量越来越得到重视。为此,人们提出了软件可靠性、软件验证、软件质量保证、软件测试等一系列概念和理论。如何提高软件的可靠性成为目前软件系统设计与开发的主要问题之一。软件验证,是软件可靠性的一部分。它对软件功能行为进行验证和确认,通过一定的合理的行为来观察软件的表现。在高可靠性软件的开发过程中,软件验证是一个非常重要的组成部分。没有经过验证的高可靠性软件,将会导致灾难性的后果。虚拟化技术和虚拟化平台的出现,给软件验证特别是目标码验证带来了方便。虚拟化平台上软件运行的各种行为,都能被捕捉分析。虚拟化平台下的软件验证,将成为软件验证新的发展方向。本文主要针对高可靠性软件的目标码验证技术的研究,例如DO-178B标准中的目标码验证研究。在分析当前目标码验证面临的困难的基础上,提出了一种在虚拟化平台上实现目标码验证的方法。本文对当前的软件验证和目标码验证技术的特点和方法做了介绍和分析,通过对虚拟化平台的体系结构扩展,将目标码验证技术和虚拟化平台结合在一起。针对目标码的正确性验证和鲁棒性验证两个方面,在特定的虚拟化平台上,讨论了在其上面实现目标码验证的难点和设计要点。最后,在虚拟化平台上实现了一个目标码验证工具BSVVT(Bochs basedSoftware Verification and Validation Tools)。该工具在扩展虚拟化平台体系结构的基础上,在损失大约40%性能的情况下,实现了目标码覆盖检测、分支图生成、分支反转与提示、故障条件注入和轨迹导出等功能,覆盖了目标码验证的两个方面。同时,BSVVT保证了目标码验证中代码的完整性和无侵入性。