Skip to main content

Test-Driven Development of Concurrent Programs using Concuerror

Gotovos, Alkis and Christakis, Maria and Sagonas, Konstantinos (2011) Test-Driven Development of Concurrent Programs using Concuerror. In: Proceedings of the 10th ACM SIGPLAN workshop on Erlang. ACM, pp. 51-61. ISBN 978-1-4503-0859-5. (doi:10.1145/2034654.2034664)

PDF - Author's Accepted Manuscript
Download (373kB) Preview
[img]
Preview
Official URL
http://doi.org/10.1145/2034654.2034664

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.

Item Type: Book section
DOI/Identification number: 10.1145/2034654.2034664
Subjects: Q Science > QA Mathematics (inc Computing science)
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: M. Christaki
Date Deposited: 23 Nov 2016 14:33 UTC
Last Modified: 23 Sep 2019 08:55 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/58949 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year