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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,42427d0d1bf647b1 X-Google-Attributes: gid103376,public From: john@assen.demon.co.uk (John McCabe) Subject: Re: Ada Core Technologies and Ada95 Standards Date: 1996/03/28 Message-ID: <828038680.5631@assen.demon.co.uk>#1/1 X-Deja-AN: 144706253 x-nntp-posting-host: assen.demon.co.uk references: <00001a73+00002c20@msn.com> newsgroups: comp.lang.ada Date: 1996-03-28T00:00:00+00:00 List-Id: dewar@cs.nyu.edu (Robert Dewar) wrote: > There is also a well funded effort to create a comprehensive test suite > which will be used as a basis for formal validation under the auspices > of NIST. An initial version of this suite is already available, and > has been used to validate several Ada 95 compilers, including GNAT. Yes. but at the moment the validation suite only consists of those parts of Ada that are common between Ada 83 and Ada 95 does it not. The fact is that the full validation suite including all the Ada 95 features won't be available until sometime in 1997. Hopefully the fact that the language has been divided into the Core language and the specialised needs annexes willhelp to ensure that Ada 95 validation is superior to Ada 83 validation. From my experience, Ada 83 validation didn't appear to prove much! Best Regards John McCabe