快速检查

QuickCheck:一个轻量级的工具,用于随机测试Haskell程序。快速检查是帮助Haskell程序员制定和测试程序属性的工具。属性被描述为Haskell函数,并且可以在随机输入上自动测试,但也可以定义自定义测试数据生成器。我们提出了一些案例研究,其中工具成功地使用,并指出了一些陷阱,以避免。随机测试特别适合于功能程序,因为属性可以用细粒表示。当从单独测试的组件构建函数时,随机测试可获得测试下定义的良好覆盖。

这个软件也是同行评审通过期刊toms.


ZBMaX中的参考文献(86篇)1标准条款

显示结果1至20的86。
按年份排序(引文
  1. Bendkowski,Maciej;Bodini,奥利维尔;Dovgal,谢尔盖:λ项的统计性质(2019)
  2. Bendkowski,Maciej;LeSCANE,彼埃尔:关于应用随机生成的闭包和环境的枚举(2019)
  3. 卡巴莱罗,拉斐尔;Martin Martin,恩里克;RiSeCO,AdRiaN;TaMARIT,萨尔瓦多:声明性调试的核心Erlang语义(2019)
  4. GHICA,Dan R.;Alyahya,KuloLo:使用LSTM(2019)的游戏模型潜在语义分析
  5. 约翰松,莫阿:引理发现归纳法。一次调查(2019)
  6. Mostowski,WojiCe:基于模型的故障注入测试灰盒系统(2019)
  7. 奥斯丁,埃文;巴特森,史葛;Curry,彼得;威廉姆斯,布莱恩:寻找计算机辅助密码学的中间点(2018)
  8. 卡巴莱罗,拉斐尔;Martin Martin,恩里克;里斯科,阿德里安;塔马里特,萨尔瓦多:并发Erlang程序的声明性调试(2018)
  9. Ishii,Hiromi:嵌入Haskell(2018)的纯功能计算机代数系统
  10. 艾伯特,Elvira;贝吉吉亚尼斯,尼古拉;德波尔,弗兰克;Martin Martin,恩里克:一个正式的、资源消耗保护的演员对哈斯克尔的翻译(2017)
  11. 勃兰特,J·RGEN;Resig,沃尔夫冈;Leser,ULF:函数科学工作流语言楔形文字的计算语义(2017)
  12. 西蒙:可满足性模有界检验(2017)
  13. 西蒙与结构诱导叠加(2017)
  14. David Insa、塞尔吉奥·P·雷斯、Josep Silva、萨尔瓦多·塔马里特:Erlang码进化控制(2017)阿西夫
  15. Gerdes,亚历克斯;海伦,巴斯蒂安;杰瑞,Johan;van Binsbergen,L. Thomas:问EEL:一个适合Haskell的自动编程导师,提供自动反馈(2017)马修德
  16. 约翰松,莫阿:交互式定理证明的自动化理论探索:HIPSTER系统导论(2017)
  17. Lampropoulos,Leonidas;Gallois Wong,戴安娜;海里·铜,C·T·林;休斯,约翰;Pierce,Benjamin C.;夏,姚:初学者的运气:一个基于属性的生成器的语言(2017)
  18. 杜布瓦,凯瑟琳;乔吉蒂,Alain;Geestisher,李察:枚举组合数学的检验和证明(2016)
  19. 雷诺兹,安得烈;Blanchette,Jasmin Christian;Cracees,西蒙;Tinelli,Casay:SMT中递归函数的模型发现(2016)
  20. 克雷森,Koen;杜雷格,乔纳斯,Pa Ka,米莎H.:均匀分布生成约束随机数据(2015)