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

来源 :信息工程大学学报 | 被引量 : 6次 | 上传用户:lx2000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为实现软件多源多目标的跨平台无源移植和优化,中间表示被二进制翻译系统普遍使用。基于翻译中中间表示的作用,提出基于语义等价验证的翻译正确性测试方法。通过先建立源平台指令与中间表示的对应关系,再对中间表示进行状态初始化构造测试用例,最后分别对源平台指令和中间表示执行并比较结果,可以将错误的原因具体到语义解析和本地实现两个子过程。应用文章提出的方法,通过测试发现二进制翻译系统中间表示语义解析时存在的3处错误并证明了该方法的有效性。
其他文献
从天津市农业部门获悉,2008年天津市进一步加大新能源建设力度,全市再建秸秆气化站、大中型沼气设施和液化气站20座,户用沼气池1万口,使8万农民用上清洁新能源。在天津市委市政府
鼓风汽轮机冷却水系统在投入运行初期的各项参数与设计运行参数相差较大。主要问题是循环水系统循环量大,温差控制小,浓缩倍数太低,药剂数量不够等原因,导致水质不稳定,工业补充水
关键基础设施网络之间存在依赖连边,构成相依系统,其抗毁性是近年来复杂网络领域的研究热点。现有研究多基于蓄意或者随机攻击进行,为研究自然灾害、电磁脉冲攻击等局部攻击
缓存和带宽是影响NoC性能的两个重要因素。大缓存可以承载更大的负载量,而大链路带宽允许缓存更快速的输入输出和更频繁的链路暂停,由此减小网络对缓存的需求。由于缓存和链路
现阶段,一些市场营销者为了能够有效的提升其市场占有的份额,不仅开始对产品的质量进行提升,实施特色化的功能服务,同时,更加注重开发新的销售渠道,将自己的产品以及服务开展
首先,汉字形体的演变过程告诉我们:汉字改革是历史发展的必然趋势。 从甲骨文时代起,汉字就有繁简两种字体,汉字形体的演变,主要经历了从甲骨文到小篆,从小篆到隶书,从隶书
列举几种高科技污染的例子,用来说明高科技发展与环境污染问题的关系;并对此问题进行思考,希望引起人们的警觉.
软件定义网络开放可编程的特点提高网络管理的灵活性,管理员通过OpenFlow协议下发流表项对网络进行管理。由于流表项的无状态性,攻击者可以通过改写交换机中的流规则,从而达
我国电力供应能力极大增强.电力装机突破6亿kW·h。在电力供需紧张形势明显缓解的情况下.如何巩固节能减排成果.提高节能减排效益,成为电力行业面临的新课题。
人类有两大基本问题,一个叫做生存问题,一个叫做发展问题。生存问题的关键是吃饭问题,所以农业为基础。发展问题的关键是能源,能源是发展的先导。但是.发展不能只考虑当前的发展,发