Use Quickcheck and HUnit for writing tests. You can then collect the tests into a nicely presentable executable using either HSpec of testframework.