Issue No. 06 - June (1987 vol. 13)
R.P. Roe , Department of Mathematics, Fort Lewis College
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.
testing, Certification, sampling
J. Rowland and R. Roe, "Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing," in IEEE Transactions on Software Engineering, vol. 13, no. , pp. 677-682, 1987.