Download PDFOpen PDF in browser

Automatic test suite generation for PMCFG grammars

EasyChair Preprint no. 180

10 pagesPublished: May 29, 2018

Abstract

We present a method for finding errors in formalized natural language grammars, by automatically and systematically generating test cases that are intended to be judged by a human oracle. The method works on a per-construction basis; given a construction from the grammar, it generates a finite but complete set of test sentences (typically tens or hundreds), where that construction is used in all possible ways. Our method is an alternative to using a corpus or a treebank, where no such completeness guarantees can be made. The method is language-independent and is implemented for the grammar formalism PMCFG, but also works for weaker grammar formalisms. We evaluate the method on a number of different grammars for different natural languages.

Keyphrases: grammar testing, Grammatical Framework, PMCFG

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@Booklet{EasyChair:180,
  author = {Inari Listenmaa and Koen Claessen},
  title = {Automatic test suite generation for PMCFG grammars},
  howpublished = {EasyChair Preprint no. 180},
  doi = {10.29007/3p48},
  year = {EasyChair, 2018}}
Download PDFOpen PDF in browser