Ada95 Real-time Annex(D) Guide

Ada95 Real-time Annex(D) Guide

[JohnA42]

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?

Thanks in advance for any info.
Best regards,

John Arnsparger

Re: Ada95 Real-time Annex(D) Guide

[dewar]

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