A Formal Model for Metamorphic Relation Decomposition

Metamorphic testing has been achieved great application breakthrough in many different domains in the last decades and great deals of valuable metamorphic relations (Mrs) were generated for different software and programs. When one tries to reuse these Mrs in different domain at different abstraction levels, textual descriptions are not informative and expressive enough. Based on these observations, we propose a formal model for MR through improving the definition of testing success. With the formal model, we construct a decomposition model for MR, and provide three sub-relations for decrease complexity of MR.