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's University Home Page
- Publications
- QuviQ
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.
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.