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.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public X-Google-Thread: fac41,2c6139ce13be9980 X-Google-Attributes: gidfac41,public X-Google-Thread: 1108a1,2c6139ce13be9980 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public From: Ken Garlington Subject: Re: Safety-critical development in Ada and Eiffel Date: 1997/08/13 Message-ID: <33F25AA5.49ED@flash.net>#1/1 X-Deja-AN: 264488396 References: <33E09CD5.634F@flash.net> <33E9ADE9.4709@flash.net> <5siqrr$3of@jupiter.milkyway.org> <5smgts$p68$1@miranda.gmrc.gecm.com> <33EFCCE4.4CE0@flash.net> <5sskfd$nn5$2@miranda.gmrc.gecm.com> Organization: Flashnet Communications, http://www.flash.net Reply-To: Ken.Garlington@computer.org Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-08-13T00:00:00+00:00 List-Id: Paul Johnson wrote: > > The client code can be checked against the assertions: if the client > relies on undocumented (i.e. unasserted) behaviour then it is at fault. > On the other hand if the supplier class fails to promise anything useful > then its a useless piece of code anyway, and can be rejected on those > grounds. The whole point is to document the interface, and then check > the documentation for correctness. Against what? All you have is the code and the assertions created as part of the code. Checking them against each other determines internal consistency between the two, but that's all. Based on the studies I've seen, most errors aren't to pure internal inconsistencies at the code level. It's difficult to explain a software methodology to someone who only sees one step: coding. I'd have to type in several pages worth of software engineering textbook to even try. So (and I hate this phrase!) we'll just have to agree to disagree. > > Paul. > > -- > Paul Johnson | GEC-Marconi Ltd is not responsible for my opinions. | > +44 1245 242244 +-----------+-----------------------------------------+ > Work: | You are lost in a twisty maze of little > Home: | standards, all different.