Proceedings of the 25th Annual International Computer Software and
Applications Conference
(COMPSAC '01),
IEEE Computer Society, Los Alamitos, CA, pp. 172-178 (2001) |
T.Y. Chen 2 , T.H. Tse 3 , and Zhi Quan Zhou 4
[paper from IEEE Xplore | paper from IEEE digital library | postprint]
ABSTRACT |
Although testing is the most popular method for assuring software quality,
there are two recognized limitations, 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 address
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: |