Detecting Integer Bugs without Oracle Based on Metamorphic Testing Technique

摘要：

　　Integer bugs are considered to be the rising threat to mission-critical software.For the oracle problem,testers always ignore integer bugs unless program throws an exception obviously.In this paper,we propose a general procedure based on metamorphic testing to detect integer bugs without oracle and a strategy of the metamorphic relation selection as the complement to T.Y.Chenone.The experiment result shows that our approach can detect some invisible mission-critical software failures caused by integer bugs,which are difficult to be found in conventional formal method.

关键词： metamorphic testing integer bugs test oracle mission-critical software

作者: Song Huang Mengyu Ji Zhanwei Hui Yiting Duanmu

作者单位: PLA Software Test and Evaluation Centre for Military Training, Nanjing,China, 210007;PLA University of Science and Technology, Nanjing,China, 210007

会议类型: 国际会议

会议名称: the Second International Conference on Frontiers of Manufacturing and Design Science(第二届制造与设计科学国际会议(ICFMD 2011))

会议地点: 台湾

会议语种:英文

页码: 1961-1965

在线出版日期: 2011-12-11（万方平台首次上网日期，不代表论文的发表时间）