Write a Blog >>
GPCE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Tue 1 Nov 2016 15:40 - 16:10 at Zürich 1 - Testing and Verification Chair(s): Bernd Fischer

Regression testing is a form of software quality assurance (QA) that involves comparing the behavior of a newer version of a software artifact to its earlier correct behavior, and signaling the QA engineer when deviations are detected. Given the large potential in automated generation and execution of regression test cases for business process models in the context of running systems, powerful tools are required to make this practically feasible, more specifically to limit the potential impact on production systems, and to reduce the manual effort required from QA engineers. In this paper, we present a regression testing automation framework that implements the capture & replay paradigm in the context of BPMN 2.0, a domain-specific language for modeling and executing business processes. The framework employs parallelization techniques and efficient communication patterns to reduce the performance overhead of capturing. Based on inputs from the QA engineer, it manipulates the BPMN2 model before executing tests for isolating the latter from external dependencies (e.g. human actors or expensive web services) and for avoiding undesired side-effects. Finally, it performs a regression detection algorithm and reports the results to the QA engineer. We have implemented our framework on top of a BPMN2-compliant execution engine, namely jBPM, and performed functional validations and evaluations of its performance and fault-tolerance. The results, indicating 3.9% average capturing performance overhead, demonstrate that the implemented framework can be the foundation of a practical regression testing tool for BPMN 2.0, and a key enabler for continuous delivery of business process-driven applications and services.

Tue 1 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:40 - 17:20
Testing and VerificationGPCE at Zürich 1
Chair(s): Bernd Fischer Stellenbosch University
15:40
30m
Talk
Automated Regression Testing of BPMN 2.0 Processes: A Capture & Replay Framework for Continuous Delivery
GPCE
Majid Makki iMinds-DistriNet, Dimitri Van Landuyt Katholieke Universiteit Leuven, Wouter Joosen Katholieke Universiteit Leuven
16:10
30m
Talk
A Vision for Online Verification-Validation
GPCE
Matthew Hammer University of Colorado, Boulder, Bor-Yuh Evan Chang University of Colorado Boulder, David Van Horn University of Maryland at College Park, USA
Pre-print Media Attached
16:40
30m
Talk
Automatic Non-functional Testing of Code Generators Families
GPCE
Pre-print Media Attached File Attached