在对科学计算程序进行验证测试时,面对测试预言问题即Oracle问题时,难以构造待测程序的预期输出结果,从而对程序的正确性无从判断,极大地增加了测试难度。因此解决测试Oracle问题变得十分关键。对测试Oracle问题,研究人员提出了很多的测试方法,而其中蜕变测试是缓解测试Oracle问题的一种有效方法,其原理简单易懂,主要是利用蜕变关系来判断待测程序是否存在错误。蜕变关系可看成是由输入模式和输出模式构成,将蜕变关系的发现分解为基于领域知识的输入模式分析和基于运行数据的输出模式挖掘。主要研究内容包括:（1）提出一种三阶段蜕变关系发现方法:第一阶段,通过对待测程序领域知识分析确定输入模式;第二阶段,通过随机法生成原始输入数据,根据原始输入数据和输入模式产生衍生输入数据,运行程序,生成原始输出数据和衍生输出数据,即输出数据对,再利用GEP数据挖掘技术,通过设立符号算子,挖掘测试输出数据对所蕴含的输出模式;第三阶段,通过理论分析得到蜕变关系。（2）将该方法应用在一维一群和二群的堆芯中子扩散程序上,针对堆芯中子扩散程序领域知识分析产生了有意义的输入模式,并利用GEP挖掘到了堆芯中子扩散程序的似然蜕变关系输出模式,最终根据堆芯中子扩散程序各物理量的分析得到了物理模型蜕变关系。通过以上的研究表明,本文提出的三阶段蜕变关系发现方法,在堆芯中子扩散程序上得到了应用,并利用GEP技术挖掘出了似然蜕变关系输出模式,最终通过理论分析得到了4条物理模型蜕变关系,为蜕变关系的识别提供了借鉴与参考。