Personal tools

Blog articles/Testing

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(Added a link to "Code testing in Haskell"; updated the link for "QuickChecking a window manager")
(Other)
 
(2 intermediate revisions by one user not shown)
Line 35: Line 35:
 
=== Other ===
 
=== Other ===
   
  +
* [https://github.com/kazu-yamamoto/unit-test-example/blob/master/markdown/en/tutorial.md Up-front Unit Testing in Haskell] - an article about unit testing in Haskell using [https://github.com/sol/doctest-haskell#readme Doctest], [http://hspec.github.io/ Hspec] and [http://www.haskell.org/cabal/ Cabal]
 
* [http://ics.p.lodz.pl/~stolarek/blog/2012/10/code-testing-in-haskell/ Code testing in Haskell]
 
* [http://ics.p.lodz.pl/~stolarek/blog/2012/10/code-testing-in-haskell/ Code testing in Haskell]
 
   
 
== Proofs ==
 
== Proofs ==
Line 68: Line 68:
   
 
* [http://haskell.org/haskellwiki/Research_papers/Testing_and_correctness Research papers on testing, proofs and correctness]
 
* [http://haskell.org/haskellwiki/Research_papers/Testing_and_correctness Research papers on testing, proofs and correctness]
  +
  +
  +
[[Category:Tutorials]]

Latest revision as of 18:49, 20 May 2013

Contents

[edit] 1 Type system enforcement


[edit] 2 Testing, correctness and proofs

[edit] 2.1 QuickCheck


[edit] 2.2 HUnit


[edit] 2.3 Catch


[edit] 2.4 Other

[edit] 3 Proofs

[edit] 3.1 GADTs


[edit] 3.2 Coq


[edit] 3.3 Isabelle


[edit] 3.4 Related work


[edit] 4 Further reading