A method of object code verification for debugging compiler
Xiaoming Ju · Jisuanji gongcheng · 2005
Traditionally, compiler-testing method confirms whether some bugs occur in the tested complier through comparing the anticipative results with tested results and figuring out whether the former is equal to the latter. Based on the traditional complier testing, a method that introduced a reference compiler and a reference simulator into compiler testing was proposed. Firstly, dynamic data information files for testing and debugging were generated during object code on software simulation, according to the relationship between reference compiler and tested compiler. Then, the comparison of reference dynamic data information file and tested dynamic data information file helped to locate the bugs in tested compiler.