Metamorphic Testing: Testing the Untestable

Sergio Segura; Dave Towey; Zhi Quan Zhou; Tsong Yueh Chen

doi:10.1109/MS.2018.2875968

Metamorphic Testing: Testing the Untestable

Sergio Segura, Dave Towey, Zhi Quan Zhou, Tsong Yueh Chen

School of Computer Science

Research output: Journal Publication › Article › peer-review

77 Citations (Scopus)

70 Downloads (Pure)

Abstract

What if we could know that a program is buggy, even if we could not tell whether or not its observed output is correct? Metamorphic testing provides this ability. This article explains the basics of the technique.

Original language	English
Article number	8573811
Pages (from-to)	46-53
Number of pages	8
Journal	IEEE Software
Volume	37
Issue number	3
DOIs	https://doi.org/10.1109/MS.2018.2875968
Publication status	Published - 1 May 2020

Keywords

Software testing
metamorphic testing
oracle problem
test case generation

ASJC Scopus subject areas

Software

Access to Document

10.1109/MS.2018.2875968

293 combinepdf (2)Accepted author manuscript, 1.06 MBLicence: CC BY

Cite this

@article{6f8c80a14f794a5faf368c6397f5fff4,

title = "Metamorphic Testing: Testing the Untestable",

abstract = "What if we could know that a program is buggy, even if we could not tell whether or not its observed output is correct? Metamorphic testing provides this ability. This article explains the basics of the technique.",

keywords = "Software testing, metamorphic testing, oracle problem, test case generation",

author = "Sergio Segura and Dave Towey and Zhou, {Zhi Quan} and Chen, {Tsong Yueh}",

note = "Publisher Copyright: {\textcopyright} 1984-2012 IEEE.",

year = "2020",

month = may,

day = "1",

doi = "10.1109/MS.2018.2875968",

language = "English",

volume = "37",

pages = "46--53",

journal = "IEEE Software",

issn = "0740-7459",

publisher = "IEEE Computer Society",

number = "3",

}

TY - JOUR

T1 - Metamorphic Testing

T2 - Testing the Untestable

AU - Segura, Sergio

AU - Towey, Dave

AU - Zhou, Zhi Quan

AU - Chen, Tsong Yueh

PY - 2020/5/1

Y1 - 2020/5/1

N2 - What if we could know that a program is buggy, even if we could not tell whether or not its observed output is correct? Metamorphic testing provides this ability. This article explains the basics of the technique.

AB - What if we could know that a program is buggy, even if we could not tell whether or not its observed output is correct? Metamorphic testing provides this ability. This article explains the basics of the technique.

KW - Software testing

KW - metamorphic testing

KW - oracle problem

KW - test case generation

UR - http://www.scopus.com/inward/record.url?scp=85058627958&partnerID=8YFLogxK

U2 - 10.1109/MS.2018.2875968

DO - 10.1109/MS.2018.2875968

M3 - Article

AN - SCOPUS:85058627958

SN - 0740-7459

VL - 37

SP - 46

EP - 53

JO - IEEE Software

JF - IEEE Software

IS - 3

M1 - 8573811

ER -

Metamorphic Testing: Testing the Untestable

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this