-------------------------------------Reply----------------------------------
----------
I recall that the Bell Labs used a lot of software to test the first ESS office in Morris, Illinois. As I recall their software tests showed it would meet the objective of not more than one outage of not more than 15 minutes in 20 years of service.
As I recall, they cut over to it 2 a.m. CST, the normal time for making changes, and irt had failed several times before morning.
Software can really be tested only by putting it in service. That's the reason AT&T decided to put it in a test location to see what happened in the real world beafore standardizing it and deploying it.
I have seen proofs of why it is impossible to create software which will prove that another piece of software is error-free. (Not to mention the additional fact that it is impossible that you can never predict completely every input or demand that will be put on it--and users can do things you never thought of so you didn't test for that.)
Wes Leatherock snipped-for-privacy@aol.com snipped-for-privacy@yahoo.com