Proceedings of the 8th International Symposium on Future Software
Technology
(ISFST '04),
Software Engineers Association, Japan (2004) |
Zhi Quan Zhou 2, 3 , De Hao Huang 2 , T.H. Tse 4 , Zongyuan Yang 5 , Haitao Huang 5 , and T.Y. Chen 2
ABSTRACT |
An "oracle" in software testing is a procedure by which testers
can decide whether the output of the program under testing is correct.
In some situations, however, the oracle is not available or too
difficult to apply.
This is known as the "oracle problem".
In other situations, the oracle is often the human tester who checks
the testing result manually.
The manual prediction and verification of program output greatly
decreases the efficiency and increases the cost of testing.
A metamorphic testing method has been proposed to test programs without the involvement of an oracle. It employs properties of the target function, known as metamorphic relations, to generate follow-up test cases and verify the outputs automatically. In this article, we shall present the concepts, procedures, and applications of metamorphic testing. Keywords: Metamorphic testing, metamorphic relation, oracle, successful test case, automated testing, multiple executions. |
|
EVERY VISITOR COUNTS: |