On the Use of Transcendentals for Program Testing
- 1 January 1981
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 28 (1) , 181-190
- https://doi.org/10.1145/322234.322247
Abstract
The element z is called a transcendental for the class F if functions in F can be uniquely identified by their values at z. Conditions for the existence of transcendentals are discussed for certain classes of polynomials, multinomials, and rational functions. Of particular interest are those transcenden- tals having an exact representation in computer arithmetic. Algorithms are presented for reconstruction of the coefficients of a polynomial from its value at a transcendental. The theory is illustrated by application to polynomials, quadratic forms, and quadrature formulas.Keywords
This publication has 4 references indexed in Scilit:
- Test data as an aid in proving program correctnessCommunications of the ACM, 1978
- Proof, Completeness, Transcendentals, and SamplingJournal of the ACM, 1977
- Observations of Fallibility in Applications of Modern Programming MethodologiesIEEE Transactions on Software Engineering, 1976
- Reliability of the Path Analysis Testing StrategyIEEE Transactions on Software Engineering, 1976