On Detecting Concurrency Defects Automatically at the Design Level

Publikationstyp
Konferenz
Autor(en)
Padberg, F. and Carril, L.M. and Denninger, O. and Blersch, M.
Jahr
2013
Ausgabe
1
Seiten
263-271
Monat
Dec
Buchtitel
Software Engineering Conference (APSEC, 2013 20th Asia-Pacific
Abstract
We describe an automated approach for detecting concurrency defects from design diagrams of a software, in particular, sequence diagrams. From a given sequence diagram, we automatically infer a formal, parallel specification that generalizes the communication behavior that is designed informally and incompletely in the diagram. We model-check the parallel specification against generic concurrency defect patterns. No additional specification of the software is needed. We present several case-studies to evaluate our approach. The results show that our approach is technically feasible, and effective in detecting nasty concurrency defects at the design level.
DOI
10.1109/APSEC.2013.44
Forschungsfelder
Software- und Architekturanalyse, Mobile- und Multi-Plattformentwicklung
Projekt
QualiCore – Softwarequalität von Multicore-Anwendungen
Download .bib
Download .bib
Eingetragen von
Oliver Denninger