Xref: utzoo comp.lang.c:5626 comp.lang.fortran:307 comp.lang.misc:895 comp.lang.pascal:500
Path: utzoo!utgpu!water!watmath!clyde!rutgers!mcnc!rti!xyzzy!wood
From: wood@xyzzy.UUCP (Tom Wood)
Newsgroups: comp.lang.c,comp.lang.fortran,comp.lang.misc,comp.lang.pascal
Subject: Validation Suite Bibliography (request)
Message-ID: <470@xyzzy.UUCP>
Date: 17 Dec 87 15:03:06 GMT
Organization: Data General, RTP NC.
Lines: 26


Please help:

I'm trying to find out what language test or validation suites
exist.  So far, I've found out about a Plumb-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