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: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public X-Google-Thread: fac41,a48e5b99425d742a X-Google-Attributes: gidfac41,public X-Google-Thread: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public X-Google-Thread: 107d55,a48e5b99425d742a X-Google-Attributes: gid107d55,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public From: Ken Garlington Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/18 Message-ID: <332ED9FB.2CB8@lmtas.lmco.com>#1/1 X-Deja-AN: 226468054 References: <332B5495.167EB0E7@eiffel.com> <5gj0id$2g7@miranda.gmrc.gecm.com> Organization: Lockheed Martin Tactical Aircraft Systems Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.programming.threads,comp.lang.ada,comp.lang.java.tech Date: 1997-03-18T00:00:00+00:00 List-Id: Paul Johnson wrote: > > In article , nouser@nohost.nodomain says... > > They did this by commenting the code, rather than writing it into the > documentation. Furthermore the exception occured (as I understand it) > because the compiler included explicit range checks in the compiled code, > and the programmers had opted not to include manual range checking and > limiting because of CPU limits. You do not understand correctly. The design team for Ariane IV made a conscious decision to eliminate the *automated* check, which was documented. The Ariane V team did not do sufficient analysis to believe that this decision was wrong for Ariane V, nor did they do sufficient testing which would have demonstrated their error. Note that the documentation of the assertion (the legal range of the value in question) was still in the code; only the check was removed. -- LMTAS - The Fighter Enterprise - "Our Brand Means Quality" For job listings, other info: http://www.lmtas.com or http://www.lmco.com