快速检查

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

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


zbMATH参考文献(87篇文章引用,1标准件)

显示第87至第20个结果。
按年份排序(引用)
  1. Bendkowski,Maciej;Bodini,Olivier;Dovgal,Sergey:lambda项的统计特性(2019年)
  2. Bendkowski,Maciej;Lescanne,Pierre:关于闭包和环境的枚举及其在随机生成中的应用(2019)
  3. Caballero,Rafael;Martin Martin,Enrique;Riesco,Adrián;Tamarit,Salvador:声明性调试的核心Erlang语义(2019)
  4. Ghica,Dan R.;Alyahya,Khulood:使用LSTM对游戏模型的潜在语义分析(2019年)
  5. Johansson,Moa:归纳引理的发现。调查(2019年)
  6. Mostowski,Wojciech:用于测试灰盒系统的基于模型的故障注入(2019)
  7. Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年)
  8. 奥斯汀,埃文;巴特森,斯科特;库里,彼得;威廉姆斯,布赖恩:寻找计算机辅助加密的中间地带(2018)
  9. Rafael的Caballero;Martin Martin,Enrique;Riesco,Adrián;Tamarit,Salvador:并发Erlang程序的声明性调试(2018)
  10. 石井,广美:嵌入Haskell的纯功能计算机代数系统(2018)
  11. 阿尔伯特,埃尔维拉;贝齐尔吉安尼斯,尼古拉斯;德波尔,弗兰克;马丁马丁马丁,恩里克:从演员到哈斯凯尔的正式、资源消耗保护翻译(2017)
  12. Brandt,Jörgen;Reisig,Wolfgang;Leser,Ulf:功能科学工作流语言楔形文字的计算语义(2017)
  13. 西蒙·克鲁恩斯:《可满足模有界检验》(2017)
  14. 西蒙·克鲁恩斯:《结构归纳的叠加》(2017)
  15. David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit:Erlang代码进化控制(2017)阿尔十四
  16. Gerdes,Alex;Heeren,Bastian;Jeuring,Johan;van Binsbergen,L.Thomas:Haskell提供自动反馈的适应性编程导师(2017)数学
  17. Johansson,Moa:交互式定理证明的自动理论探索:Hipster系统简介(2017)
  18. Lampropoulos,Leonidas;Galois Wong,Diane;Hriţcu,Cătălin;Hughes,John;Pierce,Benjamin C.;Xia,Li yao:《初学者的运气:基于财产的发电机的语言》(2017)
  19. Dubois,Catherine;Giorgetti,Alain;Genestier,Richard:枚举组合学的检验与证明(2016)
  20. Reynolds,Andrew;Blanchette,Jasmin Christian;Cruanes,Simon;Tinelli,Cesare:SMT中递归函数的模型发现(2016)