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.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.
Dongye Sun, Wen-Pei Sung and Ran Chen
S. Huang et al., "Detecting Integer Bugs without Oracle Based on Metamorphic Testing Technique", Applied Mechanics and Materials, Vols. 121-126, pp. 1961-1965, 2012