软件测试是保证软件质量的有效手段之一。针对科学计算类程序(简称计算类)测试中遇到的Oracle问题,蜕变测试技术是一种缓解此类问题且具有应用前景的技术。目前应用蜕变测试技术对计算类软件进行测试大多是采用人工的方式,效率低。因此,开发一款自动化蜕变测试工具显得尤为重要。本文在研究测试相关理论基础上,基于蜕变测试技术应用于计算类软件测试的背景下,设计、开发了一款自动化蜕变测试工具,旨在基于线性蜕变关系求解生成衍生测试用例,提高计算类程序验证测试效率。本论文主要论述了此蜕变测试工具的设计与实现,并使用计算类程序在此工具上进行测试,验证了该工具的实用性。蜕变测试工具的设计思路是:待测程序的原始测试用例调用线性蜕变关系求解生成衍生测试用例,然后,执行测试用例并得到与原始测试用例和衍生测试用例相对应的运行结果,最后,再验证两个运行结果是否满足某种线性蜕变关系。总共分为五个功能模块:选择原始测试用例、选择蜕变关系、生成衍生测试用例、执行蜕变测试、测试结果分析。其中,生成衍生测试用例模块包括调用原始测试用例、蜕变关系以及修改、删除等功能。执行蜕变测试模块包括调用原始测试用例、衍生测试用例和执行程序三个功能。测试结果分析模块包括调用输出结果文件、差异提取和生成测试报告。蜕变测试工具主要应用于计算程序的验证测试。本文主要以简单的计算函数sinx函数对本工具进行了验证,验证结果证明该工具达到了预期效果,不但能够指导生成衍生测试用例,在一定程度上有效地提高了计算类程序的蜕变测试效率。