Premium
The automated generation of test cases for compilers
Author(s) -
Burgess Colin J.
Publication year - 1994
Publication title -
software testing, verification and reliability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.216
H-Index - 49
eISSN - 1099-1689
pISSN - 0960-0833
DOI - 10.1002/stvr.4370040204
Subject(s) - compiler , correctness , computer science , automation , programming language , process (computing) , software engineering , test (biology) , engineering , mechanical engineering , paleontology , biology
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.