Proceedings of the International Workshop on Software Technology and Engineering Practice (STEP '03),
IEEE Computer Society Press, Los Alamitos, CA, pp. 94-100 (2004)

Metamorphic Testing and Beyond 1

T.Y. Chen 2 , F.-C. Kuo 2, 3 , T.H. Tse 4 and Z.Q. Zhou 2

[paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2003-06]


When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-up test cases to check important properties of the target function. It does not need a human oracle for output prediction and comparison. In this paper, we highlight the basic concepts of metamorphic testing and some interesting extensions in the areas of program testing, proving, and debugging. Future research directions are also proposed.

Keywords: Follow-up test cases, metamorphic testing, semi-proving, successful test case, test case selection strategy, testing oracle

1. This research is supported in part by a discovery grant of the Australian Research Council (project no. DP 0345147), a grant of the Research Grants Council of Hong Kong, and a grant of The University of Hong Kong.
2. Centre for Software Analysis and Testing, Swinburne University of Technology, Hawthorn 3122, Australia.
3. It is with deep regret and sadness that we report the passing of F.-C. Kuo on October 6, 2017.
4. (Corresponding author.)
Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.


  Cumulative visitor count