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