Tool for Metamorphic Testing

Ilona Bluemke , Paweł Kamiński

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.
Author Ilona Bluemke (FEIT / IN)
Ilona Bluemke,,
- The Institute of Computer Science
, Paweł Kamiński (WUT)
Paweł Kamiński,,
- Warsaw University of Technology
Pages115-124
Book Zamojski Wojciech, Mazurkiewicz Jacek, Sugier Jarosław, Walkowiak Tomasz, Kacprzyk Janusz (eds.): Theory and Applications of Dependable Computer Systems. Proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, Advances in Intelligent Systems and Computing, vol. 1173, 2020, Cham, Springer, ISBN 978-3-030-48255-8, [978-3-030-48256-5], 713 p., DOI:10.1007/978-3-030-48256-5
DOIDOI:10.1007/978-3-030-48256-5_12
Languageen angielski
Score (nominal)40
Score sourceconferenceList
ScoreMinisterial score = 40.0, 29-06-2020, ChapterFromConference
Publication indicators Scopus Citations = 0
Citation count*
Cite
Share Share

Get link to the record


* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back
Confirmation
Are you sure?