Testing model transformation programs using metamorphic testing

Citation data:

Page: 94

Publication Year:
2014

No metrics available.

Repository URL:
http://ro.uow.edu.au/eispapers/3234
Author(s):
Jiang, Mingyue; Chen, Tsong Yueh; Kuo, Fei-Ching; Zhou, Zhiquan; Ding, Zuohua
Tags:
Metamorphic Testing; Model Transformation; Software Quality; Software Testing; Test Oracle; Engineering; Science and Technology Studies
artifact description
Model transformations are crucial for the success of Model Driven Engineering. Testing is a prevailing technique of verifying the correctness of model transformation programs. A major challenge in model transformation testing is the oracle problem, which refers to the difficulty or high cost in determining the correctness of the output models. Metamorphic Testing alleviates the oracle problem by making use of the relationships among the inputs and outputs of multiple executions of the target function. This paper investigates the effectiveness and feasibility of metamorphic testing in testing model transformation programs. Empirical results show that metamorphic testing is an effective testing method for model transformation programs.