Difference between revisions of "Blog articles/Testing"
From HaskellWiki
DonStewart (talk | contribs) (→Testing, correctness and proofs) |
DonStewart (talk | contribs) (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://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://blogs.teamb.com/craigstuntz/archive/2006/12/08/UnitTestingAndTypeSafety.aspx On Unit Testing and Type Safety] | ||
| − | * [http:// | + | * [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
Type checking for correctness
Testing, correctness and proofs
QuickCheck
HUnit
Catch
- Does XMonad crash? On proving pattern coverage with Catch
- Preconditions on XMonad
- Equational Reasoning in Haskell