Pseudo-random Test with Boundary Filter for Float Point Multiplication

Hui ZHOU,Jun YU,Jun-xia CHENG,Xia HUA
DOI: https://doi.org/10.3969/j.issn.1000-3428.2008.08.097
2008-01-01
Abstract:When testing the IEEE Float Point(FP)arithmetic,there are so many corner cases among the complicated test cases that checking the correctness of FP instruction becomes especially difficult.Aiming at the weakness of directly random testing,thesis presents a method called Test using the Boundary Filter to generate test cases.Its ideas are modeling the boundary condition of the FP arithmetic,getting the solution of this modeling,constructing a filtering standard by the solution and filtering the operand for testing.Using this method to test C387L math coprocessor proves this method is more reliable.
What problem does this paper attempt to address?