Contract-based test generation for data flow of business processes using constraint programming

The verification of the properties of a business process (BP) has become a significant research topic in recent years. In the early stages of development, the BP model (e.g. BPMN, EPC), the BP contract (task contract, regulations and laws, business rules), and the test objectives (requirements) are the only elements available. In order to support the modellers, automatic tools must be provided in order to check whether their business processes are in line with the BP contract. This paper proposes a new business process called the automatic test-case generator to automate the generation of test cases and verify that a BP has the intended functionality (semantic conformance). This generator is analysed, designed and implemented by taking into account the following tasks: Annotation of the BP model with the business process contract, calculation of the various data flow paths, transformation of these data flow paths into SSA form, and a modelling of a constraint satisfaction problem (constraint programming) of the BP contract for all data flow paths. The execution of this business process generates the test cases automatically.

[1]  Fabio Grandi,et al.  A Relational Multi-Schema Data Model and Query Language for Full Support of Schema Versioning , 2002, SEBD.

[2]  Wei Sun,et al.  A Graph-Search Based Approach to BPEL4WS Test Generation , 2006, 2006 International Conference on Software Engineering Advances (ICSEA'06).

[3]  Inmaculada Medina-Bulo,et al.  GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis , 2010, ICWE.

[4]  Curtis E. Dyreson,et al.  A Tale of Two Schemas: Creating a Temporal XML Schema from a Snapshot Schema with tXSchema , 2004, EDBT.

[5]  Bowen Alpern,et al.  Detecting equality of variables in programs , 1988, POPL '88.

[6]  Carlo Curino,et al.  Graceful database schema evolution: the PRISM workbench , 2008, Proc. VLDB Endow..

[7]  Wei Sun,et al.  BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach , 2006, 2006 17th International Symposium on Software Reliability Engineering.

[8]  Curtis E. Dyreson,et al.  Validating Quicksand: Schema Versioning in \tauXSchema , 2006, 22nd International Conference on Data Engineering Workshops (ICDEW'06).

[9]  Fusheng Wang,et al.  Temporal queries and version management in XML-based document archives , 2008, Data Knowl. Eng..

[10]  Claudio de la Riva,et al.  Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking , 2006, Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06).

[11]  Levi Lucio,et al.  Model Checking Techniques for Test Generation from Business Process Models , 2009, Ada-Europe.

[12]  A. J. Varela-Vaca,et al.  OPBUS: Automating Structural Fault Diagnosis for Graphical Models in the Design of Business Processes , 2010 .

[13]  Raquel Blanco,et al.  A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search , 2009, 2009 International Conference on Software Testing, Verification, and Validation Workshops.

[14]  Ramez Elmasri,et al.  Schema versioning and database conversion techniques for bi-temporal databases , 2004, Annals of Mathematics and Artificial Intelligence.

[15]  Fabio Grandi,et al.  Schema Versioning for Multitemporal Relational Databases , 1997, Inf. Syst..

[16]  Hong Sun,et al.  Investigating the use of analysis contracts to support fault isolation in object oriented code , 2002, ISSTA '02.

[17]  Hang Yu,et al.  Testing BPEL-based Web Service Composition Using High-level Petri Nets , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[18]  Karl Meinke,et al.  Automated black-box testing of functional correctness using function approximation , 2004, ISSTA '04.

[19]  Fabio Grandi.  Introducing an annotated bibliography on temporal and evolution aspects in the World Wide Web , 2004, SGMD.

[20]  Rafik Bouaziz,et al.  Schema versioning in τXSchema-based multitemporal XML repositories , 2011, 2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE.

[21]  Carlo Curino,et al.  Schema Evolution in Wikipedia - Toward a Web Information System Benchmark , 2008, ICEIS.

[22]  Carlo Curino,et al.  Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++ , 2010, Proc. VLDB Endow..

[23]  J. Hooker.  Constraint programming , 2003 .

[24]  Fabio Grandi,et al.  A formal model for temporal schema versioning in object-oriented databases , 2003, Data Knowl. Eng..

[25]  MeinkeKarl.  Automated black-box testing of functional correctness using function approximation , 2004 .

[26]  A. Recuero.  Aplicaciones de la teoría de grafos: búsqueda de caminos en una red y análisis de su conectividad , 1994 .

[27]  Tibor Gyimóthy,et al.  Semi-Automatic Test Case Generation from Business Process Models , 2010 .

[28]  Albert Croker,et al.  On Temporal Grouping , 1995, Temporal Databases.

[29]  Rafik Bouaziz,et al.  An Approach for Schema Versioning in Multi-Temporal XML Databases , 2008, ICEIS.