From: Ludovic Brenta <ludovic.brenta@insalien.org>
Subject: Re: [OT] Spirit - Software failure
Date: 26 Jan 2004 14:57:25 +0100
Date: 2004-01-26T14:57:25+01:00 [thread overview]
Message-ID: <m34quin77e.fsf@insalien.org> (raw)
In-Reply-To: ynRNfnZlreeA@eisner.encompasserve.org
Kilgallen@SpamCop.net (Larry Kilgallen) writes:
> Preben Randhol writes:
> > On 2004-01-26, Jano 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.
Any details on the failure itself? Is it related to memory
management? A buffer overflow for example?
Besides, for this kind of mission I would favour verification over
testing.
--
Ludovic Brenta.
next prev parent reply other threads:[~2004-01-26 13:57 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 [this message]
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