peC语言的部分求值器及在编译器测试中的应用

来源：软件学报杂志2017年第5期北京时间：

作者：郭德贵,王冠成,吕帅,刘磊

单位：郭德贵，吉林大学 计算机科学与技术学院, 吉林 长春 130012;符号计算与知识工程教育部重点实验室(吉林大学), 吉林 长春 13001211,王冠成，吉林大学 计算机科学与技术学院, 吉林 长春 13001202,吕帅，吉林大学 计算机科学与技术学院, 吉林 长春 130012;符号计算与知识工程教育部重点实验室(吉林大学), 吉林 长春 130012;吉林大学 数学学院, 吉林 长春 13001203,刘磊，吉林大学 计算机科学与技术学院, 吉林 长春 130012;吉林大学 软件学院, 吉林 长春 13001204

摘要：部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此，设计了一种C语言的子集peC语言，给出了该语言的部分求值策略的形式化描述，实现了peC语言的部分求值器，设计了基于部分求值技术的编译器测试框架.通过实验，该方法可以检测出大部分之前其他方法发现的GCC，LLVM编译器中的错误，此外还发现了其他方法不能发现的错误，这表明，将部分求值技术应用到编译器测试中是有效的.

关键词：部分求值;剩余程序;测试用例;编译器测试;抽象语法树

基金资助：吉林省科技发展计划（20150101054JC，20140520069JH，20150520060JH）；国家自然科学基金（61300049）；教育部高等学校博士学科点专项科研基金（20120061120059）；吉林大学研究生创新基金（2016181）