Automated program flaw finding using simulated annealing

1 March 1998

proceedings article
Published by Association for Computing Machinery (ACM)

Vol. 23 (2) , 73-81
https://doi.org/10.1145/271771.271792

Abstract

One of the major costs in a software project is the construction of test-data. This paper outlines a generalised test-case data generation framework based on optimisation techniques. The framework can incorporate a number of testing criteria, for both functional and non-functional properties. Application of the optimisation framework to testing specification failures and exception conditions is illustrated. The results of a number of small case studies are presented and show the efficiency and effectiveness of this dynamic optimisation-base approach to generating test-data.

Keywords

This publication has 9 references indexed in Scilit:

Automated test data generation for programs with procedures
Published by Association for Computing Machinery (ACM) ,1996
Automatic structural testing using genetic algorithms
Software Engineering Journal, 1996
Constraint-based automatic test data generation
IEEE Transactions on Software Engineering, 1991
Testing — a challenge to method and tool developers
Software Engineering Journal, 1991
Automated software test data generation
IEEE Transactions on Software Engineering, 1990
Optimization by Simulated Annealing
Science, 1983
A System to Generate Test Data and Symbolically Execute Programs
IEEE Transactions on Software Engineering, 1976
Automatic Generation of Floating-Point Test Data
IEEE Transactions on Software Engineering, 1976
Equation of State Calculations by Fast Computing Machines
The Journal of Chemical Physics, 1953