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

发布时间：2018-06-09 16:24

  本文选题：部分求值 + 剩余程序　； 参考：《软件学报》2017年05期

【摘要】：部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此,设计了一种C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语言的部分求值器,设计了基于部分求值技术的编译器测试框架.通过实验,该方法可以检测出大部分之前其他方法发现的GCC,LLVM编译器中的错误,此外还发现了其他方法不能发现的错误,这表明,将部分求值技术应用到编译器测试中是有效的.
[Abstract]:The partial evaluation technique plays an extremely important role in the optimization of program and the automatic generation of software. The partial evaluation technique is applied to the compiler test. Therefore, a subset peC language of the C language is designed, the formal description of the partial evaluation strategy of the language is given, the partial evaluator of the peC language is realized, and the design is based on the design. A compiler test framework for partial evaluation techniques. Through experiments, this method can detect the errors in GCC, LLVM compiler and other methods that other methods have discovered before, and also find errors that other methods can't find. This shows that it is effective to apply partial evaluation techniques to compiler tests.
【作者单位】： 吉林大学计算机科学与技术学院;符号计算与知识工程教育部重点实验室(吉林大学);吉林大学数学学院;吉林大学软件学院;
【基金】：吉林省科技发展计划(20150101054JC,20140520069JH,20150520060JH) 国家自然科学基金(61300049) 教育部高等学校博士学科点专项科研基金(20120061120059) 吉林大学研究生创新基金(2016181)~~
【分类号】：TP314

【参考文献】

相关期刊论文 前1条

1 刘磊，郑红军，金成植;基于信息流分析的部分求值技术[J];软件学报;1995年08期

【共引文献】

相关期刊论文 前10条

1 成奕东;闻新;王尔申;;Livingstone故障诊断软件的技术特征分析[J];机械工程师;2017年03期

2 文习明;余泉;常亮;王驹;;不确定观测下离散事件系统的可诊断性[J];软件学报;2017年05期

3 佘晓娓;赵相福;;用MDMC-HS-tree方法计算极小碰集[J];浙江师范大学学报(自然科学版);2016年04期

4 童菲;李铁强;马渊;;华为光接口单元故障可诊断度分析[J];信息系统工程;2016年10期

5 陈忱;;基于改进BPSO的最小碰集搜索方法应用研究[J];山东工业技术;2016年12期

6 柴瑞亚;朱怡安;陆伟;史佳龙;;基于扩展窗口的时序不完备诊断方法研究[J];计算机科学;2015年10期

7 王晓宇;欧阳丹彤;赵相福;;不完备离散事件系统的可诊断性[J];软件学报;2015年06期

8 陆伟;张龙妹;朱怡安;;离散事件系统部分可诊断性分析[J];计算机科学;2015年02期

9 王肖;赵相福;;基于模型诊断的候选空间单调性研究[J];计算机集成制造系统;2013年12期

10 陈治佐;刘兴钊;吕高焕;;Livingstone用于航天器推进系统故障诊断[J];太赫兹科学与电子信息学报;2013年05期

【二级参考文献】

相关期刊论文 前10条

1 王晓宇;欧阳丹彤;赵剑;;不完备模型下的离散事件系统诊断方法[J];软件学报;2012年03期

2 陈蔼祥;陈清亮;潘久辉;姜云飞;杨晋吉;;通过诊断图分析的快速诊断算法[J];计算机学报;2009年08期

3 韩旭;史忠植;林芬;;基于模型诊断的研究进展[J];高技术通讯;2009年05期

4 张学农;姜云飞;陈蔼祥;张立成;;基于模型诊断的分步求解[J];软件学报;2008年03期

5 赵相福;欧阳丹彤;;基于模型的诊断中产生所有极小冲突集的新方法[J];吉林大学学报(工学版);2007年02期

6 陈琳;黄杰;龚正虎;;一种求解最小诊断代价的小生境遗传算法[J];计算机学报;2005年12期

7 栾尚敏,戴国忠;利用结构信息的故障诊断方法[J];计算机学报;2005年05期

8 李占山,姜云飞,王涛;基于模型的诊断问题分解及其算法[J];计算机学报;2003年09期

9 陈荣,姜云飞;含约束的基于模型的诊断系统[J];计算机学报;2001年02期

10 ;Optimization　of　Measuring　Points　in　Model-based　Diagnosis[J];Journal of Harbin Institute of Technology;1998年01期

，

本文编号：2000386