Fault-based testing without the need of oracles

T. Y. Chen; T. H. Tse; Z. Quan Zhou

doi:10.1016/S0950-5849(02)00129-5

Fault-based testing without the need of oracles

T. Y. Chen^*
, T. H. Tse
, Z. Quan Zhou

^*Corresponding author for this work

Research output: Journal Publication › Article › peer-review

159 Citations (Scopus)

Abstract

There are two fundamental limitations in software testing, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set problem. In this paper, we propose to enhance fault-based testing to alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs.

Original language	English
Pages (from-to)	1-9
Number of pages	9
Journal	Information and Software Technology
Volume	45
Issue number	1
DOIs	https://doi.org/10.1016/S0950-5849(02)00129-5
Publication status	Published - 1 Jan 2003
Externally published	Yes

Free Keywords

Fault-based testing
Metamorphic testing
Oracle problem
Symbolic execution

ASJC Scopus subject areas

Software
Information Systems
Computer Science Applications

Access to Document

10.1016/S0950-5849(02)00129-5

Cite this

@article{1fd5397166f74649aafffe6447ef8f6a,

title = "Fault-based testing without the need of oracles",

abstract = "There are two fundamental limitations in software testing, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set problem. In this paper, we propose to enhance fault-based testing to alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs.",

keywords = "Fault-based testing, Metamorphic testing, Oracle problem, Symbolic execution",

author = "Chen, \{T. Y.\} and Tse, \{T. H.\} and Zhou, \{Z. Quan\}",

year = "2003",

month = jan,

day = "1",

doi = "10.1016/S0950-5849(02)00129-5",

language = "English",

volume = "45",

pages = "1--9",

journal = "Information and Software Technology",

issn = "0950-5849",

publisher = "Elsevier BV",

number = "1",

}

TY - JOUR

T1 - Fault-based testing without the need of oracles

AU - Chen, T. Y.

AU - Tse, T. H.

AU - Zhou, Z. Quan

PY - 2003/1/1

Y1 - 2003/1/1

N2 - There are two fundamental limitations in software testing, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set problem. In this paper, we propose to enhance fault-based testing to alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs.

AB - There are two fundamental limitations in software testing, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set problem. In this paper, we propose to enhance fault-based testing to alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs.

KW - Fault-based testing

KW - Metamorphic testing

KW - Oracle problem

KW - Symbolic execution

UR - https://www.scopus.com/pages/publications/0037218713

U2 - 10.1016/S0950-5849(02)00129-5

DO - 10.1016/S0950-5849(02)00129-5

M3 - Article

AN - SCOPUS:0037218713

SN - 0950-5849

VL - 45

SP - 1

EP - 9

JO - Information and Software Technology

JF - Information and Software Technology

IS - 1

ER -

Fault-based testing without the need of oracles

Abstract

Free Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this