Researchon Testingand Verification OFC Compiler

As the one of the most often used system softwares, compiler’s importance is self-evident. The compiler testing and verification is always an important branch of software testing field.Be directed against the more commonly used C programming language, the compiler testing tool (such as SuperTest, CVSA C) mainly achieve the main compiler of language standard consistency. On the other hand, the research object of this paper is a compiler stochastic difference testing tool-Csmith, which mainly focused on finding the compiler middle-end bugs. Csmith uses a language grammar subset to generate test cases appropriate, its problem lies in its grammatical realization is solved by hard coding. In this paper, we use Purdom algorithm of grammar in Csmith automaticly generation of test cases, so as to improving the fraction of coverage of grammar rulesand the search efficiency of Csmith.In addition, the test cases generated by Csmith include about10%is non-terminate, this paper adds artificial control mechanism for these test case, the user can control the generation of such abnormal data or not by setting the parameters.This paper is tested on the GCC compiler, the experimental results show that,improving and implementing the method mentioned in this paper is effective.