Title :
Fault-based testing in the absence of an oracle
Author :
Chen, T.Y. ; Tse, T.H. ; Zhou, Zhiquan
Author_Institution :
Swinburne Univ. of Technol., Australia
fDate :
6/23/1905 12:00:00 AM
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 :
integrated software; program testing; software quality; fault-based testing; integrated method; metamorphic testing; oracle problem; reliable test set problem; software quality; symbolic execution; Computer science; Councils; Error correction; Fault detection; Genetic mutations; Information systems; Power generation; Software quality; Software testing;
Conference_Titel :
Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International
Conference_Location :
Chicago, IL
Print_ISBN :
0-7695-1372-7
DOI :
10.1109/CMPSAC.2001.960614
