Sökning: onr:"swepub:oai:research.chalmers.se:3576f06d-5f28-49b1-8f7d-d0b76a0d0dc1" >
Finding Race Condit...
Finding Race Conditions in Erlang with Quick Check and PULSE
-
- Lindström Claessen, Koen, 1975 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Palka, Michal, 1983 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Smallbone, Nicholas, 1986 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa fler...
-
- Hughes, John, 1958 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Svensson, Hans, 1979 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Arts, Thomas, 1969 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
Wiger, U. (författare)
-
visa färre...
-
(creator_code:org_t)
- ISBN 9781605583327
- 2009-08-31
- 2009
- Engelska.
-
Ingår i: ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming. - New York, NY, USA : ACM. - 9781605583327 ; , s. 149-160
- Relaterad länk:
-
http://publications.... (primary) (free)
-
visa fler...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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 (Quick Check, 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Race Conditions
- Quick Check
- Erlang
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas
- Av författaren/redakt...
-
Lindström Claess ...
-
Palka, Michal, 1 ...
-
Smallbone, Nicho ...
-
Hughes, John, 19 ...
-
Svensson, Hans, ...
-
Arts, Thomas, 19 ...
-
visa fler...
-
Wiger, U.
-
visa färre...
- Om ämnet
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
- Artiklar i publikationen
-
ICFP'09: Proceed ...
- Av lärosätet
-
Chalmers tekniska högskola