Personal tools

Blog articles/Testing

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(hunit blog)
(QuickCheck)
Line 9: Line 9:
 
* [http://cgi.cse.unsw.edu.au/~dons/blog/2007/05/01#xmonad_part1_model QuickChecking a window manager]
 
* [http://cgi.cse.unsw.edu.au/~dons/blog/2007/05/01#xmonad_part1_model QuickChecking a window manager]
 
* [http://abstractabsurd.blogspot.com/2007/02/sussman-robustness-quickcheck.html Robustness and QuickCheck]
 
* [http://abstractabsurd.blogspot.com/2007/02/sussman-robustness-quickcheck.html Robustness and QuickCheck]
  +
* [http://lstephen.wordpress.com/2007/07/29/parsec-parser-testing-with-quickcheck/ Parsec Parser Testing with QuickCheck]
   
 
===HUnit ===
 
===HUnit ===

Revision as of 05:58, 30 July 2007

Contents

1 Type checking for correctness

2 Testing, correctness and proofs

2.1 QuickCheck

2.2 HUnit

2.3 Catch

3 Further reading