Jannesari, Ali ; Wolf, Felix (2015)
Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs.
In: International Journal of Parallel Programming (IJPP), 44 (3)
doi: 10.1007/s10766-015-0363-8
Artikel, Bibliographie
Kurzbeschreibung (Abstract)
A notorious class of concurrency bugs are race condition related to correlated variables, which make up about 30 % of all non-deadlock concurrency bugs. A solution to prevent this problem is the automatic generation of parallel unit tests. This paper presents an approach to generate parallel unit tests for variable correlations in multithreaded code. We introduce a hybrid approach for identifying correlated variables. Furthermore, we estimate the number of potentially violated correlations for methods executed in parallel. In this way, we are capable of creating unit tests that are suited for race detectors considering correlated variables. We were able to identify more than 85 % of all race conditions on correlated variables in eight applications after applying our parallel unit tests. At the same time, we reduced the number of unnecessary generated unit tests. In comparison to a test generator unaware of variable correlations, redundant unit tests are reduced by up to 50 %, while maintaining the same precision and accuracy in terms of the number of detected races.
| Typ des Eintrags: | Artikel |
|---|---|
| Erschienen: | 2015 |
| Autor(en): | Jannesari, Ali ; Wolf, Felix |
| Art des Eintrags: | Bibliographie |
| Titel: | Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs |
| Sprache: | Englisch |
| Publikationsjahr: | 17 März 2015 |
| Verlag: | Springer |
| Titel der Zeitschrift, Zeitung oder Schriftenreihe: | International Journal of Parallel Programming (IJPP) |
| Jahrgang/Volume einer Zeitschrift: | 44 |
| (Heft-)Nummer: | 3 |
| DOI: | 10.1007/s10766-015-0363-8 |
| URL / URN: | https://link.springer.com/article/10.1007/s10766-015-0363-8 |
| Kurzbeschreibung (Abstract): | A notorious class of concurrency bugs are race condition related to correlated variables, which make up about 30 % of all non-deadlock concurrency bugs. A solution to prevent this problem is the automatic generation of parallel unit tests. This paper presents an approach to generate parallel unit tests for variable correlations in multithreaded code. We introduce a hybrid approach for identifying correlated variables. Furthermore, we estimate the number of potentially violated correlations for methods executed in parallel. In this way, we are capable of creating unit tests that are suited for race detectors considering correlated variables. We were able to identify more than 85 % of all race conditions on correlated variables in eight applications after applying our parallel unit tests. At the same time, we reduced the number of unnecessary generated unit tests. In comparison to a test generator unaware of variable correlations, redundant unit tests are reduced by up to 50 %, while maintaining the same precision and accuracy in terms of the number of detected races. |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Parallele Programmierung |
| Hinterlegungsdatum: | 20 Apr 2018 12:22 |
| Letzte Änderung: | 14 Mai 2024 12:56 |
| PPN: | 518262685 |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum