3 ms·

I did read it. I stick by my assertion. In practice, software cannot be proven to be bug free. This assertion has been borne out by numerous companies with near

I did read it. I stick by my assertion. In practice, software cannot be proven to be bug free. This assertion has been borne out by numerous companies with nearly unlimited budgets who continue to find severe bugs in their software, despite extensive testing. While it's interesting academically that a single function could be tested and shown to be bug-free, it's not relevant in practice. It's the interaction of multiple functions and subsystems that leads to many bugs -- and inputs in edge cases lead to even more than that.

masklinn 8y ago
> I stick by my assertion. In practice, software cannot be proven to be bug free. You can't "stick by your assertion" then provide something which has almost no relation to your original assertion, that's called "moving the goalposts". This moving of goalposts is even more asinine when you're moving them exactly where the comment which you originally decried had put them. Reminder: here is what you originally felt you needed to note was wrong: > Software can not be proved bug-free by tests (and even that assertion is not completely true, you can prove software through exhaustive testing if it's very very simple).