quickcheck

5热度

3回答

如何在quickCheck（Haskell）中使用'oneof'

我正在尝试编写一个改变Sudoku的道具，然后检查它是否仍然有效。 但是，我不知道如何正确使用“oneof”功能。你能给我一些提示吗？ prop_candidates :: Sudoku -> Bool prop_candidates su = isSudoku newSu && isOkay newSu where newSu = update su aBlank aC

haskell functional-programming ghci quickcheck 2009-12-01

---

6热度

1回答

使Test.QuickCheck.Batch使用测试列表函数的默认类型

我正在测试称为提取的函数，该函数在任何列表上运行。 extractions :: [a] -> [(a,[a])] extractions [] = [] extractions l = extract l [] where extract [] _ = [] extract (x:xs) prev = (x, prev++xs) : extract xs (x : p

testing haskell type-inference quickcheck 2008-09-15

---

10热度

5回答

？

从快速检查1所述的功能verboseCheck似乎是不存在于快速检查2（或至少，我无法找到它）。有没有其他方法可以显示测试过程中使用哪些值？

haskell quickcheck 2010-03-25

---

36热度

11回答

您是否在实际项目中使用了Quickcheck

Quickcheck及其变体（即使在Java中有一个），似乎很有趣。然而，除了学术兴趣之外，它在真正的应用程序测试（例如，GUI应用程序或客户端/服务器，甚至是StackOverflow本身）中真的有用吗？你有类似的测试发生器的任何经验值得赞赏。

java haskell testing quickcheck 2009-02-23

---

2热度

1回答

生成Int的列表的列表与快速检查

我工作过的第4章的 练习Real World Haskell一个是落实 concat的foldr基于版本。我认为这将是一个很好的候选人用于测试 快速检查，因为有一个现有的实施来验证我的 结果。然而，这需要我定义可以生成任意[[Int]]的类型类型的实例。到目前为止，我有 一直无法弄清楚如何做到这一点。我的第一个尝试是：正在执行 module FoldExcercises_Test where

quickcheck haskell 2009-11-06

---

12热度

1回答

针对多种类型测试QuickCheck属性？

我有一个类型类Atomic，它定义了将某些类型转换为包装器值（或从包装器值转换）的函数（Atom）。我想定义一个QuickCheck属性，其中声明：“对于所有的Atomic实例，可以安全地存储和检索任何值。”该物业是这样的： class Atomic a where toAtom :: a -> Atom fromAtom :: Atom -> Maybe a prop_A

testing haskell quickcheck 2009-09-19

---