comp.lang.ada
 help / color / mirror / Atom feed
From: fdebruin <fdebruin@xs4all.nl>
Subject: Re: [OT] Spirit - Software failure
Date: 26 Jan 2004 14:13:07 GMT
Date: 2004-01-26T15:13:07+01:00	[thread overview]
Message-ID: <40152073$0$322$e4fe514c@news.xs4all.nl> (raw)
In-Reply-To: ynRNfnZlreeA@eisner.encompasserve.org

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



  parent reply	other threads:[~2004-01-26 14:13 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-01-26 10:15 [OT] Spirit - Software failure Jano
2004-01-26 10:42 ` Preben Randhol
2004-01-26 13:26   ` Larry Kilgallen
2004-01-26 13:57     ` Ludovic Brenta
2004-01-26 14:15       ` Preben Randhol
2004-01-26 23:17         ` Hyman Rosen
2004-01-27  0:40           ` Alexandre E. Kopilovitch
2004-01-26 14:13     ` fdebruin [this message]
2004-01-26 23:46       ` Robert A Duff
2004-01-27  4:24         ` Larry Kilgallen
2004-01-27  8:30           ` Stephen Leake
2004-01-27 10:59             ` Larry Kilgallen
2004-01-27 11:47             ` Preben Randhol
2004-01-27 12:30               ` Jeff C,
2004-01-27 12:41               ` Preben Randhol
2004-01-27 16:52                 ` Hyman Rosen
2004-01-27 17:01                   ` Preben Randhol
2004-01-27 13:53             ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox