Grammar Testing

Author

Ralf Lämmel

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, context-dependent 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 subfield 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.

Bibtex entry

@inproceedings{Laemmel01-FASE,
 author = "Ralf L{\"a}mmel",
 title = "{Grammar Testing}",
 booktitle = "{Proc. of Fundamental Approaches to Software Engineering (FASE) 2001}",
 publisher = "Springer-Verlag",
 series = "LNCS",
 volume = "2029",
 year = 2001,
 pages = "201--216",
}

Download paper

[.ps]; [.pdf]