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

Research on the Metamorphic Testing for Integer Bugs Detection

作　　者：姚奕[1,2] 黄松[2] 稽孟雨[2] 

机构地区：[1]解放军理工大学计算机科学与技术博士后科研流动站,江苏南京210007 [2]解放军理工大学指挥自动化学院,江苏南京210007

出　　处：《计算机工程与科学》2012年第4期52-56,共5页Computer Engineering & Science

基　　金：国家863计划资助项目(2009AA01Z402);中国博士后科学基金面上资助项目(20110491843)

摘　　要：整型错误在安全性和功能性方面都是影响软件质量的重要因素,但是由于测试人员往往面临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.

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

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