A software has bugs even the most comprehensive test can’t find.
Bugs in every step. Is there a sure way to know if a software has bugs? I don’t think so.
Yes, for simple operations we might come close to 100%, but when complexity grows, it’s hard if not impossible.
Bugs will always be there, as in life we encounter the unexpected.
Better to plan for the unexpected, than to be shocked.