Subscribe to our Erlang Factory newsletter to receive the latest updates and news

John Hughes
Inventor of QuickCheck and Erlanger of the year
QuviQ AB

John Hughes is co-founder and CEO of Quviq AB, and the originator of Quviq QuickCheck. From 2002-2005 he led a major research project in software verification, funded by the Swedish Strategic Research Foundation. This led to the development of Quviq QuickCheck in Erlang. Before John's involvement with Erlang, he was deeply involved with the design of Haskell from the start, and co-chaired the committee that defined the current language standard. At the Erlang eXchange, John will talk about Quick Check for Erlang.

John Hughes is Giving the Following Talks
Tutorial - Property based testing of Grammars

Some software is specified as grammars, e.g. protocol message formats in several RFCs, like the RFC for URLs. One can either generate a parser for these grammars automatically, for example with yecc, or one can write such a parser by hand. The latter is done when the automatic generated parser is not efficient enoughfor handling many messages per second.

Given that you have a formal specification, i.e., the grammar, one could use QuickCheck very easily to test both the parser as well as the software that uses the by the parser generated syntax trees. In this 90 minute tutorial we show how one achieves this with using QuickCheck. It's pretty much push-button technology, but the tutorial shows which buttons to push and what to watch outfor.