Metamorphic Testing for Oracle Problem in Integer Bug Detection

doi:10.23940/ijpe.18.07.p11.14811486

Abstract

Abstract:

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.

Submitted on March 25, 2018; Revised on May 11, 2018; Accepted on June 25, 2018
References: 10

Yi Yao Jialuo Liu. Metamorphic Testing for Oracle Problem in Integer Bug Detection [J]. Int J Performability Eng, 2018, 14(7): 1481-1486.

Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks

References 0

	Yi, Yao, Zheng Changyou, Huang Song, and Ren Zhengping. "Research on Metamorphic Testing: A Case Study in Integer Bugs Detection", 2013 Fourth International Conference on Intelligent Systems Design and Engineering Applications, 2013.
	L. Baresi and M. Young, “Test oracles,” Tech. Rep. CIS-TR01-02, Department of Computer and Information Science, University of Oregon, Eugene, Ore, USA, 2001.
	T.Y. Chen, S.C. Cheung and S.M. Yiu, Metamorphic testing: a new approach for generating next test cases, Technical Report HKUST-CS98-01. (1998).
	Chen, H.Y., Tse, T.H., and Chen, T.Y. TACCLE: a methodology for object-oriented software testing at the class and cluster levels, ACM Transactions on Software Engineering and Methodology, (2001), Vol. 10, pp.56–109.
	Kuo, F.C., Liu, S., and Chen, T.Y. Testing a binary space partitioning algorithm with metamorphic testing. SAC '11 Proceedings of the 2011 ACM Symposium on Applied Computing ACM New York, NY, USA, (2011), pp.1482-1489.
	hen, T.Y., Ho. J. W.K., Liu H., and Xie, X. An innovative approach for testing bioinformatics programs using metamorphic testing. BMC Bioinformatics. (2009), Vol. 10, pp.24-35.
	Kuo, F.C., Chen, T.Y., Tam, .W.K. Testing embedded software by metamorphic testing: A wireless metering system case study. 2011 IEEE 36th Conference on Local Computer Networks. Bonn, (2011), pp.291-294.
	Asrafi, M., Liu, H., and Kuo, F.C. On Testing Effectiveness of Metamorphic Relations: A Case Study. 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, IEEE Computer Society Washington, DC, USA, (2011), pp.147-156.
	P. E. Ammann and J. C. Knight, “Data diversity: an approach to software fault tolerance,” IEEE Transactions on Computers, vol. 37, no. 4, pp. 418–425, 1988.
	G. W. Dong, S. Z. Wu, G. S. Wang, T. Guo, Y. G. Huang, Security Assurance with Metamorphic Testing and Genetic Algorithm. IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, (2010), pp.368-373.