Abstract:

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.

Key words: metamorphic relation;integer bugs;integer overflows;test oracle