论文部分内容阅读
软件测试作为软件开发过程中的重要一环，对于保障软件质量起着至关重要的作用，而测试数据生成方法的J下确性和有效性，又是一个成功测试的根本。因此，测试数据生成方法的研究，对于测试技术乃至整个软件工程来说，都有着非常重要的意义。
本文从函数式程序设计语言：Haskell入手，提出了一种能够系统生成Haskell下各种基本类型及用户自定义类型数据元素的方法，并且提供了一些函数供用户选择，从而使得用户定义某类型元素的生成器变得很简单。然后，在此方法的基础上，开发了一个能够用于做系统化测试的Haskell程序自动化测试工具，并利用该工具对现有函数库进行了一定的测试。最后，文章讨论了随机测试和系统化测试存在的优缺点及各自的适用场合。