From: dewar@gnat.com
Subject: Re: Ada95 Real-time Annex(D) Guide
Date: 1998/11/04
Date: 1998-11-04T00:00:00+00:00 [thread overview]
Message-ID: <71onep$jb6$1@nnrp1.dejanews.com> (raw)
In-Reply-To: 19981103162241.03401.00003363@ng116.aol.com
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
prev parent reply other threads:[~1998-11-04 0:00 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-11-03 0:00 Ada95 Real-time Annex(D) Guide JohnA42
1998-11-04 0:00 ` dewar [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