Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing
Several inequalities are derived for use in certifying function subroutines by means of black box testing. It is assumed that a function is approximated by means of a polynomial of limited degree on a closed interval. These inequalities give upper bounds on the error of the approximation over the entire interval based on the error measured over a finite sample and known properties of the function.
R. P. Roe and J. H. Rowland, "Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing," IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers (IEEE), Jan 1987.
The definitive version is available at https://doi.org/10.1109/TSE.1987.233205
Mathematics and Statistics
Keywords and Phrases
Certification; Sampling; Testing
International Standard Serial Number (ISSN)
Article - Journal
© 1987 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
01 Jan 1987