[comp.compilers] Testing compilers

spencer%bela@gatech.edu (Spencer Rugaber) (03/20/90)

I am interested in experiences people have had testing parsers.  Specifically,
I am interested in the use a language's grammar as a basis for generating
tests.  Any experience or pointers to papers would be appreciated.  Thanks.

Spencer

-- 
Send compilers articles to compilers@esegue.segue.boston.ma.us
{spdcc | ima | lotus}!esegue.  Meta-mail to compilers-request@esegue.
Please send responses to the author of the message, not the poster.

kuiper@cs.ruu.nl (Matthys Kuiper) (03/20/90)

In article <1990Mar20.025510.5052@esegue.segue.boston.ma.us> spencer%bela@gatech.edu (Spencer Rugaber) writes:

>I am interested in experiences people have had testing parsers.  Specifically,
>I am interested in the use a language's grammar as a basis for generating
>tests.  Any experience or pointers to papers would be appreciated.  Thanks.

Here are two references on (semi-) automatic testing of compilers. 
Homer and Schooler annotate the grammar of a language
with commands that steer the generation of test programs.
I have successfully used their method in testing a system
for parallel attribute evaluation.

@article{bazspa,
author = {Franco Bazzichi and Ippolito Sapdafora},
title = {An Automatic Generator for Compiler Testing},
journal = {IEEE TSE},
year = {1982},
volume = {8},
number = {4},
pages = {343-353},
month = {July}}

@article{homsch,
author = {William Homer and Richard Schooler},
title = {Independent Testing of Compiler Phases Using a Test Case Generator},
journal = {Software--Practice and Experience},
year = {1989},
volume = {19},
number = {1},
pages = {53-62},
month = {January}}
-- 
Send compilers articles to compilers@esegue.segue.boston.ma.us
{spdcc | ima | lotus}!esegue.  Meta-mail to compilers-request@esegue.
Please send responses to the author of the message, not the poster.