From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!cica!gatech!bbn!inmet!ryer
From: ryer@inmet
Newsgroups: comp.lang.ada
Subject: Re: Test Case Generator
Message-ID: <20600003@inmet>
Date: 16 Aug 89 14:32:00 GMT
References: <1286@blackbird.afit.af.mil>
Nf-ID: #R:blackbird.afit.af.mil:-128600:inmet:20600003:000:492
Nf-From: inmet!ryer    Aug 16 10:32:00 1989
List-Id: <comp.lang.ada>


Intermetrics developed a test case generator much like you describe.
It inputs a BNF and outputs immense numbers of test cases.  We use
it internally for compiler testing (Intermetrics does compilers for
Ada, C, Modula, and many other languages).

The tool was described in an article in "Software Practice and Experience"
in January 1989.  It is titled "Independent Testing of Compiler
Phases Using a Test-Case Generator", by Homer and Schooler.

Mike Ryer
Intermetrics, Inc.
(617) 661-1840