Originally Posted by
roulishollandais
Too many people assert it is impossible to write zero-bug software. And that is wrong. In result we stay with no-answer questions about how we shall avoid the multi-repetition of failure... Until we discover the hidden Volkswagen syndrome ?
It is possible to write bug free software, but proving that that's what's been achieved is basically impossible except in trivial examples.
Mostly we rely on a whole lot of very carefully designed testing and many hours of logged trouble-free running before reluctantly concluding that it might be ok... That's why making changes to this kind of software is so expensive - All the software tests have to be repeated.