We will see the failures during testing. Testing will show the presence of errors, not their absence. We need good theory of testing to feel confident about our software, this is one of the requirements. We also need effective test methods and practices to enable us to locate the faults and correct them. Testing is often taken as a debugging which is not true. And often we also take it as a ability to execute programs.