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: l117593@cliffy.lfwc.lockheed.com (Cordes MJ) Subject: Re: Ada Core Technologies and Ada95 Standards Date: 1996/04/10 Message-ID: <4kf739$f00@cliffy.lfwc.lockheed.com>#1/1 X-Deja-AN: 146805063 references: <00001a73+00002c20@msn.com> organization: Lockheed Martin Tactical Aircraft Systems newsgroups: comp.lang.ada Date: 1996-04-10T00:00:00+00:00 List-Id: Robert I. Eachus posted a fine example of a case where testing the compiler is difficult (if not harmful). Robert Dewar has responded to Ken Garlington's posts indicating that it is foolish to expect the ACVCs to guatantee an Ada compiler meets the RM. I don't think that Ken, or anybody else in the user community, expects the ACVC to guarantee 100% compliance with the RM. I did, however, believe that the ACVC provided *some* measure of quality. You two can concentrate on the pathological cases and make a strong argument for doing nothing while we continue to develop safety critical code with *validated* compilers which generate bad code for some of the more simple Ada features. Instead of flaming us for expecting to much, take our comments and feedback from your "larger" user community, and challenge yourself (i.e., the Ada compiler vendors) to provide a high quality product that meets all of our needs. And to the nattering nabobs of negativism I say: the users are learning that higher quality toolsets mean lower development costs - quality will make a difference in future toolset selections. (this sounds much more snooty than I intended - however, it does state my point in the fewest words :-) -- --------------------------------------------------------------------- Michael J Cordes Phone: (817) 935-3823 Fax: (817) 935-3800 EMail: CordesMJ@lfwc.lockheed.com ---------------------------------------------------------------------