快速检查

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

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


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

显示第1到第20个结果,共98个。
按年份排序(引用)
  1. 艾伯特,艾薇拉;贝齐尔吉安尼斯,尼古拉斯;德波尔,弗兰克;Martin Martin,Enrique:从演员合作调度到Haskell(2020)的正式资源消耗保护翻译
  2. 卢克希奇,Žiga;Matija,局部效应
  3. 本德科夫斯基,麦基;博迪尼,奥利弗;Dovgal,Sergey:lambda项的统计特性(2019)
  4. 本德科夫斯基,麦基;Lescanne,Pierre:关于闭包和环境的计数及其在随机生成中的应用(2019)
  5. 卡巴莱罗,拉斐尔;马丁·马丁,恩里克;里斯科,阿德里安;萨尔瓦多塔马里特:声明性调试的核心Erlang语义(2019)
  6. 吉卡,丹·R。;Alyahya,Khulood:使用LSTM对博弈模型进行潜在语义分析(2019)
  7. Johansson,Moa:归纳引理的发现。调查(2019年)
  8. Mostowski,Wojciech:用于测试灰盒系统的基于模型的故障注入(2019)
  9. 保尔森,劳伦斯·C。;尼普科,托比亚斯;温泽尔,马卡里乌斯:从LCF到伊莎贝尔/霍尔(2019)
  10. 里斯科,A。;Rodríguez HortaláJ.:火花流的基于属性的测试(2019)
  11. 奥斯汀,埃文;巴特森,斯科特;咖喱,彼得;威廉姆斯,布莱恩:寻找计算机辅助加密的中间地带(2018)
  12. 本德科夫斯基,麦基;Lescanne,Pierre:计数环境和关闭(2018)
  13. 卡巴莱罗,拉斐尔;马丁·马丁,恩里克;里斯科,阿德里安;萨尔瓦多塔马里特:并发Erlang程序的声明性调试(2018)
  14. 杜布瓦,凯瑟琳;Giorgetti,Alain:自定义数据生成器的测试和证明(2018)
  15. 石井,广美:嵌入Haskell的纯功能计算机代数系统(2018)
  16. 艾伯特,艾薇拉;贝齐尔吉安尼斯,尼古拉斯;德波尔,弗兰克;Martin Martin,Enrique:演员到Haskell的正式、资源消耗保护翻译(2017)
  17. 勃兰特,约根;莱希格,沃尔夫冈;Leser,Ulf:功能科学工作流语言楔形文字的计算语义(2017)
  18. 西蒙·克鲁恩斯:《结构归纳的叠加》(2017)
  19. 西蒙·克鲁恩斯:《可满足模有界检验》(2017)
  20. David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit:Erlang代码进化控制(2017)阿尔十四