The invention discloses a
formal description and
decomposition method for a metamorphic relation. The method includes the following steps: (1) according to targeted tested
software, extracting and designing the metamorphic relation that the
software mush satisfy to create the metamorphic relation; (2) performing formal modeling on the obtained metamorphic relation on the basis of symbolic logic, determining constraint conditions under which the metamorphic relation is established, performing
formal description, then describing input parameters and output parameters of the metamorphic relation on the basis of the symbolic logic, and establishing a
formal description model of the metamorphic relation; (3) on the basis of the formal model, respectively extracting subrelations forming the metamorphic relation and a set description form of a metamorphic relation composition model, and establishing a metamorphic relation
decomposition model. The method is simple and clear, description capacity and application range of the formal model are guaranteed through symbolic logic description, the accurate, standard and
effective method is provided for description of the metamorphic relation, and the method is more conducive to automated implementation of subsequent
metamorphic testing.