Abstract
Metamorphic testing is an approach to test case generation and also to the test result verification. It is a testing technique that can be successfully used in many domains e.g. web services, computer graphics, simulation and even embedded systems. In metamorphic testing checks are performed to verify whether multiple executions of the program under test fulfil certain necessary properties, called metamorphic relations. Since its first publication, many papers on different aspects of metamorphic appeared in the literature but only one tool for this type of testing was described. We decided to design and implement our own tool and with this tool to examine some properties and challenges of metamorphic testing. In this paper we briefly review metamorphic relations and describe our tool. We also present an example of metamorphic testing with our tool.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Chen, T.Y., Cheung, S.C., Yiu, S.: Metamorphic testing: a new approach for generating next test cases. In: Technical Report HKUST-CS98-01, Department of Computer Science, Hong Kong University of Science and Technology (1998)
Chan, W.K., Chen, T.Y., Lu, H., Tse, T.H., Yau, S.S.: Integration testing of context-sensitive middleware-based applications: A metamorphic approach. Int. J. Softw. Eng. Know. Eng. 16(5), 677–704 (2006)
Chen, T.Y.: Metamorphic testing: a simple method for alleviating the test oracle problem. In: 2015 IEEE/ACM 10th International Workshop on Automation of Software Test, pp. 53–54 (2015)
Hui, Z., Huang, S., Chen, T.Y., Lau, M.F., Ng, S.: Identifying failed test cases through metamorphic testing. In: 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 90–91 (2017)
Chen, L., Cai, L., Liu, J., Liu, Z., Wei, S., Liu, P.: An optimized method for generating cases of metamorphic testing. In: 2012 6th International Conference on New Trends in Information Science, Service Science and Data Mining (ISSDM 2012), pp. 439–443 (2012)
Segura, S., Parejo, J.A., Troya, J., Ruiz-Cortés, A.: Metamorphic testing of RESTful Web APIs. IEEE Trans. Softw. Eng. 44(11), 1083–1099 (2018)
Segura, S., Fraser, G., Sanchez, A.B., Ruiz-Cortés, A.: A survey on metamorphic testing. IEEE Trans. Softw. Eng. 42(9), 805–824 (2016)
Segura, S., Durán, A., Troya, J., Ruiz-Cortés, A.R.: A template-based approach to describing metamorphic relations. In: 2017 IEEE/ACM 2nd International Workshop on Metamorphic Testing (MET), pp. 3–9 (2017)
Lijun, S., Hong, Z.: Generating structurally complex test cases by data mutation: a case study of testing an automated modelling tool. Comput. J. 52(5), 571–588 (2009)
Sun, C., Wang, G., Mu, B., Liu, H., Wang, Z., Chen, T.Y.: Metamorphic testing for web services: framework and a case study. In: 2011 IEEE International Conference on Web Services, pp. 283–290 (2011)
Zhu, H.: JFuzz: a tool for automated java unit testing based on data mutation and metamorphic testing methods. In: Second International Conference on Trustworthy Systems and Their Applications, pp. 8–15 (2015)
Introducing json. http://www.json.org/. Accessed Jan 2020
Junit 5 user guide. https://junit.org/junit5/docs/current/user-guide/. Accessed Jan 2020
Fxml documentation. https://docs.oracle.com/javafx/2/api/javafx/fxml/doc-files/introduction_to_fxml.html. Accessed May 2019
Kamiński, P.: Metamorphic testing. Bachelor thesis, Institute of Computer Science, Warsaw University of Technology (2019). (in Polish)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Bluemke, I., Kamiński, P. (2020). Tool for Metamorphic Testing. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) Theory and Applications of Dependable Computer Systems. DepCoS-RELCOMEX 2020. Advances in Intelligent Systems and Computing, vol 1173. Springer, Cham. https://doi.org/10.1007/978-3-030-48256-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-48256-5_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-48255-8
Online ISBN: 978-3-030-48256-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)