A Corner Case Test for Floating-Point Multiplication Verification

Hui ZHOU,Jun YU,Jun-xia CHENG,Xia HUA
DOI: https://doi.org/10.15943/j.cnki.fdxb-jns.2008.01.019
2008-01-01
Abstract:A test generation for FP multiplication verification in compliance with IEEE Standard 754.The basic procedure is: modeling the boundary condition of the FP arithmetic,getting the solution of this modeling,then constructing a filtering standard with the solution and filtering the operand to carry out the test.Application of this method to typical chip Intel387SX and math coprocessor C387L shows that this method is more efficient than random testing.
What problem does this paper attempt to address?