一种用于浮点乘法的边界筛选伪随机测试方法  

Pseudo-random Test with Boundary Filter for Float Point Multiplication

作　　者：周汇[1] 俞军[1] 程君侠[1] 华霞[1] 

机构地区：[1]复旦大学专用集成电路与系统国家重点实验室,上海200433

出　　处：《计算机工程》2008年第8期273-274,280,共3页Computer Engineering

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

关 键 词：浮点运算 随机测试 修正模式 IEEE754标准 边界筛选 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]