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

• 作者: 刘磊 吕帅 王冠成 郭德贵
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 部分求值 剩余程序 测试用例 编译器测试 抽象语法树
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 形式化方法与应用专题
• 页码范围: 1221-1232
• 页数: 12页
• 分类号: TP314
• 字数: 7810字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005206

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
5	王冠成	吉林大学计算机科学与技术学院	2	4	1.0	2.0