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,42427d0d1bf647b1
X-Google-Attributes: gid103376,public
From: Laurent.Guerby@enst-bretagne.fr (Laurent Guerby)
Subject: Re: Ada Core Technologies and Ada95 Standards
Date: 1996/04/19
Message-ID: <4xzq89i2o4.fsf@leibniz.enst-bretagne.fr>#1/1
X-Deja-AN: 148286458
distribution: world
sender: guerby@leibniz.enst-bretagne.fr
references: <00001a73+00002c20@msn.com> <dewar.827809782@schonberg>
content-type: text/plain; charset=US-ASCII
organization: Telecom Bretagne
mime-version: 1.0
newsgroups: comp.lang.ada
Date: 1996-04-19T00:00:00+00:00
List-Id: <comp.lang.ada>

Ken Garlington writes
[deleted]
: And yet, it's _not_ a mistake to mandate ACVC for non-DoD users? Why?
[deleted]

   The key idea here  is the time (and money)  spent on such items (as
already pointed out by Robert Dewar). The time and  money spent by all
Ada  vendors to reach ACVC compliance  is _not_  spent in GUI builder,
external tools, and other goodies.  If you require compliance with one
million tests, you won't get any tool (and may be not even a compiler,
or worse, only one compiler for your platform ...).

   Think about C++ compilers which are known  to be weak and buggy for
many  features of the (evolving)  draft  C++ standard,  but which  are
coming  with a  good set   of  programming  tools (windows,   editors,
profilers, libraries ...) that people like.

   If you want to enter the Ada market, ACVC is the recognized minimum
for  any "decent" compiler.  It's   already  a  _lot_ of work   (time,
money). And it does an useful (but limited) job.

   But it is a "mistake" to  require more for  every Ada compiler used
by every  Ada  programmer.  Most C/C++ programmers  are  using a buggy
C/C++ compiler  without asking more  than 93.1416%  ANSI C/POSIX/Draft
C++/Whatever compliance and are quite happy with it ;-).

   Of course, if  you have to handle a  big  and serious project,  you
will ask more  from your vendor  (ACES,  other test suites,  ISO 9000,
certifications, etc ...).

[Just student's  thoughts, I    haven't any  real experience   on  the
subject,  except with buggy language X   compilers (a lot of compilers
and Xs) ;-]

-- 
--  Laurent Guerby, student at Telecom Bretagne (France), Team Ada.
--  "Use the Source, Luke. The Source will be with you, always (GPL)."
--  http://www-eleves.enst-bretagne.fr/~guerby/ (GATO Project).
--  Try GNAT, the GNU Ada 95 compiler (ftp://cs.nyu.edu/pub/gnat).