Re: Compiler Testing Tools

Charlie Burns <cburns@crl4.crl.com>
20 Nov 1997 22:33:20 -0500

          From comp.compilers
Related articles
Compiler Testing Tools rajkris@erols.com (Raja Krishnamoorthy) (1997-11-16)
Re: Compiler Testing Tools anton@mips.complang.tuwien.ac.at (1997-11-18)
Re: Compiler Testing Tools cburns@crl4.crl.com (Charlie Burns) (1997-11-20)
| List of all articles for this month |
From: Charlie Burns <cburns@crl4.crl.com>
Newsgroups: comp.compilers
Date: 20 Nov 1997 22:33:20 -0500
Organization: CRL Dialup Internet Access (415) 705-6060 [Login: guest]
References: 97-11-098
Keywords: testing

Raja Krishnamoorthy <rajkris@erols.com> wrote:
> As part of my project my group has been involved in developing a
> parser for a specific application. It describes a messaging system
> using a formal grammar expressed using BNF (actually a variant of it).
> Now that we have developed the product we would like to test it
> exhaustively.


> With manual input, I am not certain how thorough a job we can do. Is
> anyone in this newsgroup aware of any tools that will take a formal
> grammar as input and generate test cases from that ?


I wrote something like you describe, you can read about it in


http://www.crl.com/~cburns/tim/tutorial.html


Unfortunately the company I wrote it for doesn't allow me to give
it away (and it's not a product either). Sigh. At least you can get some
ideas.


Regards,


Charlie Burns
--

Post a followup to this message

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