2

我有一个类似于这个问题Controlling how test data is generated in QuickCheck的问题。下面我将阐述我的具体情况、我正在使用的代码以及我遇到的特定问题。

我编写了一个使用斐波那契数列作为输入的 fizz-buzz 程序。我想测试两件事。(1) 我的程序是否在给定满足特定条件的 Int 的情况下发出正确的字符串。(2) 我的斐波那契生成器是否生成斐波那契数？

我遇到的问题类似于上面的链接。s的范围Int太大。我如何限制我的测试说前 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'

fibb取 anInt并找到第 n 个斐波那契。所以fibb 6会回来Right 8。该Left值与此问题无关。

我注意到的是答案建议人们应该编写 a newtype，包装 a[Int]并创建一个新Arbitrary实例。但是，我也注意到答案来自 2012 年，并且QuickCheck 2似乎Args datatype能够满足我的需求。那么，我可以创建一个新Args的来限制测试的范围（只需要前 1000 个斐波那契数），并且还可以限制运行的测试数量吗？如果不是，上述链接中的解决方案是我必须采取的方法吗？

整个项目在这里

4

1 回答 1

1

虽然发现Boundedtypeclass 对另一个项目很有用，但我同意 Haskell Cafe 1邮件列表中的意见 Int in anewtype是严厉的，因此决定通过以下方式解决问题。

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

1 https://groups.google.com/forum/#!topic/haskell-cafe/y81Q5fXil34

于 2016-05-04T05:21:52.993 回答