The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - September (1976 vol.2)
pp: 223-226
W. Miller , Department of Computer Science, Pennsylvania State University
ABSTRACT
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.
INDEX TERMS
software evaluation systems, Automatic test data generation, branching, data constraints, execution path
CITATION
W. Miller, D.L. Spooner, "Automatic Generation of Floating-Point Test Data", IEEE Transactions on Software Engineering, vol.2, no. 3, pp. 223-226, September 1976, doi:10.1109/TSE.1976.233818
131 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool