小支票

SmallCheck和Lazy SmallCheck:小值的自动穷举测试。本文描述了两个用于基于属性的测试的Haskell库。在QuickCheck的引导下,这些测试库SmallCheck和Lazy SmallCheck还使用基于类型的生成器来获取要检查其属性的有限值的测试集,并报告找到的任何反示例。但是他们没有使用随机生成的值的样本,而是测试所有值的属性,直到某个极限深度,逐渐增加这个极限。本文介绍了这两个库的设计和实现,并对它们进行了比较,并用QuickCheck进行了评价。

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


zbMATH参考文献(19篇文章引用)

显示第1至19个结果,共19个。
按年份排序(引用)

  1. Dylus,Sandra;Christiansen,Jan;Teegen,Finn:使用非严格非确定性实现概率规划库(2020)
  2. Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年)
  3. Dubois,Catherine;Giorgetti,Alain:自定义数据生成器的测试和证明(2018)
  4. 石井,广美:嵌入Haskell的纯功能计算机代数系统(2018)
  5. Cheney,James;Momigliano,Alberto:(\alpha\mathrmCheck):机械化元理论模型检查器(2017)
  6. Dubois,Catherine;Giorgetti,Alain;Genestier,Richard:枚举组合学的检验与证明(2016)
  7. Reynolds,Andrew;Blanchette,Jasmin Christian;Cruanes,Simon;Tinelli,Cesare:SMT中递归函数的模型发现(2016)
  8. Claessen,Koen;Duregård,Jonas;Pałka,MichałH.:生成具有均匀分布的约束随机数据(2015年)
  9. 雨果·特伦布雷、拉贝尔、吉尔伯特、布莱克、斯雷奇科、布隆丁·马塞、亚历山德拉:《原子组合微分算子的穷尽生成》(2014)
  10. 布拉旺,卢卡斯:伊莎贝尔的新快速检查。在同一屋檐下进行随机、详尽和象征性试验(2012年)
  11. Hanus,Michael:通过需求分析改进懒惰的非确定性计算(2012)
  12. Pieter Koopman;Peter Achten;Plasmeijer,Rinus:基于模型的逻辑属性测试与状态机(2012)
  13. Matsuda,Kazutaka;Inaba,Kazuhiro;Nakano,Keisuke:具有多个数据遍历的累积函数的多项式时间逆计算(2012)
  14. Reich,Jason S.;Naylor,Matthew;Runciman,Colin:《规范测试程序的懒散生成》(2012)ioport公司
  15. Riesco,Adrián:使用窄化来测试Maude规范(2012)ioport公司
  16. Sonnex,William;Drossopoulou,Sophia;Eisenbach,Susan:Zeno:递归数据结构属性的自动验证程序(2012)
  17. Blanchette,Jasmin Christian;Bulwahn,Lukas;Nipkow,Tobias:Isabelle/HOL中的自动证明与反证(2011)
  18. Bulwahn,Lukas:通过逻辑编程的智能测试数据生成器(2011)
  19. Achten,Peter;van Eekelen,Marko;Koopman,Pieter;Morazan,Marco T.:1999/2000与2007/2008(2010)函数式编程趋势趋势