×

快速检查

swMATH ID: 7277
软件作者： 科恩·克莱森；约翰·休斯
描述： QuickCheck：用于Haskell程序随机测试的轻量级工具。QuickCheck是一个帮助Haskell程序员制定和测试程序属性的工具。属性被描述为Haskell函数，可以对随机输入进行自动测试，但也可以定义自定义测试数据生成器。我们提供了一些成功使用该工具的案例研究，并指出了一些需要避免的陷阱。随机测试特别适用于功能程序，因为可以以精细的粒度陈述属性。当一个函数由单独测试的组件构建时，随机测试足以获得测试定义的良好覆盖率。
主页： http://dl.acm.org/citation.cfm？id=1988046
相关软件： 哈斯克尔；Coq公司；伊莎贝尔/HOL；小支票；伊莎贝尔；z3（零3）；埃尔朗；SMT-LIB公司；Nitpick公司；PVS公司；ACL2型；毫升；赶时髦的人；大锤；快速鸡；轻松检查；HipSpec（髋关节规范）；快速规范；Java PathFinder；莫德
引用于： 93文件

标准条款

1出版物描述软件 年份
QuickCheck：用于Haskell程序随机测试的轻量级工具
科恩·克莱森；约翰·休斯
2000
全部的 前5名

被193位作者引用

6 科恩·克莱森
5 穆阿·约翰逊
4 艾尔维拉·阿尔伯特
4 马西耶·本德考斯基
4 卢卡斯·布尔瓦恩
4 恩里克·马丁·马汀
4 尼古拉斯·斯莫尔博内
三 西蒙·克鲁恩斯
三 凯瑟琳·杜布瓦
三 约翰·杰林
三 皮特·库普曼
三 拉尔夫·拉梅尔
三 阿德里安·里斯科
三 鲁比奥·加西亚、朱利奥·杰苏斯
2 彼得·阿奇顿
2 马克·艾吉尔
2 库洛德·阿利亚亚
2 尼古拉斯·贝齐吉安尼斯
2 贾斯敏·克里斯蒂安·布兰切特
2 奥利维埃·博迪尼
2 阿希姆·D·布鲁克。
2 罗伯特·布鲁迈耶
2 拉斐尔·E·卡巴列罗。
2 奥拉夫·奇蒂尔
2 德波尔（Frank S。
2 塞萨尔·多明格斯
2 谢尔盖·多夫格尔
2 Dan R.吉卡。
2 阿兰·乔治蒂
2 克劳斯·哈维隆德
2 巴斯蒂安·海仁
2 乔纳森·赫拉斯
2 曼努埃尔五世（Manuel V.Hermenegildo）。
2 Hriţcu，科特林
2 格雷厄姆·赫顿
2 莱昂尼达斯·兰普罗普洛斯
2 帕斯卡尔·勒加尔
2 皮埃尔·莱斯坎
2 何塞·佩德罗·马加莱斯
2 托比亚斯·尼普科
2 米查·H·帕卡。
2 劳伦斯·查尔斯·保尔森
2 西蒙·琼斯（Simon L.Peyton Jones）。
2 本杰明·皮尔斯。
2 莱纳斯·普拉斯梅耶
2 玛丽亚·波扎
2 阿列克谢·罗德里格斯·雅库舍夫
2 丹·罗森
2 科林·伦西曼
2 汉斯·斯文森
2 萨尔瓦多塔马利特
2 沃尔夫，伯克哈特
1 马克西米利安·阿尔盖德
1 玛丽亚·阿尔普恩特
1 托尔斯滕·阿滕柯奇
1 奥曼·波霍拉，约翰内斯
1 安徒生、克里斯托弗·贾斯特·阿恩达尔
1 阿格内斯·阿诺德
1 西里尔·阿尔托
1 艺术，托马斯
1 埃文·奥斯汀
1 黛米斯·巴利斯
1 霍华德·巴林格
1 斯科特·巴特森。
1 阿明·比尔
1 亚历山大·布隆丁马萨诸塞
1 劳拉·博奇
1 博因，克莱门特
1 乔根·布兰特
1 斯雷切科·布列克
1 大卫·卡切拉
1 卡利埃、马蒂厄
1 伊格纳西奥·卡索
1 哈什·拉朱·查马西
1 科雷亚，弗朗西斯科·何塞
1 彼得·库里
1 丹尼尔森、尼尔斯·安德斯
1 雷内·戴维
1 伊曼纽尔·德·安吉利斯
1 弗朗索瓦·迪尔瓦夫
1 Dénès，马克西姆
1 彼得·迪林杰（Peter C.Dillinger）。
1 斯蒂芬·德雷普
1 索菲亚·克洛伊·德罗索波卢
1 乔纳斯·杜雷格德
1 米尔纳季阿蒙加
1 索尔伦·哈拉·埃纳尔斯多蒂尔
1 苏珊·艾森巴赫
1 托比·R·埃伦斯。
1 乔瓦尼·法布雷蒂
1 莫雷诺，法拉斯基
1 法比奥·菲奥拉万蒂
1 雅克·弗莱里奥特。
1 拉尔斯·弗兰岑
1 约翰·加拉赫（John P.Gallagher）。
1 戴安·加洛瓦·旺
1 萨米尔·根奈姆
1 理查德·杰内斯蒂尔
1 休·吉本斯
1 杰里米·吉本斯
…还有93位作者
全部的 前5名

15连载

8 函数编程杂志
5 程序设计中的逻辑和代数方法杂志
4 逻辑程序设计理论与实践
三 理论计算机科学
三 计算的形式方面
三 计算机科学中的逻辑方法
2 计算机基础理论
1 自动推理杂志
1 离散事件动态系统
1 实验数学
1 组合数学、概率论和计算
1 组合数学电子杂志
1 数学与人工智能年鉴
1 高阶和符号计算
1 ACM计算逻辑事务
全部的 前5名

11个领域引用

89 计算机科学（68至XX）
14 数理逻辑与基础（03-XX）
5 组合数学（05-XX）
2 生物学和其他自然科学（92-XX）
2 数学教育（97-XX）
1 代数拓扑（55-XX）
1 统计学（62-XX）
1 流体力学（76-XX）
1 运筹学、数学规划（90-XX）
1 系统论；控制（93至XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文