Article thumbnail

Finding race conditions in erlang with quickcheck and PULSE

By Koen Lindstr\uf6m Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts and Ulf Wiger

Abstract

We address the problem of testing and debugging concurrent, distributed,Erlang applications. In concurrent programs, race conditions,are a common class of bugs and are very hard to find in practice.,Traditional unit testing is normally unable to help finding all,race conditions, because their occurrence depends so much on timing.,Therefore, race conditions are often found during system testing,where due to the vast amount of code under test, it is often hard,to diagnose the error resulting from race conditions. We present,three tools (QuickCheck, PULSE, and a visualizer) that in combination,can be used to test and debug concurrent programs in unit,testing with a much better possibility of detecting race conditions.,We evaluate our method on an industrial concurrent case study and,illustrate how we find and analyze the race conditions

Topics: Computer and Information Science, Erlang, Race conditions, Quickcheck
Year: 2009
OAI identifier: oai:research.chalmers.se:253486
Provided by: Chalmers Research
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://research.chalmers.se/e... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.