Quick Check for Erlang Developers
Target Audience: Software Developers
Prerequisites: Participants should be familiar with Erlang and use it frequently.
Objectives:
• Use the important features of QuickCheck
• Build-up to a realistic example of building a banking server
Goal: Understand QuickCheck and be able to use it with Erlang.
Duration: Three days.
Registration: 08:30 on 27th April 2009 at the Sheraton Palo Alto.
Description:This course is intensive, modular and hands-on, with each module made-up of lectures and practical exercises. Since QuickCheck builds on Erlang, we take advantage of participants' prior knowledge to introduce QuickCheck more quickly.
Course Contents:
This
Quick Check course spans two-and-a-half days, during which participants will
use all the important features of QuickCheck, building up to a realistic
example of testing a banking server. This course is intensive, modular and
hands-on, with each module made up of lectures and practical exercises. Since
QuickCheck builds on Erlang, we take advantage of participants' prior knowledge
to introduce QuickCheck more quickly.
Needless to say, participants should be familiar with Erlang, and use it frequently.
Teacher(s):
Thomas Arts
Dr. Thomas Arts is the co-founder and CTO of Quviq, a small company
that produced Quick Check, as testing tool for Erlang. Thomas has over
30 publications in various industry journals and has experience
refereeing conferences and workshops. He has successfully introduced
some new technologies to the industry, the latest being QuickCheck, a
tool for property based testing and aims to support test driven
development. Thomas is also an associate professor at the IT University
of Göteborg in the area of Software Engineering and Management. He
holds a PhD in computer science and after his PhD has been employed at
the Ericsson Computer Science Lab (Where they invented Erlang), where
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.
John Hughes
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