Effectively Metamorphic Testing Based on Program Path Analysis
Dong Guo · Chinese Journal of Computers · 2009
Metamorphic testing is very practical and effective for programs with oracle problems.Much research has been done in this field.Based upon existed methods of metamorphic testing and program path-analysis,the authors first present a set of metamorphic testing criteria for the test with binary metamorphic relations.These criteria define the adequacy of metamorphic test suites at several different levels.Then,three new testing algorithms are given to generate test suites that could satisfy the criteria above.Finally,these algorithms' performances are fully proved with the technique of mutation analysis.The experiment results show that testing effects are greatly decided by the selection of metamorphic relations and testing criteria,and the algorithm APCEMST could detect faults quickly and exactly with fewer test cases than traditional method.