From: worley@compass.UUCP (Dale Worley)
Subject: The DoD Ada validation suite
Date: 30 Aug 88 18:44:28 GMT [thread overview]
Message-ID: <8808301844.AA09817@galaxy.compass.com> (raw)
The idea of an Ada validation suite always struck me as a great idea.
However, several programmers here have been using several Ada
compilers, and we keep finding differences between validated
compilers. When we look up the differences, we usually find that one
or the other compiler is deviating from the Reference Manual in some
minor way.
This leads me to believe that the validation suite is pretty weak.
(This may be a little harsh -- Ada is a huge and complicated language,
and an exhaustive validation suite would be very difficult to build.)
Does the DoD intend the validation suite to verify compiler
compliance? If so, are they actively upgrading the suite as compiler
bugs are found? Etc., etc.
Dale
compass!worley@think.com
Compass, Inc. -- the usual disclaimers apply
next reply other threads:[~1988-08-30 18:44 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1988-08-30 18:44 Dale Worley [this message]
1988-08-30 21:10 ` The DoD Ada validation suite Karl Nyberg
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox