蜕变关系形式化描述与分解技术

Formal description and decomposition of metamorphic relation

蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与失效之间的联系,基于形式化定义提出一种蜕变关系分解技术。通过两个实例验证了该描述与分解技术的有效性。

Metamorphic testing（MT）has been greatly applicable in many different domains.However,researchers pay much more attention to the application of MT and overlook the theory foundation of MT,such as the normative description of MRs,the restriction of MT and the correctness of MT and MRs.Among them,normative description of MRs is one of the key problems.The correctness theory foundation of MT was analyzed,and a formal description method for MR description was proposed.The value of the formula and the relation between MRs and software failures were analyzed.A decomposing method based on formal description of MRs was proposed.The proposed methods were evaluated through several metamorphic testing applications.The results indicate that the proposed formal description method is easy to apply and it is useful for MR metric.