A testing approach for hidden concurrencies based on process execution logs

Kristof Böhmer, Stefanie Rinderle-Ma

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

Abstract

It is crucial to ensure correct process model executions. However, existing process testing approaches struggle with the verification of concurrent resource access patters that can lead to concurrency faults, such as, deadlocks or data corruption during runtime. Thus, we provide a concurrency verification approach that exploits recorded executions to verify the most frequently occurring concurrent resource access patterns with low test execution time. A prototypical implementation along with real life and artificial process execution logs is utilized for an evaluation.

OriginalspracheEnglisch
TitelService-Oriented Computing - 14th International Conference, ICSOC 2016, Proceedings
Redakteure/-innenSamir Tata, Eleni Stroulia, Sami Bhiri, Quan Z. Sheng
Herausgeber (Verlag)Springer Verlag
Seiten577-585
Seitenumfang9
ISBN (Print)9783319462943
DOIs
PublikationsstatusVeröffentlicht - 2016
Extern publiziertJa
Veranstaltung14th International Conference on Service-Oriented Computing, ICSOC 2016 - Banff, Kanada
Dauer: 10 Okt. 201613 Okt. 2016

Publikationsreihe

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band9936 LNCS
ISSN (Print)0302-9743
ISSN (elektronisch)1611-3349

Konferenz

Konferenz14th International Conference on Service-Oriented Computing, ICSOC 2016
Land/GebietKanada
OrtBanff
Zeitraum10/10/1613/10/16

Fingerprint

Untersuchen Sie die Forschungsthemen von „A testing approach for hidden concurrencies based on process execution logs“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren