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

摘要：

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

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

所属期刊栏目：34

分类号：TP301.6(计算技术、计算机技术)

在线出版日期：2008-06-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：273-274,280