This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
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 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.

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

Attendees (34)