QuickCheck: Test case generation

We will have an interactive session in which you can learn QuickCheck.

QuickCheck is a tool that generates tests from properties. Thus, no need to write test cases any more, they are generated automatically. But… you need to say what properties your program has.

Lead by a number of examples, you get the change to explore the tool and to get a feeling for what it does.

QuickCheck is available for most languages, but we concentrate on the free version of Quviq; QuickCheck Mini. This is an Erlang version and uses Erlang (R16) as test target language.

http://www.quviq.com/wp-content/uploads/2014/08/eqcmini.zip

Bring your laptop and learn how testing can be fun!

About Speaker:

Thomas was a researcher at Ericsson in the nineties, working on the development of Erlang. He became professor at Chalmers University and co-founder of Quviq. In his academic career his research focussed on the application of state-of-the-art research results in an industrial setting. Thomas has over 65 scientific publications in a variety of conferences and journals. As the CTO of Quviq, Thomas continues to explore cool technical solutions for innovative products.

Special thanks go to Pavlo Baron, an author of many books on Programming-related subjects, including a book on Erlang you can get on Amazon: http://www.amazon.de/Erlang-OTP-Pavlo-Baron/dp/3941841459