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

Question

我有一个类似于这个问题的问题——控制如何在QuickCheck中生成测试数据。下面我将阐述我的具体情况、我正在使用的代码以及我遇到的特定问题。

我已经编写了一个使用斐波那契序列作为输入的buzz程序。我想测试两件事。（1） 给定满足特定条件的Int，我的程序是否会发出正确的字符串。（2） 我的斐波那契生成器生成斐波那奇数吗？

我遇到的问题与上面的链接类似。Int s的范围太大。如何将我的测试限制为前1000个斐波那契数？

以下是我认为既足够又最少的代码。如果需要详细说明，请告诉我。

import           Data.Numbers.Primes (isPrime)
import           Test.Hspec  (Spec,hspec,describe,it,shouldBe)
import           Test.Hspec.QuickCheck (prop)
qcheck :: Spec
qcheck = do
  describe "QuickCheck test fiz" $
    prop "QuickCheck test" $ modfiz
  describe "QuickCheck test fib" $
    prop "QuickCheck test fib" $ testfib
modfiz int
  | int <= 0                                 = True  -- code smell, should never generate number less than or equal to zero.
  | int == 3                                 = test3
  | int == 5                                 = test5
  | int `mod` 15 == 0                        = testMod35
  | int `mod` 3 == 0                         = testMod3
  | int `mod` 5 == 0                         = testMod5
  | isPrime int == True                      = testPrime
  | otherwise                                = testRest
      where
        test3     =
          Right "Buzz BuzzFizz"     == fizzbuzz 3
        test5     =
          Right "Fizz BuzzFizz"     == fizzbuzz 5
        testMod3  =
          Right "Buzz "             == fizzbuzz int
        testMod5  =
          Right "Fizz "             == fizzbuzz int
        testMod35 =
          Right "Buzz Fizz "        == fizzbuzz int
        testPrime =
          Right "BuzzFizz"          == fizzbuzz int
        testRest  =
          Right (show int)          == fizzbuzz int
testfib :: Integer -> Bool
testfib n =
  case (fibb n) of
    Left _ -> False
    Right n' -> isFib n'

CCD_ 2取一个CCD_。因此fibb 6将返回Right 8。Left值与此问题无关。

我注意到的是，答案建议应该编写一个newtype，包装一个[Int]并创建一个新的Arbitrary实例。然而，我也注意到答案是2012年的，QuickCheck 2有一个Args datatype，似乎可以做我需要的事情。那么，我可以创建一个新的Args来限制测试的范围吗？（只需要前1000个Fibonacci数字），还可以限制运行的测试数量吗？如果不是，以上链接的解决方案是我必须采取的方法吗？

这里的整个项目

Answer 1

虽然发现Bounded类型类对另一个项目很有用，但我同意Haskell Cafe¹邮件列表Int在newtype中的意见，因此决定以以下方式解决问题。

qcheck :: Spec
qcheck = do
  describe "QuickCheck testing fizbuzz"     $
    modifyMaxSuccess (const 1000)           $
    prop  "Lowerbound: 0 Upperbound: 10000" $
    forAll (choose (1, 10000)) modfiz
  describe "QuickCheck test fibonacci generator" $
    modifyMaxSuccess (const 1000)                $
    prop "Lowerbound: 0 Upperbound: 10000"       $
    forAll (choose (1, 10000)) testfib

¹https://groups.google.com/forum/#！主题/haskell咖啡馆/y81Q5fXil34