快速检查

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

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


zbMATH中的参考文献,1标准件)

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