研究论文

Smallcheck和lazy Smallcheck：小值的自动穷举测试

作者:

科林 Runciman公司,

弗雷德里克林德布拉德作者信息和声明

Haskell'08：关于Haskell的第一届ACM SIGPLAN研讨会会议记录

页37-48

https://doi.org/10.1145/1411286.1411292

出版:2008年9月25日出版历史

获取访问权限

摘要

本文描述了两个用于基于属性测试的Haskell库。在QuickCheck的领导下，这些测试库SmallCheck和Lazy SmallChecks还使用基于类型的生成器来获取有限值的测试集，对这些测试集的属性进行检查，并报告发现的任何反例。但是，他们没有使用随机生成的值的样本，而是测试所有值的属性，直到达到某个极限深度，并逐渐增加这个极限。本文解释了这两个库的设计和实现，并对它们进行了比较和QuickCheck评估。

补充材料

JPG文件（1411292.jpg）

下载
19.31 KB

索引.html （index.html）

演示文稿中的幻灯片

下载
.95 KB

仅音频（1411292.mp3）

下载
11.58 MB

视频（1411292.mp4）

下载
159.74 MB

工具书类

[1]

塞尔吉奥·安托伊（Sergio Antoy）、拉希德·埃哈希德（Rachid Echahed）和迈克尔·哈纳斯（Michael Hanus）。一个必要的缩小战略。在《持久性有机污染物公约》第94号第268页至第279页，1994年。

数字图书馆

[2]

伦纳特·奥古斯森。过载布尔值。http://augusss.blogspot.com/, 2007.

[3]

理查德·伯德（Richard S.Bird）。使用Haskell的函数编程简介。Prentice Hall，1998年。

数字图书馆

[4]

简·克里斯蒂安森（Jan Christiansen）和塞巴斯蒂安·费舍尔（Sebastian Fischer）。轻松检查-免费测试数据。在FLOPS’08中，第322--336页。LNCS 49892008年。

数字图书馆

[5]

K.Claessen、C.Runciman、O.Chitil、R.J.M.Hughes和M.Wallace。使用QuickCheck和Hat测试和跟踪惰性功能程序。AFP’02，第59-99页。Springer LNCS 26382002年。

[6]

科恩·克莱森和约翰·休斯。QuickCheck：一个用于Haskell程序随机测试的轻量级工具。在ICFP'00中，第268--279页。ACM SIGPLAN，2000年。

数字图书馆

[7]

安迪·吉尔和科林·伦西曼。Haskell计划覆盖范围。在Haskell'07中，第1-12页。ACM，2007年。

数字图书馆

[8]

迈克尔·哈纳斯。Curry：一种集成函数逻辑语言。语言报告，在线提供http://www.informatik.uni-kiel.de/~curry，/report.html，2006年3月。

[9]

格雷厄姆·赫顿。倒计时问题。函数编程杂志，12（6）：609-6162002年11月。

数字图书馆

[10]

丹尼尔·杰克逊。软件抽象：逻辑、语言和分析。麻省理工学院出版社，2006年。

数字图书馆

[11]

彼得·库普曼（Pieter W.M.Koopman）、阿特姆·阿里马林（Artem Alimarine）、扬·特雷特曼斯（Jan Tretmans）和马林努斯·普拉斯梅耶尔（Marinus J.Plasmeijer）。Gast：通用自动化软件测试。在IFL’02中，第84-100页。LNCS 26702002年。

数字图书馆

[12]

弗雷德里克·林布拉德。一阶测试数据的属性导向生成。在TFP’07，第8卷，第105-123页。Intellect，2008年。

[13]

约翰·劳埃德。用集成函数和逻辑语言编程。《函数和逻辑编程杂志》，1999年（3）。

[14]

沃尔夫冈·卢克斯。Munster Curry编译器。http://danae.uni-muenster.de/~勒克斯/咖喱/，2003年。

[15]

尼尔·米切尔和斯特凡·奥雷尔。派生-项目主页。网址：http://www.cs.york.ac.uk/~ndm/derive/，2007年3月。

[16]

尼尔·米切尔和科林·伦西曼。Haskell中用于安全模式匹配的静态检查器。在TFP’05，第6卷，第15-30页。Intellect，2007年。

