A binary translation intermediate representation correctness test method and device based on semantic equivalence verification

An intermediate representation and semantic equivalence technology, applied in the field of computer transplantation, can solve problems such as the difficulty of implementing compilers, the inability to apply binary translation systems, and the impact on software development and testing cycle and quality, so as to improve test accuracy and efficiency and ensure software The effect of quality and reliability
CN109634869AActive Publication Date: 2019-04-16PLA STRATEGIC SUPPORT FORCE INFORMATION ENG UNIV PLA SSF IEU
4 Cites 8 Cited by

Patent Information

Authority / Receiving Office
CN · China
Current Assignee / Owner
PLA STRATEGIC SUPPORT FORCE INFORMATION ENG UNIV PLA SSF IEU
Publication Date
2019-04-16

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The invention belongs to the technical field of computer transplantation, and particularly relates to a binary translation intermediate representation correctness testing method and device based on semantic equivalence verification, and the method comprises the steps: building a mapping rule between a source platform instruction and an intermediate representation; Performing state initialization on the intermediate representation, and constructing a test case; And for the test case, independently executing the source platform instruction and the intermediate representation respectively, and judging whether the semantics between the source platform instruction and the intermediate representation are equivalent or not according to an independent execution result. According to the invention,an intermediate code correctness test irrelevant to a specific system architecture can be realized; a black box and white box testing method is combined; The method can quickly, efficiently and accurately locate the problems existing in the binary translation intermediate representation, improves the test accuracy and efficiency, further shortens the software development test period, guarantees the software quality and reliability, and has a certain guiding significance for binary translation tests between different platforms and the computer software cross-platform transplantation technology.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention belongs to the technical field of computer transplantation, in particular to a method and device for testing the correctness of binary translation intermediate representations based on semantic equivalence verification. Background technique

[0002] Binary translation realizes the seamless transplantation of computer cross-platform binary programs, and is widely used in the fields of system virtualization and simulator development, and is an important software transplantation technology. The principle of binary translation technology is mainly to decode the executable program of the source platform to obtain assembly instructions, then convert it into an intermediate representation, and finally generate and run the instructions of the target platform. For example, the intermediate representation adopted by the QEMU binary translation system is a simplified code generator TCG, and the intermediate representation adopted by the UQBT binary ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More