"测试判定问题"(Test Oracle Problem)是影响软件测试技术发展的瓶颈问题之一.1998年T.Y.Chen教授针对该问题提出了软件蜕变测试技术，从而为解决该难题提供了一种有效的途径.蜕变测试技术经过二三十年的发展，已经在不同领域的软件测试中取得了重大的应用突破，并且针对科学计算、智能决策、地形量算、机器学习、面向服务软件等不同类型软件和程序形成了相应的蜕变关系集合，为蜕变测试的复用奠定了基础.然而，通过对已发表的蜕变测试领域研究成果进行分析发现，虽然大量的应用研究可以极大地推动蜕变测试的应用范围，但是实践应用研究的巨大发展的同时，蜕变测试的理论基础还没有引起学者的足够关注.其中蜕变关系的描述就是其中关键问题之一.本文首先分析了蜕变测试正确性理论基础；然后，提出了一种蜕变关系形式化定义与描述方法，并对蜕变关系的取值进行了分析；接着分析了蜕变关系与失效之间的联系，并基于形式化定义提出一种蜕变关系分解技术；最后通过两个实例说明了本文中提出的描述与分解技术的有效性.