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.
Funding
Eat and Dream: effective automatic testing and debugging for real-life embedded wireless communications software
Jiang, M., Chen, T., Kuo, F., Zhou, Z. and Ding, Z. (2014). Testing model transformation programs using metamorphic testing. 26th International Conference on Software Engineering and Knowledge Engineering (SEKE 2014) (pp. 94-99). Canada: Knowledge Systems Institute Graduate School.
Parent title
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE