Research on the Metamorphic Testing for Integer Bugs Detection
Meng-Yu Ji · Computer Engineering and Science · 2012
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.