-
题名计算机浮点功能测试方法
被引量：3
- 1
-
-
作者
王俊
文延华
漆锋滨
-
机构
信息工程大学
江南计算技术研究所
-
出处
《计算机应用与软件》
CSCD
北大核心
2006年第6期68-70,共3页
-
基金
国家863高技术研究发展计划项目(编号:2002AA112010)
-
文摘
浮点运算对衡量一台计算机的性能和可用性占着很大的比重,浮点功能测试是计算机功能测试的重要组成部分。在研究分析了IEEE754浮点标准相关内容和现有浮点测试包的基础上,提出了浮点测试技术的基本方法和策略。
-
关键词
ieee754舍入模式
相对误差
异常
-
Keywords
ieee754 Rounding-modes Relative error Exception
-
分类号
TP332
[自动化与计算机技术—计算机系统结构]
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名一种用于浮点乘法的边界筛选伪随机测试方法
- 2
-
-
作者
周汇
俞军
程君侠
华霞
-
机构
复旦大学专用集成电路与系统国家重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第8期273-274,280,共3页
-
文摘
复杂测试空间中难以命中的冷僻细节,导致在IEEE浮点算法测试过程中难以验证单条浮点运算的正确性。该文针对传统直接随机测试方法的缺点,提出一种边界筛选生成案例的测试方法。该方法对待测算法边界条件建模,求解边界条件,利用解来构造筛选操作数的标准,并通过筛选操作数实现测试。实验证明该方法比直接随机测试方法更可靠。
-
关键词
浮点运算
随机测试
修正模式
ieee754标准
边界筛选
-
Keywords
float point operation
random test
round mode
ieee Standard 754
boundary filter
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
