Jonas Boberg will he presenting his thesis at the next Erlang London
User Group Meeting. This is also a sneak preview of his paper which has
been accepted at the 2008 ACM SIGPLAN workshop in Victoria, Canada. He
has studied the use of Quick Check and Model Based testing in the before
and after scenario of two similar Erlang related projects, with
interesting results. With Summer Vacations and busy schedules, the
presentation will be on Wednesday August 13th. It will start at 18.30
in Erlang Training and Consulting's London offices.

Abstract: Current and future trends for software include increasingly
complex requirements on interaction between systems. As a result, the
difficulty of system testing increases. Model based testing is a test
technique where test cases are generated
from a model of the system. In this study we explore model-based testing
on the system-level, starting from early development. We apply
model-based testing to a sub-system of a message gateway product in
order to improve early fault detection. The results are compared to
another sub-system that is tested with hand-crafted test cases.

Based on our experiences, we present a set of challenges and
recommendations for system-level, model-based testing. Early results
indicate that model-based testing, starting from early development,
significantly increases the number of faults detected during system testing.

Biography: Jonas Boberg has a Bachaleor's degree from the IT University
of Gothenburg, Sweden. He is passionate about model based testing and
test driven development, having worked with it throughout his studies
and internships. He works as a Quick Check consultant for Erlang
Training and Consulting.

This event is free, but to attend, you have to register following the
link on our Events Page
http://www.erlang-consulting.com/erlang/events.html#60

See you there!
Francesco
--
http://www.erlang-consulting.com