Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Test Driven Development: By Example
Test Driven Development: By Example
BPEL4WS Unit Testing: Framework and Implementation
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Towards a BPEL unit testing framework
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
A Graph-Search Based Approach to BPEL4WS Test Generation
ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
Transforming BPEL into Intermediate Format Language for Web Services Composition Testing
NWESP '08 Proceedings of the 2008 4th International Conference on Next Generation Web Services Practices
Service-Oriented Computing
Unit Testing Approaches for BPEL: A Systematic Review
APSEC '09 Proceedings of the 2009 16th Asia-Pacific Software Engineering Conference
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
A comparative evaluation of state-of-the-art web service composition testing approaches
Proceedings of the 6th International Workshop on Automation of Software Test
Pattern based property specification and verification for service composition
WISE'06 Proceedings of the 7th international conference on Web Information Systems
BPEL-unit: JUnit for BPEL processes
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Hi-index | 0.00 |
Unit testing is a critical step in the development lifecycle of business processes for ensuring product reliability and dependability. Although plenty of unit testing approaches for WS-BPEL have been proposed, only a few of them designed and implemented a runnable unit testing framework, and none of them provides a technique to systematically specifying and testing the causal and temporal dependencies between the process-under-test and its partner services. In this paper, we propose a novel approach and framework for specifying and testing the inter-dependencies between the process-under-test and its partner services. The dependency constraints defined in the business protocol are declaratively specified using a pattern-based high-level language, and a FSA-based approach is proposed for detecting the violation of constraints. A testing framework that integrates with the Java Finite State Machine framework has been implemented to support the specification of both dependency constraints and test cases, and the execution and result analysis of test cases.