RE: Software Vendors

["Brendan Bispham" <midrangel@xxxxxxxxxxxxxxxxxx>]

This has been a long thread, with a few big claims. But is anyone prepared
to actually post some bug-free code (that actually does something useful!).

I thought about setting an open challenge; produce a completely bug-free
program and lay yourself open to the comments of the list.

But I realised that because most programs are a series of assumptions, made
because of previous programs, a single (useful) program cannot be bug-free
in itself, unless it makes no assumptions whatsoever (except perhaps, that
is executing).

And isn't that the real problem? A bug-free program is dependent upon so
many things outside of it's control, that a 'butterfly flapping it's wings'
somewhere on the system, may cause chaos in the perfect program.

I will stand corrected with an example.

NB, should a perfect program be produced, then it will have to pass the same
tests a Software Vendor is expected to pass: International differences and
different OS VRMs.

In anticipation of enlightenment,

Brendan Bispham

Black and Blue Software Engineering
http://www.black-and-blue.com


+---
| 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
+---