一种二进制翻译中间表示正确性的测试方法

Correction Test Method for Intermediate Representation in Binary Translation

为实现软件多源多目标的跨平台无源移植和优化,中间表示被二进制翻译系统普遍使用。基于翻译中中间表示的作用,提出基于语义等价验证的翻译正确性测试方法。通过先建立源平台指令与中间表示的对应关系,再对中间表示进行状态初始化构造测试用例,最后分别对源平台指令和中间表示执行并比较结果,可以将错误的原因具体到语义解析和本地实现两个子过程。应用文章提出的方法,通过测试发现二进制翻译系统中间表示语义解析时存在的3处错误并证明了该方法的有效性。

Binary translation is an important method in the research of cross platform software transplantation,and it plays an important role in the field of domestic platform software development.In order to solve the problem,this paper proposes the test method based on semantic equivalence verification.It first establishes corresponding relation between source platform instructions and intermediate representation,then initializes the running state to construct test cases.The source platform instructions and intermediate representation are executed respectively,the results of which are compared.By using the method proposed in this paper,we find three bugs in the binary translation system,which proves the effectiveness of our method.