Abstract

This paper describes the Test Generator Generator System, TGGS, Version 2.0. TGGS is a simple yet flexible system for creating highly efficient automated generator programs. These generator programs may themselves be used to generate arbitrary quantities of randomized test cases for a variety of programs, most notably compilers. TGGS employs a specification language, TGGS/SL, in which the user may express both the syntactic and semantic constraints of the input language for the program to be tested. The TGGS/SL language is described in detail. Descriptions of the TGGS/SL compiler, GTG, and the associated TGGS/SL run-time system are provided, together with application examples.