comp.lang.ada
 help / color / mirror / Atom feed
From: "Keith Allan Shillington" <keith@sd.aonix.com>
Subject: Re: Aonix Ada 95
Date: 1997/03/21
Date: 1997-03-21T00:00:00+00:00	[thread overview]
Message-ID: <01bc361b$47b7dc60$fc00af88@godiva> (raw)
In-Reply-To: dewar.858624303@merv


> Robert Eachus said
> ...  (For those who have never dealt with the ACVC, the
> B-tests are--in 1.x--about 1000 test which not only require you to
> find every error at compile time, but to diagnose it correctly.  Some
> tests have/had hundreds of errors. Every compiler vendor I know spent
> most of their effort during validation getting the B-tests right.
> Most of the rest was spent on C-tests, and A,D,E and L collectively
> accounted for at most 1-2% of the effort.)

Me thinks your numbers are overly pessimized, but, that is all in the past
anyway.  Anyone who bothers to look at the 2.X ACVC suite will find a
stronger emphasis on C and L tests.  It was our expectation in writing them
that the vendors would find a little more need to focus on the implementation
of the executable bits.  And, let us not discount the value of a good error
message from a compiler.

Robert Dewar deftly points out:

<<Given that every line has a comment on it that says ERROR, I have no doubt
that the amazing Kruchten compiler would be able to read through a B test
and announce ERROR on all appropriate lines :-)>>

Takes me back to the days of the Basic interpreter that was possessed of the
single error message: "Huh?"





  reply	other threads:[~1997-03-21  0:00 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-03-09  0:00 Aeonix Ada 95 suburb
1997-03-09  0:00 ` Robert Dewar
1997-03-09  0:00   ` Tom Moran
1997-03-09  0:00     ` Dave Wood
1997-03-10  0:00       ` Robert Dewar
1997-03-10  0:00       ` Robert Dewar
1997-03-10  0:00         ` Dave Wood
1997-03-11  0:00           ` Robert Dewar
1997-03-11  0:00     ` Robert Dewar
1997-03-17  0:00     ` Robert I. Eachus
1997-03-17  0:00       ` Robert Dewar
1997-03-21  0:00         ` Keith Allan Shillington [this message]
1997-03-14  0:00   ` Chris Morgan
1997-03-14  0:00     ` Robert Dewar
1997-03-17  0:00       ` Human compilers (was: Re: Aeonix Ada 95) Norman H. Cohen
1997-03-19  0:00         ` Robert 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