Testing model transformation programs using metamorphic testing

Citation data:

Page: 94-99

Publication Year:
Usage 126
Abstract Views 64
Downloads 62
Repository URL:
Jiang, Mingyue; Chen, Tsong Yueh; Kuo, Fei-Ching; Zhou, Zhiquan; Ding, Zuohua
Metamorphic Testing; Model Transformation; Software Quality; Software Testing; Test Oracle; Engineering; Science and Technology Studies
lecture / presentation 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.