摘要： 复杂测试空间中难以命中的冷僻细节，导致在IEEE浮点算法测试过程中难以验证单条浮点运算的正确性。该文针对传统直接随机测试方法的缺点，提出一种边界筛选生成案例的测试方法。该方法对待测算法边界条件建模，求解边界条件，利用解来构造筛选操作数的标准，并通过筛选操作数实现测试。实验证明该方法比直接随机测试方法更可靠。

关键词: 浮点运算, 随机测试, 修正模式, IEEE 754标准, 边界筛选

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.

Key words: float point operation, random test, round mode, IEEE Standard 754, boundary filter

中图分类号: 

• TP301.6