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,9dd4fc31bb541f7a X-Google-Attributes: gid103376,public From: dewar@gnat.com Subject: Re: Ada95 Real-time Annex(D) Guide Date: 1998/11/04 Message-ID: <71onep$jb6$1@nnrp1.dejanews.com>#1/1 X-Deja-AN: 408180703 References: <19981103162241.03401.00003363@ng116.aol.com> X-Http-Proxy: 1.0 x4.dejanews.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja News - The Leader in Internet Discussion X-Article-Creation-Date: Wed Nov 04 05:07:37 1998 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/2.02 (OS/2; I) Date: 1998-11-04T00:00:00+00:00 List-Id: In article <19981103162241.03401.00003363@ng116.aol.com>, johna42@aol.com (JohnA42) wrote: > I am looking for info on Compiler Validation Tests for the Ada95 Annex D. > Is there a "Dummies" guide to the ACVC2.1 Annex D tests that itemizes and > summarizes them and explains how ACVC2.1 verifies them? > > Is there another good set of test programs (beyond Hartstones) that will > identify which Annex D features are provided and which ones aren't? > For example, if a vendor is using VxWorks or LynxOS and claims Annex D > compliance, are there acceptance tests that can verify this? The annexes are indeed tested by the ACVC tests, so if a vendor has run the ACVC Annex D tests, the VSR will indicate which tests passed and which did not. Be very careful to check information on Annex validations when you look at validated compilers. Many "validated" compilers do not validate all the annexes. For example, one recent Solaris validation by a well known manufacturer validated NONE of the annexes at all. Robert Dewar Ada Core Technologies -----------== Posted via Deja News, The Discussion Network ==---------- http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own