arrow
Return

A Survey on Metamorphic Testing

delete2016-09-01
delete384
delete
OA
AI
S
Sergio Segura *
G
Gordon Fraser
A
Ana B. Sánchez
A
Antonio Ruiz–Cortés
DOI:10.1109/TSE.2016.2532875delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the expected output. This is not always practical, for example when a program's input-output relation is complex and difficult to capture formally. Metamorphic testing provides an alternative, where correctness is not determined by checking an individual concrete output, but by applying a transformation to a test input and observing how the program output morphs into a different one as a result. Since the introduction of such metamorphic relations in 1998, many contributions on metamorphic testing have been made, and the technique has seen successful applications in a variety of domains, ranging from web services to computer graphics. This article provides a comprehensive survey on metamorphic testing: It summarises the research results and application areas, and analyses common practice in empirical studies of metamorphic testing as well as the main open challenges.
Keywords:
Metamorphic testing
oracle problem
survey
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Transactions on Software Engineering cover
IEEE Transactions on Software Engineering
IF:
5.6
Papers:
2.8K
Citations:
1.1W

Organization

U
University of Sheffield
Scholars:
3.0W
Papers: 2.9W
Citations: 3.9W
U
University of Sevilla
Scholars:
1.9W
Papers: 1.7W
Citations: 15