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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,dbe024bebf3e8f53 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-01-26 06:13:08 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.wirehub.nl!newsgate.cistron.nl!transit.news.xs4all.nl!newsfeed.xs4all.nl!xs4all!not-for-mail Newsgroups: comp.lang.ada Subject: Re: [OT] Spirit - Software failure References: <5d6fdb61.0401260215.1e460bdf@posting.google.com> From: fdebruin User-Agent: nn/6.6.2 Date: 26 Jan 2004 14:13:07 GMT Message-ID: <40152073$0$322$e4fe514c@news.xs4all.nl> NNTP-Posting-Date: 26 Jan 2004 15:13:07 CET NNTP-Posting-Host: 194.109.21.3 X-Trace: 1075126387 news.xs4all.nl 322 [::ffff:194.109.21.3]:2933 X-Complaints-To: abuse@xs4all.nl Xref: archiver1.google.com comp.lang.ada:4813 Date: 2004-01-26T15:13:07+01:00 List-Id: Kilgallen@SpamCop.net (Larry Kilgallen) writes: >Even if it was programmed in C, I would think it could have been tested >more thoroughly. More than what? It is difficult to judge whether the test effort can be considered sufficient if one does not have insight in what has been performed. In addition, with testing you can proof the presence of errors, but you cannot proof their absence. Frank de Bruin