%0 Journal Article
%T peC语言的部分求值器及在编译器测试中的应用
%A 刘磊
%A 吕帅
%A 王冠成
%A 郭德贵
%J -
%D 2017
%R 10.13328/j.cnki.jos.005206
%X 部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此，设计了一种C语言的子集peC语言，给出了该语言的部分求值策略的形式化描述，实现了peC语言的部分求值器，设计了基于部分求值技术的编译器测试框架.通过实验，该方法可以检测出大部分之前其他方法发现的GCC，LLVM编译器中的错误，此外还发现了其他方法不能发现的错误，这表明，将部分求值技术应用到编译器测试中是有效的
%K 部分求值 剩余程序 测试用例 编译器测试 抽象语法树
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=5206&flag=1