Lightning overview of testing properties of your programs with QuickCheck. Cover the very basics but introduce how these ideas can be applied to concurrent, distributed applications (aka web apps).

1. TESTING PROPERTIES
WITH QUICKCHECK
@steshaw

2. “CHOOSE YOUR OWN
ADVENTURE”
Lightning talk, Brisbane Software Testers

3. QUICK OVERVIEW
Test properties of your programs.
Randomised test inputs.
 Demo (basics)

4. APPEAL TO AUTHORITY
—
(2013)
Better than unit tests Michael Nygard

5. TESTING UI
Choose your own adventure.
randomised user actions.
 Demo (arbitrary)

6. TESTING CONCURRENT
SYSTEMS
… or …
Concurrent
Testing
Systems
:P

7. CONCURRENT
SYSTEMS (2)
Google to find reports and talks.
Distributed Systems are Concurrency Systems that span
multiple nodes.
i.e. these ideas apply to Distributed Systems.
i.e. web
“Erlang QuviQ”

8. REFERENCES
(PDF)
and
—Chapter 11 of
Original QuickCheck paper from 2000—Claessen and
Hughes
QuickCheck homepage manual
Testing and quality assurance Real World
Haskell
Introduction to QuickCheck on Haskell Wiki
https://github.com/steshaw/quickcheck-examples

9. REFERENCES (2)
TESTING CONCURRENT SYSTEMS
(PDF)
(PDF)
Erlang QuickCheck
Testing Erlang Concurrency with QuickCheck
Finding Race Conditions in Erlang with QuickCheck and
PULSE

10. REFERENCES (3)
TESTING DISTRIBUTED SYSTEMS
(PDF)
(Video), Jon Meredith, Basho.
Testing Telecoms Software with Quviq QuickCheck
Modeling eventually consistent databases with
QuickCheck

11. SEE ALSO
for exhaustive checking of your properties
(rather than QuickCheck style random samples)
SmallCheck
Comparison of QuickCheck and SmallCheck