Paper Info
Title
Test-driven development of concurrent programs using concuerror
Abstract
This paper advocates the test-driven development of concurrent Erlang programs in order to detect early and eliminate the vast majority of concurrency-related errors that may occur in their execution. To facilitate this task we have developed a tool, called Concuerror, that exhaustively explores process interleaving (possibly up to some preemption bound) and presents detailed interleaving information of any errors that occur. We describe in detail the use of Concuerror on a non-trivial concurrent Erlang program that we develop step by step in a test-driven fashion.
Year
DOI
Venue
2011
10.1145/2034654.2034664
Erlang Workshop
Keywords
Field
DocType
concurrent program,vast majority,test-driven development,process interleaving,non-trivial concurrent erlang program,concurrent erlang program,interleaving information,concurrency-related error,test-driven fashion,erlang,test driven development
Preemption,Programming language,Test-driven development,Computer science,Erlang (programming language),Interleaving,Distributed computing
Conference
Citations 
PageRank 
References 
11
0.70
6
Authors
3
Name
Order
Citations
PageRank
Alkis Gotovos1563.55
Maria Christakis220016.69
Konstantinos F. Sagonas381368.98