[comp.compilers] Validation Suite Bibliography

wood@BBN.COM (12/17/87)

Please help:

I'm trying to find out what language test or validation suites
exist.  So far, I've found out about a Plum-Hall suite for (ansi?)
C, a BSI Pascal compiler validation service, some National Bureau of
Standards validation suites for Fortran and Cobol, and some older
GSA validation suites for Fortran and Cobol.

ARE THERE OTHERS?  I'm sure there must be, but I can't seem to
locate references to them.

I'll be glad to compile a list of references and distribute a
summary to the net.  I'd like to include info on where to send for
the tests, how much they cost, etc.

My interest is not limited to C, Fortran, Pascal and Cobol.  In
fact, I think a good validation suite could be useful in testing a
code generator coverage (as opposed to language syntax and
semantics).

Thanks.

			Tom Wood
			Data General, Research Triangle Park, NC
			{the known world}!mcnc!rti!xyzzy!wood
--
Send compilers articles to ima!compilers or, in a pinch, to Levine@YALE.EDU
Plausible paths are { ihnp4 | decvax | cbosgd | harvard | yale | bbn}!ima
Please send responses to the originator of the message -- I cannot forward
mail accidentally sent back to compilers.  Meta-mail to ima!compilers-request