[17]

马修·内勒和科林·伦西曼。Reduceron：使用FPGA扩大冯·诺依曼（von Neumann）图形简化的瓶颈。在IFL’07中，出现第页。LNCS，2008年。

[18]

马修·内勒和科林·伦西曼。查找到达目标表达式的输入。在SCAM’07中，第133-142页。IEEE计算机学会，2007年。

数字图书馆

[19]

克里斯·冈崎（Chris Okasaki）。功能设置中的红黑树。函数编程杂志，9（4）：471-4771999。

数字图书馆

[20]

西蒙·佩顿·琼斯。函数式编程语言的实现。计算机科学。普伦蒂斯·霍尔，1987年。

数字图书馆

[21]

西蒙·佩顿·琼斯（Simon Peyton Jones）、阿拉斯泰尔·里德（Alastair Reid）、弗格斯·亨德森（Fergus Henderson）、托尼·霍尔（Tony Hoare）和西蒙·马洛（Simon Marlow）。不精确异常的语义。在PLDI’99中，第25-36页。ACM，1999年。

数字图书馆

[22]

D.A.特纳。应用语言的一种新的实现技术。软件——实践与经验，9（1）：31-491979。

引用人

德弗里斯E麦克唐纳TVazou N公司(2023)伪造：哈斯克尔内部收缩的重新想象第16届ACM SIGPLAN国际哈斯克尔研讨会论文集10.1145/3609026.3609733(97-109)在线发布日期：2023年8月30日
https://dl.acm.org/doi/10.1145/3609026.3609733
Elazar Mittelman S公司雷斯尼克A佩雷斯一世古德勒A兰普洛斯L麦克唐奈TVazou N公司(2023)不要走下坡路：为基于属性的测试重新优化枚举第16届ACM SIGPLAN国际哈斯克尔研讨会会议记录10.1145/3609026.3609730(59-71)在线发布日期：2023年8月30日
https://dl.acm.org/doi/10.1145/3609026.3609730
先生A俄罗斯A(2023)MUTAGEN：使用穷尽突变进行可靠的覆盖引导、基于属性的测试2023 IEEE软件测试、验证和确认会议（ICST）10.1109/ICST57152.2023.00025(176-187)网上发布日期：2023年4月
https://doi.org/10.109/ICST57152.2023.00025
显示更多引用者

索引术语

Smallcheck和lazy Smallcheck：小值的自动穷举测试
1. 软件及其工程
  1. 软件创建和管理
    1. 软件验证和确认
      1. 软件缺陷分析
        软件测试和调试
  2. 软件符号和工具
    1. 通用编程语言
      1. 语言类型
        函数式语言

建议

Smallcheck和lazy Smallcheck：小值的自动穷举测试
哈斯克尔'08

本文描述了两个用于基于属性测试的Haskell库。继QuickCheck之后，这些测试库SmallCheck和Lazy SmallCheck也使用基于类型的生成器来获得有限值的测试集，这些测试集的属性是。。。
ArbitCheck：一种高度自动化的Java属性测试工具
ICSTW’14：2014 IEEE软件测试、验证和确认研讨会会议记录

如今，基于轻量级属性的测试工具变得越来越流行。通过基于属性的测试，开发人员可以针对大量随机生成的输入测试被测系统的属性，而无需编写测试用例。尽管。。。
从带有OCL约束的UML模型自动生成测试模型和属性
OCL’12：OCL和文本建模第12次研讨会会议记录

基于模型的测试和基于属性的测试是两种测试方法，通常有助于测试用例生成的自动化，使用模型或属性作为基础来导出完整的测试套件。在这样做的过程中，他们还。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

Haskell'08：关于Haskell的第一届ACM SIGPLAN研讨会会议记录

2008年9月

134页

国际标准图书编号：9781605580647

内政部：10.1145/1411286

项目主席：
安迪·吉尔
美国堪萨斯大学

ACM SIGPLAN通知第44卷第2期
哈斯克尔'08
2009年2月
126页
国际标准编号：0362-1340
EISSN公司：1558-1160
内政部：10.1145/1543134
期刊目录

