科学计算软件现已广泛应用到了各个研究领域中,而科学计算软件的功能实现需要由多个数值计算程序构成,所以数值计算程序的输出结果是否正确将直接影响科学计算软件能否正常使用,因此对数值计算程序进行测试也是软件测试中必不可少的一部分。在对数值计算程序进行测试时,由于程序的输出常常十分复杂,测试人员很难直接判断程序的输出结果是否正确,Oracle问题广泛存在。所以将蜕变测试应用到数值计算程序的测试中是十分必要的,蜕变测试的思想就是通过构造待测程序的一对输入之间的关系从而获取相应的输出之间的关系,避免了测试过程中Oracle问题的出现。但是在蜕变测试的应用场景中,大部分蜕变关系难以重复使用导致了蜕变测试的时间开销很大,常见的输入为单个值的数值计算程序可以参考相关计算的现有公式作为蜕变关系,然而如何获取输入为序列的数值计算程序的蜕变关系尚未得到明确的解决方法。为了提高输入为序列的数值计算程序的蜕变测试效率,解决蜕变关系重复利用率低等问题,本文提出了一种面向数值计算程序的蜕变关系获取方法,方法共分为蜕变关系分类预测和蜕变关系推导两个部分。其中第一部分是基于路径特征的蜕变关系分类预测方法,选取了可以普遍应用于数值计算程序的6类蜕变关系。方法首先为待测程序生成控制流图,将从控制流图中提取的执行路径制作为路径特征,然后依据待测程序对于相应蜕变关系的满足情况为特征添加标签,制作成数据集,最后使用数据集来训练和测试支持向量机,得到分类模型。将待测程序的路径特征输入分类模型,即可预测程序是否满足该模型所对应的蜕变关系。本文通过实验对分类模型进行了评估,评估结果表明此方法能够有效的预测数值计算程序对于相应蜕变关系的满足情况。在对某一个程序进行蜕变测试时,使用的蜕变关系应具备该程序特有的数值关系。为了满足这一需求,在本文提出的方法中第二部分是具体蜕变关系的推导方法。方法在将蜕变关系表示为多项式的基础上,将三条蜕变关系表示为带参数的一次方程,并使用最小二乘法对参数进行求解。此方法共推导出了两种具体的蜕变关系,本文设计实验对两种蜕变关系的检错能力进行了评估。结果表明,两种蜕变关系的检错率几乎都能够达到较为理想的状态,因此也验证了本文所提出的蜕变关系推导方法是有效的。