An Automated Program Testing Methodology and its Implementation.
GENERAL RESEARCH CORP SANTA BARBARA CA
Pagination or Media Count:
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 testcase is then 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 is called the error function. Heuristic search algorithms can then be used to maximize this function and thereby automatically 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 collection algorithms for testing. The results indicate that combining executable assertions with heuristic search algorithms in an effective method for automating the testing of computer programs. Author
- Computer Programming and Software