SPECIFICATION DIRECTED MODULE TESTING
If a program is developed from a specification in a mathematically rigorous manner, work done in the development can also be utilized in the testing of the program. We can apply the better understanding afforded by these methods to provide a more thorough check on the correct operation of the program under test. This should lead to earlier detection of faults (making it easier to determine their causes), more useful debugging information, and a. greater confidence in the correctness of the final product. Overall, a. more systematic approach should expedite the task of the program tester, and improve software reliability.