Comparison of Context-free Grammars Based on Parsing Generated Test Data

Bernd Fischer Ralf Lämmel Vadim Zaytsev 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Abstract : There exist a number of software engineering scenarios that essentially involve equivalence or correspondence assertions for some of the context-free grammars in the scenarios. For instance, when applying grammar transformations during parser development--be it for the sake of disambiguation or grammar-class compliance--one would like to preserve the generated language. Even though equivalence is generally undecidable for context-free grammars, we have developed an automated approach that is practically useful in revealing evidence of nonequivalence of grammars and discovering correspondence mappings for grammar nonterminals. Our approach is based on systematic test data generation and parsing. We discuss two studies that show how the approach is used in comparing grammars of open source Java parsers as well as grammars from the course work for a compiler construction class.
Type de document :
Communication dans un congrès
Uwe Aßmann and Anthony Sloane. Post-proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Jul 2011, Braga, Portugal. Springer, Heidelberg, 6940, pp.324-343, 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00645306
Contributeur : Jurgen Vinju <>
Soumis le : dimanche 27 novembre 2011 - 20:34:52
Dernière modification le : mardi 9 septembre 2014 - 15:50:22

Identifiants

  • HAL Id : hal-00645306, version 1

Collections

Citation

Bernd Fischer, Ralf Lämmel, Vadim Zaytsev. Comparison of Context-free Grammars Based on Parsing Generated Test Data. Uwe Aßmann and Anthony Sloane. Post-proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Jul 2011, Braga, Portugal. Springer, Heidelberg, 6940, pp.324-343, 2011. 〈hal-00645306〉

Partager

Métriques

Consultations de la notice

116