[发明专利]二进制翻译中间表示正确性测试方法及装置有效
| 申请号： | 201811570147.9 | 申请日： | 2018-12-21 |
| 公开（公告）号： | CN109634869B | 公开（公告）日： | 2022-02-01 |
| 发明（设计）人： | 岳峰;庞建民;单征;谭捷;王军;梁光辉;李明亮 | 申请（专利权）人： | 中国人民解放军战略支援部队信息工程大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 郑州大通专利商标代理有限公司 41111 | 代理人： | 周艳巧 |
| 地址： | 450000 河*** | 国省代码： | 河南;41 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明属于计算机移植技术领域，特别涉及一种二进制翻译中间表示正确性测试方法及装置，该方法包含：建立源平台指令与中间表示之间的映射规则；对中间表示进行状态初始化，并构造测试用例；针对测试用例，分别对源平台指令和中间表示独立执行，依据独立执行结果判定源平台指令和中间表示两者之间的语义是否等价。本发明能够实现与具体体系架构无关的中间代码正确性测试，结合黑盒和白盒的测试方法，能够快速、高效、准确地定位二进制翻译中间表示中存在的问题，提高其测试的准确性和效率，进而缩短软件开发测试周期，保证软件质量和可靠性，对不同平台之间的二进制翻译测试及计算机软件跨平台移植技术具有一定的指导意义。 | ||
| 搜索关键词： | 二进制 翻译 中间 表示 正确性 测试 方法 装置 | ||
【主权项】：
1.一种基于语义等价验证的二进制翻译中间表示正确性测试方法，其特征在于，包含如下内容：建立源平台指令与中间表示之间的映射规则；对中间表示进行状态初始化，并构造测试用例；针对测试用例，分别对源平台指令和中间表示独立执行，依据独立执行结果判定源平台指令和中间表示两者之间的语义是否等价。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军战略支援部队信息工程大学，未经中国人民解放军战略支援部队信息工程大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811570147.9/，转载请声明来源钻瓜专利网。
