| Křena, B., Letko, Z., Vojnar, T.: Noise Injection Heuristics for Concurrency Testing, In: Lecture Notes in Computer Science, Vol. 2012, No. 7119, DE, p. 123-131, ISSN 0302-9743 | | Publication language: | english |
|---|
| Original title: | Noise Injection Heuristics for Concurrency Testing |
|---|
| Title (cs): | Heuristiky vkládání šumu pro testování vícevláknových programů |
|---|
| Pages: | 123-131 |
|---|
| Place: | DE |
|---|
| Year: | 2012 |
|---|
| Journal: | Lecture Notes in Computer Science, Vol. 2012, No. 7119, DE |
|---|
| ISSN: | 0302-9743 |
|---|
| Files: | |
|---|
|
| | Keywords |
|---|
| Java, concurrency, testing, coverage, noise injection |
| Annotation |
|---|
Testing of concurrent software is difficult due to the non-determinism present in scheduling of concurrent threads. Existing testing approaches tackle this problem either using a modified scheduler which allows to systematically explore possible scheduling alternatives or using random or heuristic noise injection which allows to observe different scheduling scenarios. In this paper, we experimentally compare several existing noise injection heuristics both from the point of view of coverage of possible behaviours as well as from the point of view of error discovery probability. Moreover, we also propose a new noise injection heuristics which uses concurrency coverage information to decide where to put noise and show that it can outperform the existing approaches in certain cases. |
| BibTeX: |
|---|
@ARTICLE{
author = {Bohuslav Křena and Zdeněk Letko and Tomáš Vojnar},
title = {Noise Injection Heuristics for Concurrency Testing},
pages = {123--131},
journal = {Lecture Notes in Computer Science},
volume = {2012},
number = {7119},
year = {2012},
ISSN = {0302-9743},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9725}
} |
|