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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,15b0ab6fa90f819d X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-04-10 04:31:28 PST Path: archiver1.google.com!news1.google.com!news.glorb.com!newsfeed1.uni2.dk!news.get2net.dk.POSTED!53ab2750!not-for-mail Newsgroups: comp.lang.ada Subject: Re: "Tracking the Blackout bug" References: From: Mark Lorenzen Message-ID: User-Agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3 (gnu/linux) Cancel-Lock: sha1:L8qQyJvafRhbTruueW/HsTc1dVg= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Sat, 10 Apr 2004 14:32:20 +0200 NNTP-Posting-Host: 82.180.17.202 X-Complaints-To: abuse@colt-telecom.dk X-Trace: news.get2net.dk 1081596686 82.180.17.202 (Sat, 10 Apr 2004 13:31:26 CEST) NNTP-Posting-Date: Sat, 10 Apr 2004 13:31:26 CEST Organization: Colt Telecom Kunde Xref: archiver1.google.com comp.lang.ada:6946 Date: 2004-04-10T14:32:20+02:00 List-Id: Peter Amey writes: > sk wrote: >> Article at "The Register" about the electricity blackout >> in the Northeast (USA) last year. >> No directly relevent to c.l.a but interesting since it talks >> of race conditions etc. which are issues of Ada. >> http://www.theregister.co.uk/2004/04/08/blackout_bug_report/ >> > > Interesting read. What I do find irritating are quotes such as > > "The company did everything it could..." > "We text exhaustively..." > "Unfortunately, that's kind of the nature of software..." > > All these statements are untrue and they also reflect a kind of > defeatism that I wholly reject (imagine Boeing saying "OK, the wings > did fall off, but we tested it a lot and anyway that is just the > nature of aeroplanes"). > > The developers did NOT do everything they could. They could have used > the Ravenscar profile in Ada; they could use RavenSPARK; they could > have done some model checking of the concurrent parts of the program. > They did NOT test exhaustively because it is impossible > (/exhaustingly/ I am willing to believe). And software doesn't HAVE > to be cr*p! > > sigh > > Peter It is unbelievable how often I have heard the third statement quoted above. When I try to argue that constructing a software system is just as much an engineering task as constructing a bridge (although much less mature), I am met with disbelief and "hackish" counter-arguments. These arguments always turn on single point - that programming is an art or maybe even something resembling a magic craft, which can only be learned through years of hacking. And most certainly you can't use any theoretical knowledge when constructing "real" systems (as opposed to the fancy useless university exercises). Funny enough, the discussion is always about programming and not construction. For some reason, the programming task is regarded as something special and holy - probably the reason why programming language discussions always turn into holy wars. - Mark Lorenzen