Difference between revisions of "Blog articles/Testing"
Jump to navigation
Jump to search
DonStewart (talk | contribs) |
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] |
* [http://abstractabsurd.blogspot.com/2007/02/sussman-robustness-quickcheck.html Robustness and QuickCheck] |
||
+ | |||
+ | ===HUnit === |
||
+ | |||
⚫ | |||
+ | * [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
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