12

我是 Haskell 的新手，我正在尝试构建一个正在测试的程序。我决定使用 HUnit 和 Cabal。

从我所看到的结构良好的项目来看，如下所示：

src/
  AppName/
  Appname.hs
testsuite/
  tests/
    AppName/
  TestRunner.hs
AppName.cabal
Setup.hs

对我来说神秘的部分是 TestRunner.hs 和 AppName.cabal。

在 testsuite/tests 目录和子目录下运行所有​​测试的 testrunner 会是什么样子？它如何与 Cabal 集成？

另外，如何将 hackage 依赖项放在 AppName.cabal 中并从命令行构建它们？

我很难找到一个完整的示例，从头开始构建一个包含测试和依赖项的应用程序。

谢谢

4

1 回答 1

18

.cabal这是我最近用于其中一个库的文件片段。

...
Library
  Build-depends:        base >= 4 && < 5, bytestring, directory, filepath, hslogger,
                        SHA, zlib
  Ghc-options:          -Wall
  Exposed-modules:      Ltc.Store

Test-suite reference
  Hs-Source-Dirs:       Test, .
  Main-Is:              ReferenceProps.hs
  Type:                 exitcode-stdio-1.0

  Build-Depends:        base >= 4 && < 5, bytestring, directory, filepath, hslogger,
                        SHA, zlib
  Ghc-Options:          -Wall

  Build-Depends:        test-framework, test-framework-hunit, test-framework-quickcheck2,
                        HUnit, QuickCheck

正如我们所见，cabal 文件定义了一个库和一个测试套件。该库定义了它导出的模块、它依赖的包，并设置了一些自定义 GHC 选项。

我们可以轻松地构建和打包库以进行分发：

% cabal configure
% cabal build
% cabal sdist

测试套件看起来很像库：首先，它与库具有相同的依赖项（参见第一Build-Depends行），然后添加了一些额外的测试依赖项（参见第二Build-Depends行）。这里的测试套件是 HUnit 和 QuickCheck 测试的组合，它使用Test-Framework作为运行器。正确的测试是Test/ReferenceProps.hs. 这是一个exitcode-stdio类型测试。这意味着如果以代码 0 退出，cabal 会说测试通过ReferenceProps。否则，它会说测试失败。

测试套件看起来像这样（但是，在这里，我们将使用一些简单的测试来进行列表反转）：

import Data.Monoid
import Test.Framework
import Test.Framework.Providers.HUnit
import Test.Framework.Providers.QuickCheck2
import Test.HUnit
import Test.QuickCheck

main :: IO ()
main = defaultMainWithOpts
       [ testCase "rev" testRev
       , testProperty "listRevRevId" propListRevRevId
       ] mempty

testRev :: Assertion
testRev = reverse [1, 2, 3] @?= [3, 2, 1]

propListRevRevId :: [Int] -> Property
propListRevRevId xs = not (null xs) ==> reverse (reverse xs) == xs

这main只是一个马具。您还可以test-framework通过替换来设置各种选项mempty。该函数testRev是一个HUnit测试，是一个QuickCheckpropListRevRevId测试；请参阅有关如何编写这些的相关 文档。

最后，我们可以运行测试：

% cabal configure --enable-tests
% cabal test
于 2012-11-25T09:54:51.947 回答