haskell - 使用 quickCheck 测试具有有界值列表的函数

Question

我需要用 quickCheck 测试一些功能做验证这些功能。

我需要发送范围内的值 1至 40到该功能，但我是 quickCheck 的初学者它是修饰符。

我试过 :

myTestFunction (x,y,z) (Positive div) = ....

和

quickCheck myTestFunction

div保持积极但可以取得非常高的值(value)(我不想要)

在 a 范围内给出 div 随机值的正确方法是什么？至 b ?

是否也可以将值列表(非随机)强加给 quickCheck ?

Answer 1

你需要结合两个部分。第一个是generation — 您需要编写一个 QuickCheck 随机生成器，以输出所需范围内的数字。令人高兴的是，我们可以使用内置函数来做到这一点:

choose :: Random a => (a, a) -> Gen a

接下来，我们需要指定一个使用这个自定义生成器的属性。这是 property combinators的地方真的派上用场了。同样，我们想要的函数是文档部分的第一个:

forAll :: (Show a, Testable prop) => Gen a -> (a -> prop) -> Property

这让我们可以将自定义生成器传入函数参数。

将所有这些放在一起，测试用例将如下所示:

prop_myTest (x, y, z) = forAll (choose (1, 40)) $ \ ndiv -> ...

“ prop_ ”命名方案通常用于 QuickCheck 测试。这将帮助人们快速了解您的代码中发生了什么并且被一些测试框架使用，因此现在进入是一个好习惯。