Abstract. Grammar testing is discussed in the context of grammar engineering (i.e., software engineering for grammars). We propose a generalisation of the known rule coverage for grammars, that is, contextdependent branch coverage. We investigate grammar testing, especially coverage analysis, test set generation, and integration of testing and grammar transformations. Grammar recovery is chosen as a sub eld of grammar engineering to illustrate the developed concepts. Grammar recovery is concerned with the derivation of a language's grammar from some available resource such as a semi-formal language reference.
Lämmel REF contributes grammar coverage analysis techniques, combined with test set generation, applied to grammar recovery.
Grammar Testing
PROC. OF FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE) 2001, VOLUME 2029 OF LNCS
Computer Science