Research on Metamorphic Testing: A Case Study in Integer Bugs Detection

The integer errors are harmful for the security of software. Because of the Test Oracle problem, integer bugs are always ignored. Metamorphic Testing can prove a way to determine the correctness of testing outputs with metamorphic relations between a series of outputs that correspond to a series of inputs, based on necessary properties of software under testing. In this paper, a metamorphic relationship is proposed which can 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 in conventional approach and improve the efficiency of integer bugs detection.