快速检查

QuickCheck:一个用于随机测试Haskell程序的轻量级工具。QuickCheck是一个帮助Haskell程序员制定和测试程序属性的工具。属性被描述为Haskell函数,可以对随机输入进行自动测试,但也可以定义自定义测试数据生成器。我们提供了一些成功使用该工具的案例研究,并指出了一些需要避免的陷阱。随机测试特别适用于函数程序,因为属性可以用细粒度表示。当一个函数是由单独测试的组件构建的,那么随机测试可以获得被测试定义的良好覆盖范围。

这个软件也是同行评审按日记帐汤姆斯.


zbMATH中的参考文献(参考文献89篇文章,1标准件)

显示第1到第20个结果,共89个。
按年份排序(引用)
  1. 艾伯特,艾薇拉;贝齐尔吉安尼斯,尼古拉斯;德波尔,弗兰克;Martin Martin,Enrique:从演员合作调度到Haskell(2020)的正式资源消耗保护翻译
  2. 卢克šč, Ž政府间协议;Pretnar,Matija:局部代数效应理论(2020)
  3. 本德科夫斯基,麦基;博迪尼,奥利弗;Dovgal,Sergey:lambda项的统计特性(2019)
  4. 本德科夫斯基,麦基;Lescanne,Pierre:关于闭包和环境的计数及其在随机生成中的应用(2019)
  5. 卡巴莱罗,拉斐尔;马丁·马丁,恩里克;里斯科,阿德里án;萨尔瓦多塔马里特:声明性调试的核心Erlang语义(2019)
  6. 吉卡,丹·R。;潜在游戏语义分析(Hyalstod,2019)
  7. Johansson,Moa:归纳引理的发现。调查(2019年)
  8. Mostowski,Wojciech:用于测试灰盒系统的基于模型的故障注入(2019)
  9. 保尔森,劳伦斯·C。;尼普科,托比亚斯;温泽尔,马卡里乌斯:从LCF到伊莎贝尔/霍尔(2019)
  10. 奥斯汀,埃文;巴特森,斯科特;咖喱,彼得;威廉姆斯,布莱恩:寻找计算机辅助加密的中间地带(2018)
  11. 卡巴莱罗,拉斐尔;马丁·马丁,恩里克;里斯科,阿德里án;萨尔瓦多塔马里特:并发Erlang程序的声明性调试(2018)
  12. 石井,广美:嵌入Haskell的纯功能计算机代数系统(2018)
  13. 艾伯特,艾薇拉;贝齐尔吉安尼斯,尼古拉斯;德波尔,弗兰克;Martin Martin,Enrique:演员到Haskell的正式、资源消耗保护翻译(2017)
  14. 勃兰特,Jö尔根;莱希格,沃尔夫冈;Leser,Ulf:功能科学工作流语言楔形文字的计算语义(2017)
  15. 西蒙·克鲁恩斯:《可满足模有界检验》(2017)
  16. 西蒙·克鲁恩斯:《结构归纳的叠加》(2017)
  17. 大卫·因萨,塞尔吉奥·Pérez,Josep Silva,Salvador Tamarit:Erlang代码进化控制(2017)阿尔十四
  18. 格德斯,亚历克斯;希伦,巴斯蒂安;杰瑞,约翰;范宾斯伯格,L。托马斯:问一下elle:Haskell提供自动反馈的适应性编程导师(2017)数学
  19. Johansson,Moa:交互式定理证明的自动理论探索:Hipster系统简介(2017)
  20. 七鳃鳗;王加洛瓦,黛安;人权指数ţ铜,碳ătă林;休斯,约翰;皮尔斯,本杰明C。;夏,李瑶:初学者的运气:基于财产的发电机的语言(2017)