一种数值溢出故障判定准则研究
詹泽梅
叶俊民
叶焰锋
雷志翔
1.华中师范大学计算机科学系,武汉,4300792.华中师范大学计算机科学系,武汉,4300793.华中师范大学计算机科学系,武汉,4300794.华中师范大学计算机科学系,武汉,430079
摘要：针对数值溢出故障出现概率小、传统测试方法极难检测的特点,提出采用面向故障的测试方法检测数值溢出问题.分析数值溢出故障的故障模型,重点研究数值溢出故障的判定准则,该准则能有效地用于数值溢出故障的检测.
关键词：数值溢出故障模型判定准则
分类号：TP311(计算技术、计算机技术)
资助基金：国防预研基金(513270104)
论文发表日期：2007-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：3( 15-17 )
英文信息