Issue No. 03 - September (1976 vol. 2)
W. Miller , Department of Computer Science, Pennsylvania State University
For numerical programs, or more generally for programs with floating-point data, it may be that large savings of time and storage are made possible by using numerical maximization methods instead of symbolic execution to generate test data. Two examples, a matrix factorization subroutine and a sorting method, illustrate the types of data generation problems that can be successfully treated with such maximization techniques.
software evaluation systems, Automatic test data generation, branching, data constraints, execution path
W. Miller, D.L. Spooner, "Automatic Generation of Floating-Point Test Data", IEEE Transactions on Software Engineering, vol. 2, no. , pp. 223-226, September 1976, doi:10.1109/TSE.1976.233818