Issue No.07 - July (2000 vol.49)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.863034
<p><b>Abstract</b>—We present methods to systematically generate the hardest test cases for multiplication, division, and square root subject to directed rounding, essentially extending previous work on number-theoretic floating-point testing to rounding modes other than to-nearest. The algorithms focus upon the rounding boundaries of the modes truncate, to-minus-infinity, and to-infinity, and programs based on them require little beyond exact arithmetic in the working precision to create billions of edge cases. We will show that the amount of work required to calculate trial multiplicands pays off in the form of free extra tests due to an interconnection among the operations considered herein. Although these tests do not replace proofs of correctness, they can be used to gain a high degree of confidence that the accuracy requirements mandated by IEEE Standard 754 have been satisfied.</p>
Arithmetic testing, IEEE Standard 754, rounding functions, Hensel lifting, hyperSPARC.
Michael Parks, "Number-Theoretic Test Generation for Directed Rounding", IEEE Transactions on Computers, vol.49, no. 7, pp. 651-658, July 2000, doi:10.1109/12.863034