A Software Test Approach to Evaluate the Enforcement of a Workflow Engine

Conformance testing is a critical problem of workflow systems. Indeed, the execution engine must satisfy the specification of the workflows coming from the end users. The problem of testing is un-decidable in the general case. The difficulty is thus to provide a heuristic that minimizes the suite of test sequences. Despite many theoretical works exist in the literature, concrete solutions are really missing. This paper describes a software solution to this problem. It is implemented as a standalone component that can take a workflow specification as input and gives the test sequences as outputs. That approach enforces workflows coming from the Intraqual environment of Qualnet but it can serve as a general solution for testing any other workflow engine.

[1]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[2]  Tien-Dung Cao,et al.  WSOTF: An Automatic Testing Tool for Web Services Composition , 2010, 2010 Fifth International Conference on Internet and Web Applications and Services.

[3]  David Lee,et al.  Testing Finite State Machines: Fault Detection , 1995, J. Comput. Syst. Sci..

[4]  Alexandre Petrenko,et al.  Comparing finite state machine test , 2009, IET Softw..

[5]  Daniel Lübke,et al.  Unit Testing BPEL Compositions , 2007, Test and Analysis of Web Services.

[6]  C. Titus Brown,et al.  An introduction to testing web applications with twill and selenium , 2007 .

[7]  Damir Robic,et al.  Workflow testing , 2010, The 33rd International Convention MIPRO.

[8]  Gregor von Bochmann,et al.  On Testing 1-Safe Petri Nets , 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.

[9]  Tammo van Lessen,et al.  Modeling Test Cases in BPMN for Behavior-Driven Development , 2016, IEEE Software.

[10]  Mario E. Sánchez,et al.  Model Based Testing for Workflow Enabled Applications , 2011, Computación y Sistemas.

[11]  H. Rice.  Classes of recursively enumerable sets and their decision problems , 1953 .

[12]  Jocelyn Simmonds,et al.  Property Patterns for Runtime Monitoring of Web Service Conversations , 2008, RV.