本文選題：部分求值 + 剩余程序��； 參考：《軟件學(xué)報(bào)》2017年05期

【摘要】：部分求值技術(shù)在程序優(yōu)化及軟件自動生成等方面起著極為重要的作用.將部分求值技術(shù)應(yīng)用到編譯器測試中.為此,設(shè)計(jì)了一種C語言的子集peC語言,給出了該語言的部分求值策略的形式化描述,實(shí)現(xiàn)了peC語言的部分求值器,設(shè)計(jì)了基于部分求值技術(shù)的編譯器測試框架.通過實(shí)驗(yàn),該方法可以檢測出大部分之前其他方法發(fā)現(xiàn)的GCC,LLVM編譯器中的錯(cuò)誤,此外還發(fā)現(xiàn)了其他方法不能發(fā)現(xiàn)的錯(cuò)誤,這表明,將部分求值技術(shù)應(yīng)用到編譯器測試中是有效的.
[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.
【作者單位】： 吉林大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;符號計(jì)算與知識工程教育部重點(diǎn)實(shí)驗(yàn)室(吉林大學(xué));吉林大學(xué)數(shù)學(xué)學(xué)院;吉林大學(xué)軟件學(xué)院;
【基金】：吉林省科技發(fā)展計(jì)劃(20150101054JC,20140520069JH,20150520060JH) 國家自然科學(xué)基金(61300049) 教育部高等學(xué)校博士學(xué)科點(diǎn)專項(xiàng)科研基金(20120061120059) 吉林大學(xué)研究生創(chuàng)新基金(2016181)~~
【分類號】：TP314

【參考文獻(xiàn)】

相關(guān)期刊論文 前1條

1 劉磊，鄭紅軍，金成植;基于信息流分析的部分求值技術(shù)[J];軟件學(xué)報(bào);1995年08期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 成奕東;聞新;王爾申;;Livingstone故障診斷軟件的技術(shù)特征分析[J];機(jī)械工程師;2017年03期

2 文習(xí)明;余泉;常亮;王駒;;不確定觀測下離散事件系統(tǒng)的可診斷性[J];軟件學(xué)報(bào);2017年05期

3 佘曉娓;趙相福;;用MDMC-HS-tree方法計(jì)算極小碰集[J];浙江師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2016年04期

4 童菲;李鐵強(qiáng);馬淵;;華為光接口單元故障可診斷度分析[J];信息系統(tǒng)工程;2016年10期

5 陳忱;;基于改進(jìn)BPSO的最小碰集搜索方法應(yīng)用研究[J];山東工業(yè)技術(shù);2016年12期

6 柴瑞亞;朱怡安;陸偉;史佳龍;;基于擴(kuò)展窗口的時(shí)序不完備診斷方法研究[J];計(jì)算機(jī)科學(xué);2015年10期

7 王曉宇;歐陽丹彤;趙相福;;不完備離散事件系統(tǒng)的可診斷性[J];軟件學(xué)報(bào);2015年06期

8 陸偉;張龍妹;朱怡安;;離散事件系統(tǒng)部分可診斷性分析[J];計(jì)算機(jī)科學(xué);2015年02期

9 王肖;趙相福;;基于模型診斷的候選空間單調(diào)性研究[J];計(jì)算機(jī)集成制造系統(tǒng);2013年12期

10 陳治佐;劉興釗;呂高煥;;Livingstone用于航天器推進(jìn)系統(tǒng)故障診斷[J];太赫茲科學(xué)與電子信息學(xué)報(bào);2013年05期

【二級參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 王曉宇;歐陽丹彤;趙劍;;不完備模型下的離散事件系統(tǒng)診斷方法[J];軟件學(xué)報(bào);2012年03期

2 陳藹祥;陳清亮;潘久輝;姜云飛;楊晉吉;;通過診斷圖分析的快速診斷算法[J];計(jì)算機(jī)學(xué)報(bào);2009年08期

3 韓旭;史忠植;林芬;;基于模型診斷的研究進(jìn)展[J];高技術(shù)通訊;2009年05期

4 張學(xué)農(nóng);姜云飛;陳藹祥;張立成;;基于模型診斷的分步求解[J];軟件學(xué)報(bào);2008年03期

5 趙相福;歐陽丹彤;;基于模型的診斷中產(chǎn)生所有極小沖突集的新方法[J];吉林大學(xué)學(xué)報(bào)(工學(xué)版);2007年02期

6 陳琳;黃杰;龔正虎;;一種求解最小診斷代價(jià)的小生境遺傳算法[J];計(jì)算機(jī)學(xué)報(bào);2005年12期

7 欒尚敏,戴國忠;利用結(jié)構(gòu)信息的故障診斷方法[J];計(jì)算機(jī)學(xué)報(bào);2005年05期

8 李占山,姜云飛,王濤;基于模型的診斷問題分解及其算法[J];計(jì)算機(jī)學(xué)報(bào);2003年09期

9 陳榮,姜云飛;含約束的基于模型的診斷系統(tǒng)[J];計(jì)算機(jī)學(xué)報(bào);2001年02期

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

，

本文編號：2000386