Home | english  | Impressum | Sitemap | KIT

Automatic Generation of Parallel Unit Tests

Automatic Generation of Parallel Unit Tests
Tagung:

Konferenzartikel 

Jahr:

2013 

Autoren:

Jochen Schimmel
Korbinian Molitorisz
Ali Jannesari
Walter F. Tichy

Links:PDF

Summary

Multithreaded software is subject to data races.Currently available data race detectors report such errors to thedeveloper, but consume large amounts of time and memory manyapproaches are not applicable for large software projects. Unittests containing fractions of the program lead to better results.We propose AutoRT, an approach to automatically generateparallel unit tests as target for data race detectors. AutoRT uses the Single Static Multiple Dynamic (SSMD) analysis pattern toreduce complexity and can therefore be used efficiently even inlarge software projects. We evaluate AutoRT using MicrosoftCHESS and show that with SSMD all 110 data races containedin our sample programs can be located.

Beteiligte Mitarbeiter (zufällige Reihenfolge)
Titel Vorname Nachname

Projekte
Titel


Bibtex

@inproceedings{,
author={Jochen Schimmel, Korbinian Molitorisz, Ali Jannesari, Walter F. Tichy},
title={Automatic Generation of Parallel Unit Tests},
year=2013,
month=May,
booktitle={8th IEEE/ACM International Workshop on Automation of Software Test (AST 2013)},
publisher={IEEE},
url={https://ps.ipd.kit.edu/downloads/},
abstract={Multithreaded software is subject to data races.Currently available data race detectors report such errors to thedeveloper, but consume large amounts of time and memory manyapproaches are not applicable for large software projects. Unittests containing fractions of the program lead to better results.We propose AutoRT, an approach to automatically generateparallel unit tests as target for data race detectors. AutoRT usesthe Single Static Multiple Dynamic (SSMD) analysis pattern toreduce complexity and can therefore be used efficiently even inlarge software projects. We evaluate AutoRT using MicrosoftCHESS and show that with SSMD all 110 data races containedin our sample programs can be located.},
pages={40-46},