软件测试作为软件开发过程中的重要一环，对于保障软件质量起着至关重要的作用。随机测试技术是软件测试的重要技术之一，也是目前函数式程序测试的主要方法。而测试数据自动生成方法的正确性和有效性，是随机测试的根本。因此，测试数据生成方法的研究，对于测试技术乃至整个软件测试过程来说，都有着非常重要的意义。　　 QuickCheck、SmallCheck和LazySmallCheck等都是函数式程序语言Haskell的测试工具。SmallCheck和LazySmallCheck都是使用穷举测试方法，在某些情况下，测试时需要大量时间。而在测试一些需要前置条件的函数时，QuickCheck就不能够产生足够的数据来对相关的函数性质进行测试，从而出现“Argumentsexhausted”的问题。本文从这点出发，提出了利用演化思想的测试数据生成方法，提供了一个Haskell程序的自动化测试工具--ECheck。实验结果表明：ECheck在测试需要前置条件的函数性质上取得了比QuickCheck和SmallCheck更好的效果，不仅可以生成足够的数据，而且在有效性和时间效率上都得到了改进。最后，文章探讨了演化测试技术和一些优化智能算法在函数式程序测试中的应用。