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

• 作者: 傅立国 岳峰 庞建民
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 二进制翻译 中间表示 正确性测试 语义等价验证 状态初始化
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 53-59
• 页数: 7页
• 分类号: TP311
• 字数: 7081字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2019.01.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庞建民		26	44	4.0	5.0
2	岳峰		11	19	3.0	4.0
3	傅立国		6	1	1.0	1.0