[comp.software-eng] Validation Suite Bibliography

wood@xyzzy.UUCP (Tom Wood) (12/29/87)

Please help (posted two weeks ago to comp.lang groups):

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.  When sending leads, please 
include a phone number if its available.

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 for your help!
-- 
			Tom Wood        (919) 248-6067
			Data General, Research Triangle Park, NC
			{the known world}!mcnc!rti!xyzzy!wood