版权所有©2008 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布、在服务器上发布或重新分发到列表，需要事先获得特定许可和/或收取费用。从请求权限[电子邮件保护]

发起人

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2008年9月25日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

研究文章

会议

ICFP08

赞助商：

ICFP08:ACM SIGPLAN函数编程国际会议

2008年9月25日

不列颠哥伦比亚省，维多利亚州，加拿大

接受率

Haskell’08论文接受率28份中的13份，46%；

总体接受率143份提交文件中的57份，40%

贡献者

其他指标

查看文章度量

文献计量学和引文

文献计量学

文章指标

152
引文总数
查看引文
521
总下载次数

下载次数（过去12个月）50
下载次数（最近6周）6

反映截至2024年9月20日的下载量

其他指标

查看作者指标

引文

引用人

德弗里斯E麦克唐纳TVazou N公司(2023)证伪：哈斯克尔的内部收缩重塑第16届ACM SIGPLAN国际哈斯克尔研讨会会议记录10.1145/3609026.3609733(97-109)在线发布日期：2023年8月30日
https://dl.acm.org/doi/10.1145/3609026.3609733
Elazar Mittelman S公司雷斯尼克A佩雷斯一世古德勒ALampropoulos L类麦克唐纳TVazou N公司(2023)不要走下坡路：为基于属性的测试重新优化枚举第16届ACM SIGPLAN国际哈斯克尔研讨会会议记录10.1145/3609026.3609730(59-71)在线发布日期：2023年8月30日
https://dl.acm.org/doi/10.1145/3609026.3609730
先生A俄罗斯A(2023)MUTAGEN：使用穷尽突变进行可靠的覆盖引导、基于属性的测试2023 IEEE软件测试、验证和确认会议（ICST）10.1109/ICST57152.2023.00025(176-187)网上发布日期：2023年4月
https://doi.org/10.109/ICST57152.2023.00025
卡佩尔曼KRädle J州史蒂文斯·L(2022)物理和虚拟空间中参与式的大规模函数式编程教育理论计算机科学中的电子论文集10.4204/EPTCS.363.6363(93-113)在线发布日期：2022年7月26日
https://doi.org/10.4204/EPTCS.363.6
陈ZRizkallah C公司奥康纳L苏萨拉·P克莱因G继承人G凯勒G费歇尔B布尔古诺Cazzola W公司(2022)基于属性的测试：爬上验证的阶梯第十五届ACM SIGPLAN软件语言工程国际会议论文集10.1145/3567512.3567520(84-97)在线发布日期：2022年11月29日
https://dl.acm.org/doi/10.1145/3567512.3567520
范德雷斯特C斯威斯特拉W(2022)一个完全独特的枚举帐户美国计算机学会程序设计语言会议录10.1145/35476366：ICFP(411-437)在线发布日期：2022年8月31日
https://dl.acm.org/doi/10.1145/3547636
旋塞J梅尔科尼安O埃斯科特L查普曼J诺雷尔U波利卡波娃N(2022)合理的Agda是正确的Haskell：使用agda2hs编写经过验证的Haskel第十五届ACM SIGPLAN国际哈斯克尔研讨会会议记录10.1145/3546189.3549920(108-122)在线发布日期：2022年9月6日
https://dl.acm.org/doi/10.1145/3546189.35491920
Gissurarson M公司阿普利斯L帕尼切拉菌A范·德森A沙子D德怀尔M达米安·D泽勒A(2022)PropR公司第44届国际软件工程会议记录10.1145/3510003.3510620(1768-1780)在线发布日期：2022年5月21日
https://dl.acm.org/doi/10.1145/3510003.3510620
侯（法沃尼亚）K王Z(2022)对数和程序测试美国计算机学会程序设计语言会议录10.1145/34987266：POPL(1-26)在线发布日期：2022年1月12日
https://dl.acm.org/doi/10.1145/3498726
埃拉德C乔尔盖蒂A里奇亚迪J(2022)OCaml和WhyML特性的随机和枚举测试软件质量杂志2007年10月17日/11219-021-09572-z30:1(253-279)在线发布日期：2022年2月22日
https://doi.org/10.1007/s11219-021-09572-z
显示更多引用者

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子