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

《试论函数式程序设计语言haskell的测试数据系统生成》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、中山大学硕士学位论文函数式程序设计语言Haskell的测试数据系统生成姓名：章金平申请学位级别：硕士专业：计算机软件与理论指导教师：乔海燕20080508中山人学硕士论文函数式程序设计语言H鹊kdl的测试数据系统生成函数式程序设计语言Haskell的测试数据系统生成专业：计算机软件与理论硕士生：章金平指导老师：乔海燕副教授摘要软件测试作为软件开发过程中的重要一环，对于保障软件质量起着至关重要的作用，而测试数据生成方法的正确性和有效性，又是一个成功测试的根本。因此，测试数据生成方法的研究，对于测试技术乃至整个软件工程来说，都有着非常重要的意义。本文从函数式程序设计语言Haskell入手，

2、提出了一种能够系统生成Haskell下各种基本类型及用户自定义类型数据元素的方法，并且提供了一些函数供用户选择，从而使得用户定义某类型元素的生成器变得很简单。然后，在此方法的基础上，开发了一个能够用于做系统化测试的HaSkell程序自动化测试工具，并利用该工具对现有函数库进行了一定的测试。最后，文章讨论了随机测试和系统化测试存在的优缺点及各自的适用场合。关键词：函数式程序设计，程序测试，Haskell，系统生成中山大学硕士论文函数式程序设计语言H豁kclI的测试数据系统生成Systematicalgenerationoftestdatain向nctionalprogra衄ing1ang

3、uageHaskeUMajor：SoftwareandTheore戗calComputerSci蚰ceName：ZhangJinpingSuper、，isor：QiaoHaiy柚AbstractAsanimportantpanofthes0RwaredeVelopment，so俞waretestillgiscmcialtotheassuranceofsoft、)Irarequality'whilet11ecorrec缸lessandvalidit)，ofthetestdataarethebaseofasucc船s如ltestiIlg．H∞cetllestudyoftestdatag铋e

4、rationisessentialtothetestiIlgtecllllologyandevenmewholesof细’areproject．hlthisnlesiswep∞poseanewmemodtogenerateallelementsofatyI)esyst锄aticallyinH勰kell，a向nctionalprogrammingl强guage，includingbasictⅥ'esanduser-definedtypes，andwepr0、，idesome如nctionswhichmakeitvefyeasytodefinetestdatageIlerators．Fur

5、thermore，wedevelopcdatesttoolfollowingthismetllodwhichcallbeusedforsystematicaltesting，and、№t懿tedsomelibfa叫如nctionsusiIlgthist001．FiIlally’wediscusstheadVantagesanddis酞IVantagesof瑚mdomtestiIlgandsystematicaltes如g．KeyWords：fIlnctionalpr0铲锄[1IIlillg，progmmtcsting，Haskell，sySt锄aticalg∞emtion．IU原创性声

6、明本人郑重声明：所呈交的学位论文，是本人在导师的指导下，独立进行研究工作所取得的成果。除文中已经注明引用的内容外，本论文不包含任何其他个人或集体已经发表或撰写过的作品成果。对本文的研究作出重要贡献的个人和集体，均已在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。签名：醐：进年』月亨日学位论文使用授权声明本人完全了解中山大学有关保留、使用学位论文的规定，即：学校有权保留学位论文并向国家主管部门或其指定机构送交论文的电子版和纸质版，有权将学位论文用于非赢利目的的少量复制并允许论文进入学校图书馆、院系资料室被查阅，有权将学位论文的内容编入有关数据库进行检索，可以采用复印、缩印

7、或其他方法保存学位论文。学位论文作者签名举辛日期：扣《年够月07日’导师签名：香晦数日期：沙。序，月7日中山大学硕士论文函数式程序设计语言H船keIl的测试数据系统生成1．1引言第1章绪论自从软件诞生的那天起，如何保证软件的质量似乎就成为软件开发者及用户无法逃避的话题。历史上也不乏“劣质”软件所带来的惨痛教训：1967年8月23日前苏联著名宇航员弗拉迪米尔科马洛夫驾驶的“联盟1”号宇宙飞船，经过一天一宿的太空飞行之后，圆满完成了任务，然而由于软