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,fb1663c3ca80b502 X-Google-Attributes: gid103376,public From: Simon Brady Subject: Re: Writing better software was: Design by Contract (was Re: Interesting thread in comp.lang.eiffel) Date: 2000/08/01 Message-ID: <39860178.3EC77DC9@below.for.email.address>#1/1 X-Deja-AN: 652986199 Cache-Post-Path: the-rowan.albatross.co.nz!sbrady@kakapo.otago.ac.nz Content-Transfer-Encoding: 7bit References: <8ipvnj$inc$1@wanadoo.fr> <39654639.B3760EF2@eiffel.com> <3984AD1D.830B538@below.for.email.address> <3984DC2D.C707824@swbell.net> <3985F031.B4862B40@below.for.email.address> X-Original-NNTP-Posting-Host: ns.albatross.co.nz X-Accept-Language: en Content-Type: text/plain; charset=us-ascii X-Abuse-Info: Otherwise we will be unable to process your complaint properly X-Complaints-To: abuse@GigaNews.Com X-Trace: sv2-c661Yo94rt2o4UP61JiYD5iu+vH3yIoEOBqdIsZ3y/MebxRli7r0xKWKRvOND8py6DOT2NDuLBdChfe!ign17WQFRVFZkkRPaoYLb7IR Organization: University of Otago CS Dept X-Original-Trace: 1 Aug 2000 10:45:13 +1200, ns.albatross.co.nz X-Cache: nntpcache 2.3.3 (see http://www.nntpcache.org/) MIME-Version: 1.0 NNTP-Posting-Date: Mon, 31 Jul 2000 17:45:18 CDT Newsgroups: comp.lang.ada Date: 2000-08-01T00:00:00+00:00 List-Id: I wrote: > > 1. Accept (potentially) lower-quality software and fly with increased > risk. Now that I think about it, it's wimpy to say "potentially" here. Software quality isn't just about lack of bugs, it's about _confidence_ that there's a lack of bugs. So if they cut testing (and hence lowered their confidence in the software), I would argue that they're still delivering a lower-quality product even if it happened to be bug-free. Of course, some might say such a purist approach is commercially naive, but then that's why I'm not a commercial programmer :-) Simon Brady sjbrady Research Assistant, Computer Science Dept. at University of Otago, Dunedin, New Zealand acm dot org