ipdlogo Publikation 'Automatic Generation of Parallel Unit Tests'
Achtung: Es gibt eine neue Webseite des Lehrstuhls
dept-logo unilogo


Jochen Schimmel, Korbinian Molitorisz, Ali Jannesari, Walter F. Tichy, Automatic Generation of Parallel Unit Tests, 8th IEEE/ACM International Workshop on Automation of Software Test (AST 2013), May 2013.


Multithreaded software is subject to data races. Currently available data race detectors report such errors to the developer, but consume large amounts of time and memory; many approaches are not applicable for large software projects. Unit tests containing fractions of the program lead to better results. We propose AutoRT, an approach to automatically generate parallel unit tests as target for data race detectors. AutoRT uses the Single Static Multiple Dynamic (SSMD) analysis pattern to reduce complexity and can therefore be used efficiently even in large software projects. We evaluate AutoRT using Microsoft CHESS and show that with SSMD all 110 data races contained in our sample programs can be located.

[Erzeuge bibTeX Eintrag]



Institutsinterne Autoren

Prof. Tichy, Walter F.
Wissenschaftliche Mitarbeiter
Molitorisz, Korbinian
Schimmel, Jochen
Dr. Jannesari, Ali

  » IPD Tichy
  » JavaParty
  » JPlag
  » ClusterOS
  » Jamaica
  » Education Support Centre
  » CHIL
blank up