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

Research on Criterion of Data Overflow Errors

针对数值溢出故障出现概率小、传统测试方法极难检测的特点,提出采用面向故障的测试方法检测数值溢出问题。分析数值溢出故障的故障模型,重点研究数值溢出故障的判定准则,该准则能有效地用于数值溢出故障的检测。

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.