Personal tools

Blog articles/Testing

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(Testing, correctness and proofs)
(hunit blog)
Line 3: Line 3:
   
 
== Testing, correctness and proofs ==
 
== Testing, correctness and proofs ==
  +
  +
===QuickCheck ===
   
 
* [http://haskell.org/haskellwiki/Introduction_to_QuickCheck Introduction to QuickCheck]
 
* [http://haskell.org/haskellwiki/Introduction_to_QuickCheck Introduction to QuickCheck]
 
* [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://blogs.teamb.com/craigstuntz/archive/2006/12/08/UnitTestingAndTypeSafety.aspx On Unit Testing and Type Safety]
 
 
* [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]
  +
  +
===HUnit ===
  +
  +
* [http://blogs.teamb.com/craigstuntz/archive/2006/12/08/UnitTestingAndTypeSafety.aspx On Unit Testing and Type Safety]
  +
* [http://leiffrenzel.de/papers/getting-started-with-hunit.html Getting started with HUnit]
  +
  +
===Catch===
 
* [http://neilmitchell.blogspot.com/2007/05/does-xmonad-crash.html Does XMonad crash? On proving pattern coverage with Catch]
 
* [http://neilmitchell.blogspot.com/2007/05/does-xmonad-crash.html Does XMonad crash? On proving pattern coverage with Catch]
 
* [http://neilmitchell.blogspot.com/2007/05/preconditions-on-xmonad.html Preconditions on XMonad]
 
* [http://neilmitchell.blogspot.com/2007/05/preconditions-on-xmonad.html Preconditions on XMonad]

Revision as of 01:57, 16 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