Tool for Metamorphic Testing

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.