论文信息 - A Probabilistic Remark on Algebraic Program Testing

A Probabilistic Remark on Algebraic Program Testing

Abstract : A key step in Howden's method for algebraic program testing requires checking the algebraic identity of multinomials. Howden's solution requires evaluations in at least 2 to the mth power points for m-ary multinomials. This note presents a probabilistic solution which achieves small probability of error on 30 points.

Richard J. Lipton | Richard A. DeMillo | R. Lipton | R. DeMillo

[1] J. R. Brown,et al. Testing for software reliability , 1975 .

[2] Richard J. Lipton,et al. Social processes and proofs of theorems and programs , 1979, CACM.

[3] J. Spencer. Probabilistic Methods in Combinatorics , 1974 .

[4] J PerlisAlan,et al. Social processes and proofs of theorems and programs , 1979 .