在传统的软件测试领域中,测试人员通常需要构造测试预言来验证程序输出是否正确。然而,在很多情况下测试预言是难以获取甚至无法获取的,这便是软件测试中所说的测试预言问题,即Oracle问题。而蜕变测试技术则通过比较程序多次执行的结果是否满足一些特定的关系从而有效地缓解了Oracle问题。构造蜕变关系是蜕变测试中极其重要的一个环节,它大多需要依赖于待测程序所处领域的专业知识来构建。本文一方面的研究便是构造了一种适用于编译器测试的蜕变关系ECPMR,并在ECPMR的基础上提出了一种通过验证程序切片是否满足ECPMR的方式来验证编译器的方法。该方法首先选取一些满足特定蜕变关系的正确程序作为待测编译器的输入。然后,使用这些被选的程序来生成程序切片。最后,检查程序切片的输出是否满足ECPMR从而发现编译器中的错误。本文在SNL编译器上进行了本文方法的验证实验,结果表明该方法有效地探测到SNL编译器中的错误。由于构造蜕变关系更多地依靠于待测程序领域内的专业知识,而这种方式得到的蜕变关系数量也有限,组合蜕变关系便应运而生。而如何从通过各种方式得到的蜕变关系中选择质量更优的蜕变关系以达到更高的检错率便成了一个亟待解决的问题。因此本文的另一方面便是对蜕变关系的有效性进行研究。通过对蜕变关系有效性的影响因素的初步分析,分别根据变量个数和功能点个数来作为分类依据来对蜕变关系进行了分类。根据变量个数的不同定义了单元蜕变关系、二元蜕变关系、多元蜕变关系;根据蜕变关系所覆盖到的功能点个数来划分蜕变关系,从而定义了单功能蜕变关系与多功能蜕变关系。然后通过几组实验研究对比并得出结论,大多数多元蜕变关系随着变量个数的增加其检错率也随之提高,也就是说多元蜕变关系比单元蜕变关系、二元蜕变关系更加有效。但也有一些多元蜕变关系受假阴性问题的影响其检错率反不如二元蜕变关系。而多功能蜕变关系因覆盖的功能点个数较多,进而导致其程序验证执行时覆盖的路径更为广泛,因此多功能蜕变关系大多比单功能蜕变关系检错率要高。除此之外,为了缓解蜕变关系中可能存在的假阴性问题,提出了More蜕变关系,即为一般的蜕变关系补充更多的约束条件,从而减少假阴性问题的发生。通过实验研究进一步验证了More蜕变关系比一般蜕变关系具有更高的检错率。