Research On VM Platform Based Object Code Verification And Validation Technology

Nowadays, with the rapid development of software and continuous expansion of software scale, the quality of software is being paid attention more and more. To this end, people raise a series of concepts and theories like software reliability, software verification, software quality assurance, software testing and etc. How to improve the reliability of software becomes the major problem of software system design and development. Software verification is a component of software reliability which is an action of verifying and validating functions and behaviors of software. It observes the performance of software through a certain reasonable behavior. In the development process of high-reliability software, software verification is a very important component. High-reliability software without verification will result in disastrous consequences.The emergence of the virtualization technology and virtual platforms bring great convenience to software verification especially the verification of object code. Various software runtime behaviors on virtual platform can be caught for analyzing. Software verification on virtual platform will be the new direction of software verification and validation.This paper mainly focuses on the research of object code verification and validation technology in high-reliability software, for instance, the research on object code verification in the DO-178B standard. On the basis of analyzing the difficulties which object code verification meets currently, a method which realizes object code verification on virtual platform is raised.This paper makes an introduction and analysis on the characters and methods of current technology of software verification and object code verification. By expanding the architecture of virtual platform, object code verification and virtual platform are integrated. Aiming at correctness verification and robustness verification of object code, the difficulties of realizing and the key points of designing object code verification on specific virtual platform are discussed. At last, an object code verification tool BSVVT (Bochs based Software Verification and Validation Tools) is implemented on virtual platform. On the basis of expanding virtual platform architecture and on the condition of about 40% performance loss, this tool realizes the test of object code coverage, the generation of branch graph, the reverse and prompt of branch, fault injection, trace export and etc which covers the two sides of object code verification. Meanwhile, BSVVT guarantee the integrality and non-incursion of code when verifying object code.