Please use this identifier to cite or link to this item:
Title: Systematic Testing Of Concurrent Erlang Programs: Some Experiences
Authors: Τσιτσιμπής Ηλίας
Σαγώνας Κωστής
Keywords: erlang
software testing
model checking
test-driven development
Issue Date: 19-Dec-2013
Abstract: Concurrent programming has become increasingly widely used in the last decade. This can be explained by the increasing number of multiprocessor personal computers and the new trend of Cloud computing. Nevertheless, concurrent programming introduces a number of new errors not seen insequential programming and which traditional testing tools largely cannot easily detect.In this thesis we study Concuerror, a testing tool for concurrent Erlang programs, that aims to facilitate the task of detecting and eliminating concurrency-related errors. We also examine how Concuerror can be used in practice to test projects with thousands of lines of code, which may use many system libraries and implement complex communication protocols.
Appears in Collections:Διπλωματικές Εργασίες - Theses

Files in This Item:
File SizeFormat 
DT2013-0245.pdf472.78 kBAdobe PDFView/Open

Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.