Testing – Haskell – Aelve Guide

TestingCommon needseditdelete

write something here!

edit description

or press Ctrl+Enter to save

markdown supported

#

QuickCheck (Hackage)

other

edit item info

delete item

Summary

edit summary

Property-based random testing.

Write high-level properties that can be tested by generating many random inputs to search counterexamples. Counterexamples are then shrunk to a minimal example to help pinpoint the source of the error.

Summary

quit editing summary

Pros

edit pros

quit editing pros

Some properties are natural to understand, such as type class laws.
Automated test case generation helps with better coverage.
Shrinking makes failures easy to reproduce and debug.

press Ctrl+Enter or Enter to add

markdown supported

Cons

edit cons

quit editing cons

Properties and test case generators can become arbitrarily complex, ultimately hiding bugs.

press Ctrl+Enter or Enter to add

markdown supported

Ecosystem

edit ecosystem

Random generators can often be derived generically: generic-random.
To test stateful programs, QuickCheck has a module Test.QuickCheck.Monadic. There is also quickcheck-state-machine.
When QuickCheck tests fail, they only print the counterexample. To extract counterexamples in code, you can use an alternative interface in quickcheck-with-counterexamples.
Orphan instances: quickcheck-instances.

Ecosystem

quit editing ecosystem

or press Ctrl+Enter to save

markdown supported

<notes are empty>

collapse notesedit notes

<notes are empty>

add something!

#

Hedgehog (Hackage)

other

edit item info

delete item

Summary

edit summary

Property-based random testing.

Summary

quit editing summary

Pros

edit pros

quit editing pros

Generators also specify shrinking, so they guarantee the same invariants by construction.
A rich set of generator combinators

press Ctrl+Enter or Enter to add

markdown supported

Cons

edit cons

quit editing cons

press Ctrl+Enter or Enter to add

markdown supported

Ecosystem

edit ecosystem

Ecosystem

quit editing ecosystem

or press Ctrl+Enter to save

markdown supported

<notes are empty>

collapse notesedit notes

<notes are empty>

add something!

#

HUnit (Hackage)

other

edit item info

delete item

Summary

edit summary

write something here!

Summary

quit editing summary

Pros

edit pros

quit editing pros

press Ctrl+Enter or Enter to add

markdown supported

Cons

edit cons

quit editing cons

press Ctrl+Enter or Enter to add

markdown supported

Ecosystem

edit ecosystem

Ecosystem

quit editing ecosystem

or press Ctrl+Enter to save

markdown supported

<notes are empty>

collapse notesedit notes

<notes are empty>

add something!

#

tasty (Hackage)

other

edit item info

delete item

Summary

edit summary

write something here!

Summary

quit editing summary

Pros

edit pros

quit editing pros

press Ctrl+Enter or Enter to add

markdown supported

Cons

edit cons

quit editing cons

press Ctrl+Enter or Enter to add

markdown supported

Ecosystem

edit ecosystem

Ecosystem

quit editing ecosystem

or press Ctrl+Enter to save

markdown supported

<notes are empty>

collapse notesedit notes

<notes are empty>

add something!

#

Hspec (Hackage)

other

edit item info

delete item

Summary

edit summary

write something here!

Summary

quit editing summary

Pros

edit pros

quit editing pros

press Ctrl+Enter or Enter to add

markdown supported

Cons

edit cons

quit editing cons

press Ctrl+Enter or Enter to add

markdown supported

Ecosystem

edit ecosystem

Ecosystem

quit editing ecosystem

or press Ctrl+Enter to save

markdown supported

<notes are empty>

collapse notesedit notes

<notes are empty>

add something!

#

test-framework (Hackage)

other

edit item info

delete item

Summary

edit summary

write something here!

Summary

quit editing summary

Pros

edit pros

quit editing pros

press Ctrl+Enter or Enter to add

markdown supported

Cons

edit cons

quit editing cons

press Ctrl+Enter or Enter to add

markdown supported

Ecosystem

edit ecosystem

Ecosystem

quit editing ecosystem

or press Ctrl+Enter to save

markdown supported

<notes are empty>

collapse notesedit notes

<notes are empty>

add something!

#

webdriver (Hackage)

other

edit item info

delete item

Summary

edit summary

write something here!

Summary

quit editing summary

Pros

edit pros

quit editing pros

press Ctrl+Enter or Enter to add

markdown supported

Cons

edit cons

quit editing cons

press Ctrl+Enter or Enter to add

markdown supported

Ecosystem

edit ecosystem

Ecosystem

quit editing ecosystem

or press Ctrl+Enter to save

markdown supported

<notes are empty>

collapse notesedit notes

<notes are empty>

add something!

#

leancheck (Hackage)

other

edit item info

delete item

Summary

edit summary

Property-based enumerative testing.

LeanCheck FAQ

Summary

quit editing summary

Pros

edit pros

quit editing pros

press Ctrl+Enter or Enter to add

markdown supported

Cons

edit cons

quit editing cons

press Ctrl+Enter or Enter to add

markdown supported

Ecosystem

edit ecosystem

Ecosystem

quit editing ecosystem

or press Ctrl+Enter to save

markdown supported

<notes are empty>

collapse notesedit notes

<notes are empty>

add something!

#

smallcheck (Hackage)

other

edit item info

delete item

Summary

edit summary

Property-based enumerative testing.

Enumerates values by increasing depth.

Summary

quit editing summary

Pros

edit pros

quit editing pros

Increasing depth is perhaps the simplest enumeration strategy.
Deterministic for a fixed number of test cases.

press Ctrl+Enter or Enter to add

markdown supported

Cons

edit cons

quit editing cons

press Ctrl+Enter or Enter to add

markdown supported

Ecosystem

edit ecosystem

Ecosystem

quit editing ecosystem

or press Ctrl+Enter to save

markdown supported

<notes are empty>

collapse notesedit notes

<notes are empty>

add something!

#

testing-feat (Hackage)

other

edit item info

delete item

Summary

edit summary

Enumerates values by size.

Summary

quit editing summary

Pros

edit pros

quit editing pros

Increasing size generally makes the search space grow smaller than increasing depth, with greater variability of generated inputs.

press Ctrl+Enter or Enter to add

markdown supported

Cons

edit cons

quit editing cons

press Ctrl+Enter or Enter to add

markdown supported

Ecosystem

edit ecosystem

Ecosystem

quit editing ecosystem

or press Ctrl+Enter to save

markdown supported

<notes are empty>

collapse notesedit notes

<notes are empty>

add something!

#

dejafu (Hackage)

other

edit item info

delete item

Summary

edit summary

write something here!

Summary

quit editing summary

Pros

edit pros

quit editing pros

press Ctrl+Enter or Enter to add

markdown supported

Cons

edit cons

quit editing cons

press Ctrl+Enter or Enter to add

markdown supported

Ecosystem

edit ecosystem

Ecosystem

quit editing ecosystem

or press Ctrl+Enter to save

markdown supported

<notes are empty>

collapse notesedit notes

<notes are empty>

add something!