quickcheck

    17热度

    1回答

    控制在QuickCheck中如何生成测试数据

    我编写了一个算法来找到Haskell中子集和问题的解决方案。签名是 subsetSum :: (Ord a, Num a) => [a] -> a -> Maybe [a] QuickCheck似乎是一个很好的测试。例如，我在这里，我可以检查的属性之一： prop_sumEqualsS l s = case subsetSum l s of Just solution ->
    haskell quickcheck 2012-04-02

    5热度

    3回答

    如何在Rust中模拟Lisp（apply）或（curry）？

    我正在将QuickCheck移植到Rust，并且我写了除for_all以外的所有内容。我不确定类型签名应该是什么，我只知道一般情况下，for_all将接受一个属性lambda和一个生成器lambdas集合。 for_all将评估生成器以便创建一个随机测试用例来给该属性作为输入。如果属性返回true，则应打印for_all+++ OK, passed 100 tests.。否则，它应该打印*** F
    testing quickcheck rust 2012-02-14

    1热度

    1回答

    scalacheck添加的快速检查功能是什么？

    所有scalacheck的东西说： 已经发展并扩展了在Haskell快速检查 所以没有的功能，那些是什么功能？
    quickcheck scalacheck 2012-02-17

    14热度

    2回答

    找到失败的值进行快速检查

    当一个值未通过QuickCheck'd测试时，我想用它进行调试。有什么办法，我可以这样做： let failValue = quickCheck' myTest in someStuff failValue 如果我的数据是read能够那么我或许可以破解一些方法来从IO得到它，但它不是。
    haskell quickcheck 2011-11-19

    7热度

    2回答

    如何防止QuickCheck捕获所有异常？

    QuickCheck库似乎捕获测试属性时引发的所有异常。特别是，这种行为使我无法对整个QuickCheck计算设置时间限制。例如： module QuickCheckTimeout where import System.Timeout (timeout) import Control.Concurrent (threadDelay) import Test.QuickCheck (qui
    testing haskell quickcheck 2012-03-03

    8热度

    2回答

    自动收集所有quickChecks

    作为快速检查的粉丝，我有很多的 prop_something_something = ... 在我的整个程序。 为了方便，可以轻松运行所有的人，我定义 runchecks = do quickCheck prop_something_something quickCheck prop_something_different 但有产生runchecks的好方法？ TL;
    haskell quickcheck 2012-04-26

    9热度

    2回答

    QuickCheck退出失败状态和集成卡尔

    我想了解如何集成cabal的一些quickcheck测试。这gist暗示quickCheck函数失败时返回非零状态，但我没有得到该行为，所以使用cabal的exitcode-stdio-1.0测试套件类型似乎不适用于我，除非我想在我的测试中调用error。 cabal user guide也提到了一个detailed-1.0测试套件，但AFAICT这个还不存在。那仍然是这样吗？ 从this one
    haskell cabal quickcheck 2012-01-23

    5热度

    3回答

    简单的随机数生成

    我在写了一段令人沮丧的研究之后写了这篇文章，我希望这里有人能够启发我关于这个话题。 我想产生一个Haskell函数的简单随机数，但很可惜，这似乎是不可能没有的种种不平凡的元素，如单子，asignation在“做”的做，创造发电机等 理想情况下，我正在寻找C的“rand（）”的等价物。但经过多次搜索，我相当确信没有这样的事情，因为语言是如何设计的。 （如果有，请有人赐教）。因为这似乎不可行，所以我想
    haskell random quickcheck 2012-03-16

    1热度

    1回答

    从DiffArray移动到Data.Vector时内存泄漏

    在将数据结构从diffarray更改为vector后，内存在QuickCheck测试中爆炸（无限增长）。 该代码托管在GitHub。 dev分支包含恶意代码，并且主分支运行良好。除了微小的变化，唯一可能对此产生影响的承诺是one。为了运行QuickCheck例程，应该运行可执行文件测试仪。看起来，小长度的矢量不会使程序崩溃，但是当程序变得更长时，程序变慢并最终将内存打开。 另一件让我感兴趣的事情是
    haskell memory-leaks quickcheck 2012-03-21

    9热度

    2回答

    是否有与QuickCheck一起使用的Monadic版本的任意版本？

    当我想用QuickCheck测试纯代码时，我经常必须编写一个Arbitrary实例。要测试一元代码，我可以使用Test.QuickCheck.Monadic，如article中所述。 我的问题是：是否有一些规范的方式来生成依赖于monadic上下文的数据？特别是，有没有一些单调的任意版本？你将如何去生成需要单一上下文的数据？
    testing haskell functional-programming monads quickcheck 2012-03-25
最新问题