A new method for constructing metamorphic relations

Liu, H, Liu, X and Chen, T 2012, 'A new method for constructing metamorphic relations', in Tang, A; Muccini, H (ed.) Proceedings of the 12th International Conference on Quality Software (QSIC 2012), Xian, China, 27-29 August 2012, pp. 59-68.


Document type: Conference Paper
Collection: Conference Papers

Attached Files
Name Description MIMEType Size
n2006040963.pdf Accepted Manuscript application/pdf 208.02KB
Title A new method for constructing metamorphic relations
Author(s) Liu, H
Liu, X
Chen, T
Year 2012
Conference name QSIC 2012
Conference location Xian, China
Conference dates 27-29 August 2012
Proceedings title Proceedings of the 12th International Conference on Quality Software (QSIC 2012)
Editor(s) Tang, A; Muccini, H
Publisher IEEE
Place of publication Los Alamitos, CA, USA
Start page 59
End page 68
Total pages 10
Abstract A fundamental problem for software testing is the oracle problem, which means that in many practical situations, it is extremely expensive, if not impossible, to verify the test result given any possible program input. Metamorphic testing is an approach to alleviating the oracle problem. The key part of metamorphic testing is a set of necessary properties of the software under test, namely metamorphic relations. Metamorphic relations not only help generate test cases, but also provide a mechanism to partially verify the test results without the need of oracle. In most previous studies, metamorphic relations were identified manually by testers in an ad hoc way. There is no systematic methodology that helps us identify metamorphic relations. In this paper, we propose a simple method, namely, the composition of metamorphic relations, for systematically constructing new metamorphic relations based on the already identified metamorphic relations. We conduct a case study and show that new metamorphic relations can be easily constructed by compositing some existing metamorphic relations. It is also observed that the new metamorphic relations are very likely to deliver a higher cost-effectiveness of metamorphic testing than the original metamorphic relations.
Subjects Software Engineering
Keyword(s) Software testing
metamorphic testing
metamorphic relation
composition of metamorphic relations
DOI - identifier 10.1109/QSIC.2012.10
Copyright notice © 2012 IEEE.
ISBN 9780769548333
Additional Notes © 2012 IEEE. Reprinted, with permission, from Liu, H, Liu, X and Chen, T 2012, 'A new method for constructing metamorphic relations', in Tang, A; Muccini, H (ed.) Proceedings of the 12th International Conference on Quality Software (QSIC 2012), Los Alamitos, CA, USA, 27-29 August 2012, pp. 59-68. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of RMIT University's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 16 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 16 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 194 Abstract Views, 409 File Downloads  -  Detailed Statistics
Created: Mon, 13 May 2013, 12:42:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us