整型错误在安全性和功能性方面都是影响软件质量的重要因素,但是由于测试人员往往面临Oracle问题,无法判断程序是否出现整型错误,除非程序输出一个明显的异常值.本文利用蜕变测试技术发现由于整型错误产生的隐错,实验结果显示基于蜕变关系的整型错误检测方法可检测出平时发现不了的隐式非预期输出,有效地提高了检测整型错误的效率.%The integer bugs play a vital role in the functionality and security of software. For the Oracle problem, integer bugs are always ignored unless program throws an exception obviously. In this paper, a metamorphic relation is provided to detect invisible integer bugs without oracle. It is shown in our case study that this method can detect some invisible errors which are difficult to be found by conventional approaches and improve the efficiency of integer bugs detection.
展开▼
