Re: Test Data generation using grammar

Olivier Ridoux <Olivier.Ridoux@irisa.fr>
17 Mar 2002 22:07:13 -0500

          From comp.compilers

Related articles
Test Data generation using grammar harvinderrikhi@yahoo.co.uk (2002-03-09)
Re: Test Data generation using grammar Olivier.Ridoux@irisa.fr (Olivier Ridoux) (2002-03-17)
Re: Test Data generation using grammar eeide@cs.utah.edu (Eric Eide) (2002-03-17)
Re: Test Data generation using grammar gmiles@incrent.com (Gary Miles) (2002-04-21)
Re: Test Data generation using grammar james.power@may.ie (2002-04-23)
| List of all articles for this month |
From: Olivier Ridoux <Olivier.Ridoux@irisa.fr>
Newsgroups: comp.compilers
Date: 17 Mar 2002 22:07:13 -0500
Organization: IRISA, Campus de Beaulieu, 35042 Rennes Cedex, FRANCE
References: 02-03-026
Keywords: testing, comment
Posted-Date: 17 Mar 2002 22:07:13 EST

Harvinder Singh wrote:
> I am working on a program, which will be able to generate test
> data..... given the grammar of the test data. I mean to say.... if we
> give the grammar of C language the output will be the set of all the
> possible C programs.
...
> will have the ability of limit the output data (that will
...
> harvinder singh
> [Look through the comp.compiler archives. Someone's built exactly this
> thing already, a program that takes a grammar and spits out sentences in
> the language it defines. -John]


You will find rather ancient works on the subject :


B. Houssais
Production systematique de tests commandee par une grammaire:
Application
a la validation d'un compilateur Algol 68
Thesis, IRISA, Universite de Rennes, 1976


B. Houssais
Verification of an Algol 68 Implementation
Proc. of the Strathclyde Algol 68 Conference, Glasgow, Scotland,
SIGPLAN Notices 12(6), June 1977
{Houssais used affix grammars to generate test cases for Algol-68}


To be frank I doubted a while if this would be in the archive, but it
is!


Olivier Ridoux
[Every article ever posted to comp.compilers since it started in 1986 is
in the archives. See http://compilers.iecc.com/comparch/article/90-03-055
and http://compilers.iecc.com/comparch/article/93-12-064. The indexing
is a little buggy but I hope to fix that in the next month or so. -John]


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.