Blog articles/Testing

From HaskellWiki

Contents 1 Type checking for correctness 2 Testing, correctness and proofs 2.1 QuickCheck 2.2 HUnit 2.3 Catch 3 Further reading

1 Type checking for correctness

• Can your type checking system do this?

2 Testing, correctness and proofs

2.1 QuickCheck

• Introduction to QuickCheck
• QuickChecking a window manager
• Robustness and QuickCheck

2.2 HUnit

• On Unit Testing and Type Safety
• Getting started with HUnit

2.3 Catch

• Does XMonad crash? On proving pattern coverage with Catch
• Preconditions on XMonad
• Equational Reasoning in Haskell

3 Further reading

• Research papers on testing, proofs and correctness