Test-Driven Development of Concurrent Programs using Concuerror

被引：0

作者：

Gotovos, Alkis ^{[1
]}

Christakis, Maria ^{[1
]}

Sagonas, Konstantinos ^{[1
]}

机构：

[1] Natl Tech Univ Athens, Sch Elect & Comp Engn, GR-10682 Athens, Greece

来源：

ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP | 2011年

关键词：

test-driven development; Erlang;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：51 / 61

页数：11

共 8 条

[1]

Arts T., 2006, P 2006 ACM SIGPLAN W, P2, DOI DOI 10.1145/1159789.1159792

[2]

Beck K., 2003, Test Driven Development: By Example

[3]

Carlson R., 2006, International Conference on Renewable Energies and Power Quality, V1, P1, DOI 10.1145/1159789.1159791

[4]

Claessen Koen, 2009, P 14 ACM SIGPLAN INT, P149

[5]

EARLE CB, 2009, P 8 ACM SIGPLAN WORK, P93

[6]

Fredlund Lars-Ake., 2007, Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP '07, P125

[7] Iterative Context Bounding for Systematic Testing of Multithreaded Programs [J].

Musuvathi, Madan ;

Qadeer, Shaz .

PLDI'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2007, :446-455

[8]

NAGY T, 2008, P 7 ACM SIGPLAN WORK, P21

← 1 →