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

• 作者: 俞军 华霞 周汇 程君侠
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 浮点运算 随机测试 修正模式 IEEE754标准 边界筛选
• 年，卷（期）: 2008,（8）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 273-274,280
• 页数: 3页
• 分类号: TP301.6
• 字数: 2365字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.08.097

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程君侠	复旦大学专用集成电路与系统国家重点实验室	32	310	9.0	17.0
2	俞军	复旦大学专用集成电路与系统国家重点实验室	33	352	10.0	18.0
3	周汇	复旦大学专用集成电路与系统国家重点实验室	3	2	1.0	1.0
4	华霞	复旦大学专用集成电路与系统国家重点实验室	2	0	0.0	0.0