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

Thomas Arts
Professor and co-founder of QuviQ QuviQ AB
QuviQ AB

Dr. Thomas Arts is the co-founder and CTO of Quviq, a small company that produced QuickCheck, as testing tool for Erlang. He has successfully introduced some new technologies in industry, the latest being QuickCheck, a tool for property based testing and aims to support test driven development. Thomas is also an professor at Chalmers University of Technology (Gothenburg) in the area of Software Engineering. He holds a PhD in computer science and after his PhD has been employed at the Ericsson Computer Science Lab (Where they invented Erlang). He worked on program verification and the development of the Erlang programming language. He has also worked in the broad spectrum theoretical computer science, formal methods and industrial case-study research, mainly applying all kind of techniques to systems written in Erlang.

Thomas Arts 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.