AUTOMATED PROGRAM TESTING METHODOLOGY AND ITS IMPLEMENTATION.

This paper describes an automated testing methodology and an experiment performed to determine its effectiveness. The method is to insert in the program to be tested a number of ″executable assertions″ , statements about the program that trigger error signals whenever they are evaluated to be false (violated). A test-case is developed for the program using actual values of the input variables. When the program is run, a plot is generated of the number of assertions violated versus the input variable values used. The resulting function s called the ″error function″ . Heuristic search algorithms can then be used to maximize this function and thereby automtically locate input values which cause the most errors to occur. The experiment included developing assertions for the program to be tested, choosing and inserting representative errors into the program, and implementing search and data collecton algorithms for testing. The results indicate that combining executable assertions with heuristic search algorithms is an effective method for automating the testing of computer programs.