面向整数错误检测的蜕变测试方法研究

J4 ›› 2012, Vol. 34 ›› Issue (4): 52-56.

面向整数错误检测的蜕变测试方法研究

姚奕1,2，黄松2，稽孟雨2

（1.解放军理工大学计算机科学与技术博士后科研流动站,江苏南京 210007；2.解放军理工大学指挥自动化学院,江苏南京 210007）

收稿日期:2011-11-05 修回日期:2012-02-10 出版日期:2012-04-26 发布日期:2012-04-25
基金资助:
国家863计划资助项目（2009AA01Z402）；中国博士后科学基金面上资助项目

Research on the Metamorphic Testing for Integer Bugs Detection

YAO Yi1,2，HUANG Song2，JI Mengyu2

（1.Mobile Post Doctoral Station,PLA University of Science and Technology,Nanjing 210007；2.School of Command Automation,PLA University of Science and Technology,Nanjing 210007,China）

Received:2011-11-05 Revised:2012-02-10 Online:2012-04-26 Published:2012-04-25

摘要/Abstract

摘要：

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

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

Abstract:

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.

Key words: metamorphic relation;integer bugs;integer overflows;test oracle

姚奕1,2，黄松2，稽孟雨2. 面向整数错误检测的蜕变测试方法研究[J]. J4, 2012, 34(4): 52-56.

YAO Yi1,2，HUANG Song2，JI Mengyu2. Research on the Metamorphic Testing for Integer Bugs Detection[J]. J4, 2012, 34(4): 52-56.