Detecting Integer Bugs without Oracle Based on Metamorphic Testing Technique
Song Huang, Meng-Yu Ji, Zhanwei Hui, Yi Ting Duanmu · Applied Mechanics and Materials · 2011
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.Chen’ one. 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.