Haskell Cabal QuickCheck集成

Question

我一直在尝试使用cabal-install作为一种构建haskell项目的方法，更重要的是，测试我的haskell项目，这有点类似于在Java项目中使用Maven的方式，主要是因为它似乎也是集成到Jenkins或ci中的一种很好的方法，而且在某种意义上它似乎非常可靠，因为您不需要开发环境等设置来检查和确认代码是否正在编译和正确。

不管怎样，我使用QuickCheck和HUnit来完成这项工作。在另一篇关于堆栈交换的here文章中，我发现了一种集成HUnit和cabal的好方法，即使用Distribution.TestSuite.HUnit中的函数测试在我的测试模块中创建一个公开的测试数组。很管用。

我试着用quickcheck做同样的设置，

    import qualified Distribution.TestSuite.QuickCheck2 as CabalQuickCheck

    alwaysFalseOneArg::Int->(Int,Int)
    alwaysFalseOneArg x = (x,x)

    quickCheckPropOneArg = \s->let (a,b)=alwaysFalseOneArg s  in a==b && a/=b

    cabalQCTest = CabalQuickCheck.test "test" quickCheckPropOneArg

    tests=cabalQCTest:[]

我希望看到这个测试失败。

我的cabal文件与HUnit设置一起工作，HUnit测试运行，失败或没有失败，因为他们应该。但是，如果我使用相同的设置来执行quickcheck测试，cabal告诉我它确实找到了测试套件，但其中没有测试。我也尝试了Distribution.TestSuite.QuickCheck2的site上提到的方法，但他们似乎没有提到如何公开测试，我似乎也没有设法运行它。我现在有点不知所措，我可以使用quickcheck本身运行这些quickcheck测试，但不能使用cabal，我希望能够快速验证我所有的测试和代码，并在Jenkins中使用它。有谁有主意吗？

我试着给出所有我认为是必要的信息，而不是过于复杂的东西，所以我没有张贴完整的阴谋文件等等，如果有必要，我当然会这样做。我发现了很多类似的帖子，但大多数都归结为使用其他东西，而不是详细0.9，这将是遗憾的，因为它似乎与HUnit作为设置相当好地工作，当然，我希望以相同的方式使用HUnit和QuickCheck，最好是公开一个包含HUnit和QuickCheck测试的测试数组。

卡斯珀

Answer 1

我同意isturdy的观点:我肯定会尝试test-framework + test-framework-quickcheck2。查看如何在项目中一起使用它们的this example。请注意名为prop_*的属性。

您还可以查看项目haskell-minecraft-tool以查看测试输出是什么样子。用来运行测试

cabal configure --enable-tests && cabal build && cabal test

请查看此处的.cabal文件，以了解需要哪些包。也就是说，这些是test-framework，test-framework-quickcheck2，QuickCheck。