Back To Schedule
Saturday, February 7 • 09:50 - 10:30
The Best Test Data is Random Test Data (introduction to property based testing)

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

An introduction to property-based testing, explaining its purpose and benefits, and demonstrating its use.

Testing accounts for a large portion of the cost of software development. Tools to automate testing allow for more thorough testing in less time. Property-based testing provides ways to
define expected properties of functions under test and mechanisms to automatically check whether those properties hold in a large number of cases - or whether a property can be falsified.

Concepts will be demonstrated primarily in Haskell, using the QuickCheck library. Property-based testing is available in most languages, so options for Python and Java will also be examined. The talk will conclude with a discussion of the limitations of
property-based testing, and alternative approaches.

Project URL: http://www.cse.chalmers.se/~rjmh/QuickCheck/

avatar for Fraser Tweedale

Fraser Tweedale

Software Developer, Red Hat
Fraser is a developer at Red Hat in Brisbane, Australia where he works on the FreeIPA identity management suite and Dogtag Certificate System. He is passionate about security and privacy and spends his evening exploring functional programming, theorem proving and category theory... Read More →

Saturday February 7, 2015 09:50 - 10:30 CET

Attendees (1)