Pseudo-random Test with Boundary Filter for Float Point Multiplication

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.