Re: Software Vendors

["OleBlighty" <oleblighty@xxxxxxxx>]

With the utmost respect.  That is just not correct.  You, in fact, CAN make
100% bug free software.  Yes, it is difficult.  Yes, it is time consuming,
Yes, it does take thought.  Yes, it is prohibitively expensive.  But, it
_can_ be done.

This is program logic we are talking about, not some scientific principle.

A program's logic is not infinite.  There are only a certain number of
things that can go wrong.  These can _all_ be tested for.

Just 'cause we don't do it doesn't mean it can't (or should) be done.

If one can write a two line program with 0 bugs then one can write a 4 line
or 4 million line program with 0 bugs.  Unfortunately, no one is going to be
able to afford it :)

Regards,

Mark.

----- Original Message -----
From: Jeff Crosby <jlcrosby@fwi.com>
To: <MIDRANGE-L@midrange.com>
Sent: Thursday, December 02, 1999 4:45 AM
Subject: Re: Software Vendors


> Prove it. <g>
>
> This is not meant as a slam, but I just couldn't resist. <g>  IMO, one
> cannot prove that a piece of software has no bugs.  One can only prove
> that it _does_ have bugs.  This is done by finding one.  That fact that
> there is no known bug in a piece of software does not prove that it is
> bug free, it simply means no bugs have been found so far.
>
> --
> -Jeff


+---
| This is the Midrange System Mailing List!
| To submit a new message, send your mail to MIDRANGE-L@midrange.com.
| To subscribe to this list send email to MIDRANGE-L-SUB@midrange.com.
| To unsubscribe from this list send email to MIDRANGE-L-UNSUB@midrange.com.
| Questions should be directed to the list owner/operator: david@midrange.com
+---