Testing and Verification
Keith R. Wehmeyer · 2021
The most obvious test that can be done on a program is a check to see that it correctly performs its intended function. Since a program is useless if it solves the wrong problem, this is the first step in the testing/verification process. When a program has been written, debugged, and found satisfactory by the programmer, the process of testing and verification begins. Although it is much like debugging, testing differs in the type of problems that are solved. When a program is ready to undergo testing, the programmer feels that it is operating correctly according to his interpretation of the specification. Instead, most revisions result from an attempt to: While this list is not comprehensive, it does outline the major reasons why testing and verification take place. Although there are other areas of evaluation, verification should take place in these major areas: When the program has been functionally verified, the programmer can proceed with the testing process.