[comp.lang.fortran] Validation Suite Bibliography

wood@xyzzy.UUCP (Tom Wood) (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 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

nacer@mist.cs.orst.edu (Abdenacer Moussaoui C.) (12/29/87)

What is a validation suite?
thank you.

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

An update:

Two weeks ago I posted a request for information about validation,
verification, or test suites for languages.  The response has been
very helpful but light--I've received 9 mail messages.  I'm currently
tracking down these leads and have sent away for brochures and
literature.

If you know of any language validation or test suites, please send me 
mail.  Please include info on where to send for the tests.  Phone
numbers are especially helpful.

Oh yes, I've also run across validation suites for Unix.  I'll include
this in the forthcoming summary.

Thanks for your help!
-- 
			Tom Wood	(919) 248-6067
			Data General, Research Triangle Park, NC
			{the known world}!mcnc!rti!xyzzy!wood