|Information and Software Technology 45 (1): 1-9 (2003)|
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
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.
|EVERY VISITOR COUNTS:|