Re: Testing compilers

kuiper@cs.ruu.nl (Matthys Kuiper)
20 Mar 90 07:31:30 GMT

          From comp.compilers
Related articles
Testing compilers spencer%bela@gatech.edu (1990-03-19)
Re: Testing compilers kuiper@cs.ruu.nl (1990-03-20)
Testing compilers gnagler@ihm.tu-graz.ac.at (G|nter Nagler) (1995-07-19)
| List of all articles for this month |
From: kuiper@cs.ruu.nl (Matthys Kuiper)
Newsgroups: comp.compilers
Keywords: parse,testing
Date: 20 Mar 90 07:31:30 GMT
References: <1990Mar20.025510.5052@esegue.segue.boston.ma.us>

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}}




Post a followup to this message

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