From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!ucbvax!grebyn.COM!karl
From: karl@grebyn.COM (Karl Nyberg)
Newsgroups: comp.lang.ada
Subject: The DoD Ada validation suite
Message-ID: <8808302110.AA16246@grebyn.com>
Date: 30 Aug 88 21:10:53 GMT
References: <8808301844.AA09817@galaxy.compass.com>
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: Grebyn Corporation
List-Id: <comp.lang.ada>


   ...
   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 --