Abstract

In order to solve Test Oracle problem which restricts the development of software testing techniques significantly, Metamorphic Testing is used to 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 in integer bugs detection, based on necessary properties of software under testing. 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.

Keywords:

Integer bugs, metamorphic relationship, metamorphic testing, test oracle,

References

Competing interests

The authors have no competing interests.

Open Access Policy

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Copyright

The authors have no competing interests.