From: karl@grebyn.COM (Karl Nyberg)
Subject: The DoD Ada validation suite
Date: 30 Aug 88 21:10:53 GMT [thread overview]
Message-ID: <8808302110.AA16246@grebyn.com> (raw)
In-Reply-To: 8808301844.AA09817@galaxy.compass.com
...
This leads me to believe that the validation suite is pretty weak.
Compared to other languages, I think you'd be surprised at just how strong
the Ada Compiler Validation Capability is! (I'll forward you some material
on other compiler validation suites in private mail.)
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.
Yes, they are actively upgrading the ACVC suite. The ACVC is currently at
version 1.10, and is updated, I believe, on an annual basis (it may be
changing to a bi-annual basis). I seem to recall that the latest set of
tests to be added to the suite concerns checking of Chapter 13 features (see
below). Apparently, there's also a document known as the DoD Ada
Implementation Guidelines (give or take), which describes the objectives
intended to be covered by the ACVC. The August 29th issue of Government
Computer News has an article titled "DOD Issues Revised Ada Compiler
Validation Tests" (p. 53), which makes the following points regarding the
latest release of the ACVC:
Contains more than 400 changes from the previous release
most were "clarifications"
16 corrected inconsistencies in prior tests
27 were rewritten to prevent optimization of the function
being tested
The current suite contains about 75% of the test objectives
mentioned above.
Furthermore, the latest issue of the Ada IC Newsletter, July 1988 states:
Recognizing the importance of Chapter 13 of the ANSI/MIL-STD 1815A,
the AJPO encourages the Ada community to review ACVC 1.10 as soon as
possible, and to raise issues regarding this aspect of the Ada
language. Send comments to the AVO so we can use them to improve
future releases.
Ms. Audrey Hook
Institute for Defense Analysis
1801 Beauregard St.
Alexandria, VA 22311
So, if you have comments about or suggestions for inclusions in the ACVC,
there's your ticket!
-- Karl --
prev parent reply other threads:[~1988-08-30 21:10 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1988-08-30 18:44 The DoD Ada validation suite Dale Worley
1988-08-30 21:10 ` Karl Nyberg [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox