摘要：整型错误在安全性和功能性方面都是影响软件质量的重要因素,但是由于测试人员往往面临Oracle问题,无法判断程序是否出现整型错误,除非程序输出一个明显的异常值。本文利用蜕变测试技术发现由于整型错误产生的隐错,实验结果显示基于蜕变关系的整型错误检测方法可检测出平时发现不了的隐式非预期输出,有效地提高了检测整型错误的效率。

关键词：蜕变关系 整型错误 整数溢出 测试判定 

单位：解放军理工大学计算机科学与技术博士后科研流动站 江苏南京210007 解放军理工大学指挥自动化学院 江苏南京210007