Testing properties with QuickCheck

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).

Transcript

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