comp.lang.ada
 help / color / mirror / Atom feed
From: johna42@aol.com (JohnA42)
Subject: Ada95 Real-time Annex(D) Guide
Date: 1998/11/03
Date: 1998-11-03T00:00:00+00:00	[thread overview]
Message-ID: <19981103162241.03401.00003363@ng116.aol.com> (raw)

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




             reply	other threads:[~1998-11-03  0:00 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1998-11-03  0:00 JohnA42 [this message]
1998-11-04  0:00 ` Ada95 Real-time Annex(D) Guide dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox