A Testing Approach for Hidden Concurrencies based on Process Execution Logs

A Testing Approach for Hidden Concurrencies based on Process Execution Logs

Abstract

It is crucial to ensure correct process model executions. However, existing process testing approaches struggle with the verification of concurrent resource access patterns 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.

Grafik Top
Authors
  • Böhmer, Kristof
  • Rinderle-Ma, Stefanie
Grafik Top
Projects
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings (Short Paper in Proceedings)
Event Title
14th International Conference On Service Oriented Computing 2016
Divisions
Workflow Systems and Technology
Event Location
Banff, Canada
Event Type
Conference
Event Dates
October 10 - 13 2016
Date
October 2016
Export
Grafik Top