Information and Software Technology 45 (1): 1-9 (2003) |
T.Y. Chen 2 , T.H. Tse 3 , and Zhi Quan Zhou 3
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. |
|
EVERY VISITOR COUNTS: |