Issue No.04 - July (1982 vol.8)
F. Bazzichi , Istituto di Scienze dell'Informazione, University of Pisa, Pisa, Italy, and with the Computing Center, CNUCE
A new method for testing compilers is presented. The compiler is exercized by compilable programs, automatically generated by a test generator. The generator is driven by a tabular description of the source language. This description is in a formalism which nicely extends context-free grammars in a context-dependent direction, but still retains the structure and readability of BNF. The generator produces a set of programs which cover all grammatical constructions of the source language, unless user supplied directives instruct otherwise. The programs generated can also be used to evaluate the performance of different compilers of the same source language.
translator testing, Automatic program generation, automatic test generation, compiler testing, generation of compilable programs
F. Bazzichi, I. Spadafora, "An Automatic Generator for Compiler Testing", IEEE Transactions on Software Engineering, vol.8, no. 4, pp. 343-353, July 1982, doi:10.1109/TSE.1982.235428