关键词: 模型转换, 软件测试, 测试Oracle, 蜕变测试, 蜕变关系

Abstract: The results of model transformation of model driven architecture (MDA) are often difficult to judge correct or wrong (that is, test Oracle problem), whereas metamorphic testing partially solves the Oracle problem by verifying whether the result of multiple executions satisfies the metamorphic relationships or not. To solve the Oracle problem of model transformation testing effectively, metamorphic testing is applied to the case of model transformation from UML to Java. Based on transformation rules, a set of metamorphic relations is constructed from four different aspects: add, delete, modify and replace. Finally, two common faults are transplanted in the program under test, the test cases are designed and executed to verify the metamorphic relations. The faults are exposed because the metamorphic relations are violated, which shows the effectiveness of metamorphic testing.

Key words: model transformation, software testing, test Oracle, metamorphic testing, metamorphic relations