基于基準(zhǔn)劃分的編譯器優(yōu)化測(cè)試的研究與應(yīng)用.pdf

1、編譯器是軟件開(kāi)發(fā)的一種基礎(chǔ)支撐工具。通常用高級(jí)語(yǔ)言書(shū)寫(xiě)的程序作為源代碼被編譯器翻譯成目標(biāo)代碼。由于不斷地追求編譯的速度和目標(biāo)代碼的性能，現(xiàn)代編譯器大多都采用了許多復(fù)雜的優(yōu)化。編譯器優(yōu)化主要通過(guò)對(duì)程序進(jìn)行等價(jià)轉(zhuǎn)化來(lái)提高目標(biāo)程序的性能。這些優(yōu)化在增加編譯器復(fù)雜度的同時(shí)也大大增加了缺陷產(chǎn)生的風(fēng)險(xiǎn)。因此對(duì)于一個(gè)優(yōu)化的編譯器需要通過(guò)大量的有針對(duì)性的測(cè)試來(lái)保障其質(zhì)量。測(cè)試編譯器優(yōu)化的測(cè)試用例是滿(mǎn)足源語(yǔ)言文法且具有“可被優(yōu)化”特征的程序。由于存在著無(wú)

2、窮數(shù)量“可被優(yōu)化”的合法程序，因此以手工的方式去生成編譯器優(yōu)化的測(cè)試用例效率不高。在實(shí)際中，對(duì)編譯器優(yōu)化的測(cè)試通常采用自動(dòng)化的方法生成測(cè)試用例。 本文的研究重點(diǎn)是設(shè)計(jì)和實(shí)現(xiàn)一個(gè)基于基準(zhǔn)劃分的編譯器優(yōu)化測(cè)試用例生成器CDB_ATG(Criteria Division Based Automatic Test Generator)，以生成符合C語(yǔ)言文法規(guī)則的源程序。這些源程序包含某些特定的“可被優(yōu)化”的控制流和數(shù)據(jù)流。同時(shí)在CDB