Information and Software Technology 45 (1): 1-9 (2003)

Fault-Based Testing Without the Need of Oracles 1

T.Y. Chen 2 , T.H. Tse 3 , and Zhi Quan Zhou 3

[paper from ScienceDirect | technical report TR-2002-07]


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.

1. This research is supported in part by the Hong Kong Research Grants Council and The University of Hong Kong Committee on Research and Conference Grants.
2. (Corresponding author.)
Centre for Software Analysis and Testing, Swinburne University of Technology, Hawthorn 3122, Australia.
3. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.


  Cumulative visitor count