The automated generation of test cases for compilers

The testing of a compiler is a difficult process, since often a very high quality product is expected by the user, particularly with respect to the compiler's correctness. This paper seeks to review the main methods that have been proposed for the automation of part of this process, using the automatic generation of test cases and the automatic checking of the results. It then summarizes the advantages and disadvantages of the general approach and highlights several areas for further research.

[1]  Darrel C. Ince,et al.  The Automatic Generation of Test Data , 1987, Comput. J..

[2]  Brian A. Wichmann,et al.  Pascal compiler validation , 1983 .

[3]  Bernard Houssais.  Verification of an Algol 68 implementation , 1977 .

[4]  M. Camuffo,et al.  Automatic software test generation , 1990 .

[5]  P. David Coward,et al.  A review of software testing , 1988 .

[6]  B. A. Wichmann,et al.  An Ada program test generator , 1991, TRI-Ada '91.

[7]  Ippolito Spadafora,et al.  An Automatic Generator for Compiler Testing , 1982, IEEE Transactions on Software Engineering.

[8]  Carlos Urias Munoz,et al.  Automatic Generation of Random Self-Checking Test Cases , 1983, IBM Syst. J..

[9]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[10]  Peter M. Maurer,et al.  Generating test data with enhanced context-free grammars , 1990, IEEE Software.

[11]  K. V. Hanford,et al.  Automatic Generation of Test Cases , 1970, IBM Syst. J..

[12]  Carlo Ghezzi,et al.  Compiler testing using a sentence generator , 1980, Softw. Pract. Exp..

[13]  Peter M. Maurer,et al.  The design and implementation of a grammar‐based data generator , 1992, Softw. Pract. Exp..

[14]  Cj Burgess,et al.  The automatic generation of test programs for normal and optimising Fortran compilers , 1992 .

[15]  Richard Schooler,et al.  Independent testing of compiler phases using a test case generator , 1989, Softw. Pract. Exp..

[16]  C. J. Burgess,et al.  Software testing using an automatic generator of test data , 1970 .

[17]  R. K. Shyamasundar,et al.  A sentence generator for a compiler for PT, a pascal subset , 1983, Softw. Pract. Exp..

[18]  Cornelis Pronk,et al.  Stress testing of compilers for modula‐2 , 1992, Softw. Pract. Exp..

[19]  Paul Walton Purdom,et al.  A sentence generator for testing parsers , 1972 .

[20]  WadlerPhilip,et al.  Report on the programming language Haskell , 1992 .