在 QuickCheck 属性测试中使用 IO？

Question

我目前正在编写一个 Haskell 库来替换闭源的第 3 方命令行应用程序。这个第 3 方 CLI 有一个我已经复制的规范，但实际上二进制允许比规范更宽松的输入。

我希望能够使用 QuickCheck 生成输入，然后将我的库中函数的结果与第 3 方 CLI 应用程序的标准输出进行比较。我遇到的问题是如何在属性测试中引入 IO。

这是我目前的代码：

{-# LANGUAGE OverloadedStrings #-}

import qualified Data.Text as T
import Test.Hspec
import Test.Hspec.QuickCheck
import Test.QuickCheck

-- This function lives in my library, this is just a sample
-- the actual function does things but is still pure, and has the type Text -> Int
exampleCountFuncInModule :: T.Text -> Int
exampleCountFuncInModule t = T.length t

-- contrived example generator
genSmallString :: Gen T.Text
genSmallString = do 
    smallList <- T.pack <$> resize 2 (listOf1 arbitraryASCIIChar)
    pure ("^" `T.append` smallList)

main :: IO ()
main = do
    hspec $ do
        prop "some property" $ do
            verbose $ forAll genSmallString $ \xs -> (not . T.null) xs ==> do
                let myCount = exampleCountFuncInModule xs
                -- Want to run external program here, and read the result as an Int
                let otherProgramCount = 2
                myCount == otherProgramCount

我发现 QuickCheck 有一个 ioProperty，这似乎是我想要的，我只是不确定如何将它融入我已有的东西中。

Answer 1

我想我明白了，我用过这个：

test :: Text -> IO Bool 
test t = do
    (exitCode, stdOut, stdErr) <- callCmd $ "bin/cliTool" :| [Text.unpack t]
    let cliCount = read stdOut :: Int
    let myCount = countOfThingsInString t
    return $ cliCount == myCount

然后在我的 hspec 测试中：

main :: IO ()
main = do
    hspec $ do
       describe "tests" $ do
            prop "test IO" $ do
                verbose $ forAll arbitrarySmallSpecifier (ioProperty . test)

在 QuickCheck 属性测试中使用 IO？

Using IO within a QuickCheck property test?

io

haskell

quickcheck

hspec

在 QuickCheck 属性 测试中使用 IO？

Using IO within a QuickCheck property test?

io

haskell

quickcheck

hspec

在 QuickCheck 属性测试中使用 IO？