函数式程序设计语言Haskell的测试数据系统生成

摘要

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

目录

文摘

英文文摘

声明

第1章绪论

1.1引言

1.2国内外研究现状

1.3研究的主要内容

1.4论文的组成

第2章相关知识介绍

2.1软件测试相关概念

2.2函数式程序设计的介绍

第3章系统化生成测试数据

3.1主要思想

3.2基本类型数据元素的系统生成

3.3元组类型数据元素的系统生成

3.4列表类型数据元素的系统生成

3.5用户自定义数据类型元素的系统生成

第4章测试工具sysTest

4.1 sys Test的开发

4.2利用sysTest来进行测试

4.3随机测试和系统化测试的优缺点及适用场合分析

第5章总结与展望

参考文献

致谢