Metamorphic testing and beyond

Author

Chen, T.Y. ; Kuo, F.-C. ; Tse, T.H. ; Zhou, Zhi Quan

Author_Institution

Sch. of Inf. Technol., Swinburne Univ. of Technol., Hawthorn, Vic., Australia

fYear

2003

fDate

19-21 Sept. 2003

Firstpage

94

Lastpage

100

Abstract

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

program debugging; program testing; follow-up test cases; metamorphic testing; program debugging; program proving; program testing; successful test case; test case selection strategy; testing oracle; Arithmetic; Australia Council; Computer science; Cryptography; Debugging; Humans; Information systems; Information technology; Software testing; System testing; Follow-up test cases; metamorphic testing; semi-proving; successful test case; test case selection strategy; testing oracle;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Technology and Engineering Practice, 2003. Eleventh Annual International Workshop on

Print_ISBN

0-7695-2218-1

Type

conf

DOI

10.1109/STEP.2003.18

Filename

1372139