Automatic Generation of Floating-Point Test Data
- 1 September 1976
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-2 (3) , 223-226
- https://doi.org/10.1109/tse.1976.233818
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.Keywords
This publication has 7 references indexed in Scilit:
- Software for roundoff analysis, IIACM Transactions on Mathematical Software, 1978
- Software for Roundoff AnalysisACM Transactions on Mathematical Software, 1975
- SELECT—a formal system for testing and debugging programs by symbolic executionACM SIGPLAN Notices, 1975
- Testing large software with automated software evaluation systemsIEEE Transactions on Software Engineering, 1975
- SELECT---a formal system for testing and debugging programs by symbolic executionPublished by Association for Computing Machinery (ACM) ,1975
- The correctness of numerical algorithmsPublished by Association for Computing Machinery (ACM) ,1972
- A Decision Method for Elementary Algebra and GeometryPublished by University of California Press ,1951