Grammar Testing

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.

[1]  Chris Verhoef,et al.  Current parsing techniques in software renovation considered harmful , 1998, Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242).

[2]  Paul Klint,et al.  The syntax definition formalism SDF—reference manual— , 1989, SIGP.

[3]  Chris Verhoef,et al.  Development, assessment, and reengineering of language descriptions , 2000, Proceedings of the Fourth European Conference on Software Maintenance and Reengineering.

[4]  Abdulazeez S. Boujarwah,et al.  Compiler test suite: evaluation and use in an automated test environment , 1994, Inf. Softw. Technol..

[5]  Ralf Lämmel,et al.  Two-dimensional Approximation Coverage , 2000, Informatica.

[6]  Ralf Lämmel,et al.  Semi‐automatic grammar recovery , 2001, Softw. Pract. Exp..

[7]  Gérard Ferrand.  The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs , 1993, AADEBUG.

[8]  J. Rekers,et al.  Parser Generation for Interactive Environments , 1992 .

[9]  Merijn de Jonge,et al.  Grammars as contracts , 2001 .

[10]  P. Purdom.  A sentence generator for testing parsers , 1972 .

[11]  Colin J. Burgess.  The automated generation of test cases for compilers , 1994, Softw. Test. Verification Reliab..

[12]  Carlos Urias Munoz,et al.  Automatic Generation of Random Self-Checking Test Cases , 1983, IBM Syst. J..

[13]  William E. Howden,et al.  Weak Mutation Testing and Completeness of Test Sets , 1982, IEEE Transactions on Software Engineering.