基于ECPMR的编译器测试方法

发布时间：2018-08-29 18:28

【摘要】：提出了一种通过验证程序切片是否满足ECPMR的方式来验证编译器的方法。首先,选取一些满足特定蜕变关系的正确程序作为待测编译器的输入。然后,使用这些被选程序来生成程序切片。最后,检查程序切片的输出是否满足ECPMR从而发现编译器中的错误。在SNL编译器上进行了本文方法的验证实验,结果表明该方法可有效地探测到SNL编译器中的错误。
[Abstract]:This paper presents a method to verify the compiler by verifying that the program slicing meets ECPMR. Firstly, some correct programs which satisfy the specific transformation relation are selected as the input of the compiler to be tested. These selected programs are then used to generate program slices. Finally, check that the output of the program slice meets the ECPMR to detect errors in the compiler. The verification experiment on the SNL compiler shows that the method can detect the errors in the SNL compiler effectively.
【作者单位】： 吉林大学计算机科学与技术学院;吉林大学软件学院;
【基金】：中国博士后面上基金项目(2016M591482) 吉林省自然科学基金项目(20150101054JC)
【分类号】：TP314

【参考文献】

相关期刊论文 前2条

1 王志文;黄小龙;王海军;刘烃;俞乐晨;;基于程序切片的测试用例生成系统研究与实现[J];计算机科学;2014年09期

2 董国伟;聂长海;徐宝文;;基于程序路径分析的有效蜕变测试[J];计算机学报;2009年05期

【共引文献】

相关期刊论文 前10条

1 刘磊;刘利娟;吴新维;张鹏;;基于ECPMR的编译器测试方法[J];吉林大学学报(工学版);2017年04期

2 张兴隆;于磊;侯雪梅;李志博;李刚;;基于差异度分析的蜕变关系选取方法[J];计算机工程与设计;2017年01期

3 安韵涵;张海波;;基于分组的蜕变测试的优化方法[J];计算机与数字工程;2016年11期

4 田生;;JavaScript静态切片工具[J];计算机与现代化;2016年08期

5 姚香娟;巩敦卫;李彬;;融入神经网络的路径覆盖测试数据进化生成[J];软件学报;2016年04期

6 侯雪梅;于磊;张兴隆;李志博;;面向对象软件测试的蜕变关系构造方法[J];计算机应用;2015年10期

7 杜元柱;黄松;惠战伟;陆丽丽;;基于变异分析的蜕变测试充分性条件[J];计算机应用;2014年S1期

8 马立军;;基于启发式的协议漏洞挖掘策略研究[J];柳州师专学报;2014年01期

9 董国伟;郭涛;张普含;贾依真;;基于路径分析和迭代蜕变测试的Bug检测[J];清华大学学报(自然科学版);2014年01期

10 张岩;;基于蜕变关系的多路径覆盖测试数据进化生成[J];计算机工程;2012年10期

【二级参考文献】

相关期刊论文 前1条

1 吴鹏,施小纯,唐江峻,林惠民,陈宗岳;关于蜕变测试和特殊用例测试的实例研究(英文)[J];软件学报;2005年07期

，

本文编号：2212043