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: 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: Ken Garlington Subject: Re: Safety-critical development in Ada and Eiffel Date: 1997/08/13 Message-ID: <33F25933.7F83@flash.net>#1/1 X-Deja-AN: 264488961 References: <33E9ADE9.4709@flash.net> <33F133D7.71AC@erols.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: Ted Velkoff wrote: > > There is an important distinction between including/removing assertions > and monitoring/not monitoring them during execution. One of the > principal benefits of Eiffel is the fact that assertions remain in the > code (where programmers will see them) even if they are not tested > dynamically (this is controlled by a compile-time switch). Whether or > not this would have saved Ariane V, the documentation and testing > benefits of Eiffel's assertions would benefit many, many software > projects. This is certainly reasonable. However, once the execution capabilities are removed, it seems fair to ask what Eiffel provides that comments (available in most langauges) don't provide. If there is not a significant difference, then Eiffel would not be any better (in this context) than any other language, so long as the DBC principles were followed. > > -- Ted Velkoff