【摘要】：提出了一種通過驗(yàn)證程序切片是否滿足ECPMR的方式來驗(yàn)證編譯器的方法。首先,選取一些滿足特定蛻變關(guān)系的正確程序作為待測(cè)編譯器的輸入。然后,使用這些被選程序來生成程序切片。最后,檢查程序切片的輸出是否滿足ECPMR從而發(fā)現(xiàn)編譯器中的錯(cuò)誤。在SNL編譯器上進(jìn)行了本文方法的驗(yàn)證實(shí)驗(yàn),結(jié)果表明該方法可有效地探測(cè)到SNL編譯器中的錯(cuò)誤。
[Abstract]:This paper presents a method to verify the compiler by verifying that the program slicing meets ECPMR. Firstly, some correct programs which satisfy the specific transformation relation are selected as the input of the compiler to be tested. These selected programs are then used to generate program slices. Finally, check that the output of the program slice meets the ECPMR to detect errors in the compiler. The verification experiment on the SNL compiler shows that the method can detect the errors in the SNL compiler effectively.
【作者單位】： 吉林大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;吉林大學(xué)軟件學(xué)院;
【基金】：中國(guó)博士后面上基金項(xiàng)目(2016M591482) 吉林省自然科學(xué)基金項(xiàng)目(20150101054JC)
【分類號(hào)】：TP314

【參考文獻(xiàn)】

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

1 王志文;黃小龍;王海軍;劉烴;俞樂晨;;基于程序切片的測(cè)試用例生成系統(tǒng)研究與實(shí)現(xiàn)[J];計(jì)算機(jī)科學(xué);2014年09期

2 董國(guó)偉;聶長(zhǎng)海;徐寶文;;基于程序路徑分析的有效蛻變測(cè)試[J];計(jì)算機(jī)學(xué)報(bào);2009年05期

【共引文獻(xiàn)】

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

1 劉磊;劉利娟;吳新維;張鵬;;基于ECPMR的編譯器測(cè)試方法[J];吉林大學(xué)學(xué)報(bào)(工學(xué)版);2017年04期

2 張興隆;于磊;侯雪梅;李志博;李剛;;基于差異度分析的蛻變關(guān)系選取方法[J];計(jì)算機(jī)工程與設(shè)計(jì);2017年01期

3 安韻涵;張海波;;基于分組的蛻變測(cè)試的優(yōu)化方法[J];計(jì)算機(jī)與數(shù)字工程;2016年11期

4 田生;;JavaScript靜態(tài)切片工具[J];計(jì)算機(jī)與現(xiàn)代化;2016年08期

5 姚香娟;鞏敦衛(wèi);李彬;;融入神經(jīng)網(wǎng)絡(luò)的路徑覆蓋測(cè)試數(shù)據(jù)進(jìn)化生成[J];軟件學(xué)報(bào);2016年04期

6 侯雪梅;于磊;張興隆;李志博;;面向?qū)ο筌浖䴗y(cè)試的蛻變關(guān)系構(gòu)造方法[J];計(jì)算機(jī)應(yīng)用;2015年10期

7 杜元柱;黃松;惠戰(zhàn)偉;陸麗麗;;基于變異分析的蛻變測(cè)試充分性條件[J];計(jì)算機(jī)應(yīng)用;2014年S1期

8 馬立軍;;基于啟發(fā)式的協(xié)議漏洞挖掘策略研究[J];柳州師專學(xué)報(bào);2014年01期

9 董國(guó)偉;郭濤;張普含;賈依真;;基于路徑分析和迭代蛻變測(cè)試的Bug檢測(cè)[J];清華大學(xué)學(xué)報(bào)(自然科學(xué)版);2014年01期

10 張巖;;基于蛻變關(guān)系的多路徑覆蓋測(cè)試數(shù)據(jù)進(jìn)化生成[J];計(jì)算機(jī)工程;2012年10期

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

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

1 吳鵬,施小純,唐江峻,林惠民,陳宗岳;關(guān)于蛻變測(cè)試和特殊用例測(cè)試的實(shí)例研究(英文)[J];軟件學(xué)報(bào);2005年07期

，

本文編號(hào)：2212043