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: rajt@gco.apana.org.au (Raj Thomas) Subject: Ada validation is virtually worthless Date: 1996/04/06 Message-ID: <3166f922.3484257@news.sydney.apana.org.au>#1/1 X-Deja-AN: 146153087 references: <00001a73+00002c20@msn.com> <828038680.5631@assen.demon.co.uk> <828127251.85@assen.demon.co.uk> <315FD5C9.342F@lfwc.lockheed.com> <3160EFBF.BF9@lfwc.lockheed.com> <3162B080.490F@lfwc.lockheed.com> <828648378.5095@assen.demon.co.uk> organization: Australian Public Access Network Association (APANA) newsgroups: comp.lang.ada Date: 1996-04-06T00:00:00+00:00 List-Id: >John McCabe said > Machine_Code. Your response to my description of their implementation > was that this was precisely an improper extension. As this > implementation ahs been around for donkeys years, how did it get > through the validation process with an improper extension as obvious > as that?" >Robert Dewar said >First of all, as is clearly stated in the validation procedures document > the approach for eliminating >extensions is the DOC (declaration of conformance). Obviously no black >box testing can detect extensions in a systematic way, and even examining >the code is an impractical and ineffective way of making extensions. The >DOC actually declares that you have no deliberate extensions. Aah ! Let me see if I understand: 1. Validation does nothing to guarantee compiler correctness / " bug-freeness"/ usability / object code quality 2. Validation does provide for ensuring that illegal extensions and other crapola does not exist. 3. However, some of the techniques used for ensuring this depend on vendor honesty eg: " the approach for eliminating extensions is the DOC (declaration of conformance)...." 4. We all know about vendor honesty... My conclusions: a. Validated compliers have been validated ( Yes, it is a tautology and like all tautologies, of limited use.. ) b. Validation does not guarantee anything that is of great use to the developer... c. Validation is a useful marketing tool. d. Validation is essential if you are marketing to the American DODo Now it is all perfectly clear :-) Octopus traps summer's moonspun dreams soon fade away. Basho 1644