comp.lang.ada
 help / color / mirror / Atom feed
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Subject: Re: [OT] Spirit - Software failure
Date: 26 Jan 2004 07:26:27 -0600
Date: 2004-01-26T07:26:27-06:00	[thread overview]
Message-ID: <ynRNfnZlreeA@eisner.encompasserve.org> (raw)
In-Reply-To: slrnc19roj.4bn.randhol+valid_for_reply_from_news@k-083152.nt.ntnu.no

In article <slrnc19roj.4bn.randhol+valid_for_reply_from_news@k-083152.nt.ntnu.no>, Preben Randhol <randhol+valid_for_reply_from_news@pvv.org> writes:
> On 2004-01-26, Jano <402450@cepsz.unizar.es> wrote:
>> DISCLAIMER: I'm not sure if the software of the Spirit is in Ada or C
> 
> I don't know either, except that it was said to be programmed in C.

Even if it was programmed in C, I would think it could have been tested
more thoroughly.  Massive repeated long-term variagated testing of
memory management software should be one of the easier black box tests
to arrange.




  reply	other threads:[~2004-01-26 13:26 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 [this message]
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
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