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=0.6 required=5.0 tests=BAYES_20,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,2c6139ce13be9980 X-Google-Attributes: gidfac41,public X-Google-Thread: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public X-Google-Thread: 1108a1,2c6139ce13be9980 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public From: Wes Groleau Subject: Re: Safety-critical development in Ada and Eiffel Date: 1997/07/15 Message-ID: <33CBBF4B.7BAF@pseserv3.fw.hac.com>#1/1 X-Deja-AN: 257038194 Sender: usenet@most.fw.hac.com (News Administration) X-Nntp-Posting-Host: sparc02 References: <33C835A5.362A@flash.net> Organization: See Warning Below! Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-07-15T00:00:00+00:00 List-Id: > You would use them anywhere that a piece of code makes assumptions. For example, > to help avoid the Ariane fiasco, include contracts in the INS(?) that specify > Ariane 4 dynamics. Then, in testing, you will get an assertion violation when > you apply Ariane 5 dynamics to it. Here we go again with this myth. Probably won't help, but I'll say one more time what others said over and over: telling people to assert or document everything pertinent will NOT cure the failure to recognize what's pertinent!! Or in your own words: > No use of assertions will stop you misinterpreting requirements. -- ---------------------------------------------------------------------- Wes Groleau, Hughes Defense Communications, Fort Wayne, IN USA Senior Software Engineer - AFATDS Tool-smith Wanna-be Don't send advertisements to this domain unless asked! All disk space on fw.hac.com hosts belongs to either Hughes Defense Communications or the United States government. Using email to store YOUR advertising on them is trespassing! ----------------------------------------------------------------------