Metamorphic Testing for Oracle Problem in Integer Bug Detection

摘要

Integer defects are an important cause of software quality degradation. An explicit expected output plays an important role in the traditional theory of software testing, but it is very difficult for much software to get the expected output since ascertaining the validity of the actual output is very hard. Integer bugs are always ignored because of the Test Oracle problem. A metamorphic relationship that can find out the potential error is presented. The experimental results show that the mean of integer bugs detection based on the metamorphosis relation can detect the invisible unexpected output, which is unable to get in traditional means. In addition, the effectiveness of detecting integer defects is improved.