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 20:24:45 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!cyclone.bc.net!tdsnet-transit!newspeer.tds.net!news.binc.net!kilgallen
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Newsgroups: comp.lang.ada
Subject: Re: [OT] Spirit - Software failure
Date: 26 Jan 2004 22:24:38 -0600
Organization: LJK Software
Message-ID: <AdebBfgL2Msw@eisner.encompasserve.org>
References: <5d6fdb61.0401260215.1e460bdf@posting.google.com>
 <slrnc19roj.4bn.randhol+valid_for_reply_from_news@k-083152.nt.ntnu.no>
 <ynRNfnZlreeA@eisner.encompasserve.org>
 <40152073$0$322$e4fe514c@news.xs4all.nl>
 <wccznca1dfh.fsf@shell01.TheWorld.com>
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 1075177455 16939 192.135.80.34 (27 Jan 2004
 04:24:15 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Tue, 27 Jan 2004 04:24:15 +0000 (UTC)
Xref: archiver1.google.com comp.lang.ada:4876
Date: 2004-01-26T22:24:38-06:00
List-Id: <comp.lang.ada>

In article <wccznca1dfh.fsf@shell01.TheWorld.com>, Robert A Duff <bobduff@shell01.TheWorld.com> writes:
> fdebruin <fdebruin@xs4all.nl> writes:
> 
>> In addition, with testing you can proof the presence of errors, but you
>> cannot proof their absence.
> 
> With X, where X is any method whatsoever you can name, you can prove the
> presence of errors, but you cannot prove their absence.

Or if you don't try hard enough, you can't even prove the presence of errors.

        <<< EISNER::DRA1:[NOTES$LIBRARY]HOBBIES_AND_INTERESTS.NOTE;1 >>>
                           -< HOBBIES_AND_INTERESTS >-
=============================================================================
Note 226.85                 NASA, Space Flight, etc.                 85 of 86
EISNER::SCOPELLITI                                18 lines  26-JAN-2004 21:45
                         -< Would ODS-2 have helped? >-
-----------------------------------------------------------------------------
    Detailing the Spirit rover's problems.  From:
    http://www.cnn.com/2004/TECH/space/01/26/mars.rovers/index.html
    
    "Trosper said the problem appeared to be that the rover's flash memory
    couldn't handle the number of files it was storing. The jam-up, she
    said, apparently kept Spirit from shutting down properly and performing
    a number of functions that normally originated in its flash memory. 
    
    "Scientists are still analyzing the data, she said, but would begin
    deleting unnecessary files to test that theory.
    
    "She pointed out that the scientists had thoroughly tested the rover's
    systems on Earth, but that the longest trial for the file system was
    nine days, half of the 18 days Spirit operated before running into the
    problem."
    --------------------
    Perhaps this is the first time that a defrag actually fixes something?
    <GRIN>