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

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