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-Thread: 103376,c473e498c84938dd X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!stamper.news.atl.earthlink.net!newsread3.news.atl.earthlink.net.POSTED!d9c68f36!not-for-mail Message-ID: <410796AE.2080800@noplace.com> From: Marin David Condic User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0.1) Gecko/20020823 Netscape/7.0 (OEM-HPQ-PRS1C03) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Orders of Fault Management References: <2mnr9kFnpbivU1@uni-berlin.de> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Date: Wed, 28 Jul 2004 12:06:13 GMT NNTP-Posting-Host: 209.165.1.97 X-Complaints-To: abuse@earthlink.net X-Trace: newsread3.news.atl.earthlink.net 1091016373 209.165.1.97 (Wed, 28 Jul 2004 05:06:13 PDT) NNTP-Posting-Date: Wed, 28 Jul 2004 05:06:13 PDT Organization: EarthLink Inc. -- http://www.EarthLink.net Xref: g2news1.google.com comp.lang.ada:2433 Date: 2004-07-28T12:06:13+00:00 List-Id: The "All software has bugs" is not always true. However it is not really something you can demonstrate. I just delivered a significant control program (done in Ada) that - after rigorous verification - is operating with no *known* bugs. There may be some in there - but we can't demonstrate that there are from what we know. Also, a "bug" may not truly stop a software application from accomplishing its purpose. In that case, one might debate the economics of trying to remove "all bugs". It kind of leads to the question "How good is 'good enough'?" MDC Marc A. Criley wrote: > > FMO-2 is what I always find problematic. The statement "All software has > bugs" gets thrown around, and through gritted teeth I have to agree, but too > often I hear that used an excuse for lack of development rigor. And just > today I discovered a new term, "software rejuvenation", that addresses FMO-2 > by preemptively and regularly restarting a system > (http://www.stsc.hill.af.mil/crosstalk/2004/08/0408Bernstein.html). The > authors' research shows that it's been used and is effective, but I just > want to sigh "You're giving up! Fix the bugs!" -- ====================================================================== Marin David Condic I work for: http://www.belcan.com/ My project is: http://www.jsf.mil/NSFrames.htm Send Replies To: m o d c @ a m o g c n i c . r "All reformers, however strict their social conscience, live in houses just as big as they can pay for." --Logan Pearsall Smith ======================================================================