25th Annual International Computer Software and Applications Conference (COMPSAC'01)
Fault-Based Testing in the Absence of an Oracle
Chicago, Illinois
October 08-October 12
ISBN: 0-7695-1372-7
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.
Index Terms:
Fault-based testing, metamorphic testing, oracle problem, symbolic execution.
Citation:
T.Y. Chen, T.H. Tse, Zhiquan Zhou, "Fault-Based Testing in the Absence of an Oracle," compsac, pp.172, 25th Annual International Computer Software and Applications Conference (COMPSAC'01), 2001