一种数值溢出故障判定准则研究  

Research on Criterion of Data Overflow Errors

作　　者：詹泽梅[1] 叶俊民[1] 叶焰锋[1] 雷志翔[1] 

机构地区：[1]华中师范大学计算机科学系,武汉430079

出　　处：《计算机与数字工程》2007年第10期15-17,共3页Computer & Digital Engineering

基　　金：十一.五国防重点预研基金项目(编号:513270104)资助

摘　　要：针对数值溢出故障出现概率小、传统测试方法极难检测的特点,提出采用面向故障的测试方法检测数值溢出问题。分析数值溢出故障的故障模型,重点研究数值溢出故障的判定准则,该准则能有效地用于数值溢出故障的检测。For data overflow errors occur rarely and it is difficult for traditional method of software testing to detect these errors, defect-oriented testing strategy is used for detecting data overflow errors. This paper analyses error model of data overflow errors and mainly researches criterion of data overflow errors which is available for detecting data overflow errors.

关 键 词：数值溢出 故障模型 判定准则 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]