摘要:为实现软件多源多目标的跨平台无源移植和优化,中间表示被二进制翻译系统普遍使用。基于翻译中中间表示的作用,提出基于语义等价验证的翻译正确性测试方法。通过先建立源平台指令与中间表示的对应关系,再对中间表示进行状态初始化构造测试用例,最后分别对源平台指令和中间表示执行并比较结果,可以将错误的原因具体到语义解析和本地实现两个子过程。应用文章提出的方法,通过测试发现二进制翻译系统中间表示语义解析时存在的3处错误并证明了该方法的有效性。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
热门期刊
期刊名称:信息工程大学学报
信息工程大学学报紧跟学术前沿,紧贴读者,国内刊号为:41-1196/N。坚持指导性与实用性相结合的原则,创办于2000年,杂志在全国同类期刊中发行数量名列前茅。