A Graph-Search Based Approach to BPEL4WS Test Generation

Authors:
Yuan Yuan;Zhongjie Li;Wei Sun
Affiliations:
IBM, China;IBM, China;IBM, China
Venue:
ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
Year:
2006

Citing 0
Cited 12

Business Process Regression Testing

ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples

Architecting Dependable Systems V
Business-process-driven gray-box SOA testing

IBM Systems Journal
Service-Oriented Architectures Testing: A Survey

Software Engineering
Whitening SOA testing

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
OptBPEL: a tool for performance optimization of BPEL process

SC'08 Proceedings of the 7th international conference on Software composition
Bringing white-box testing to Service Oriented Architectures through a Service Oriented Approach

Journal of Systems and Software
A comparative evaluation of state-of-the-art web service composition testing approaches

Proceedings of the 6th International Workshop on Automation of Software Test
Towards automated robustness testing of BPEL orchestrators

Proceedings of the 12th International Conference on Computer Systems and Technologies
DDAT: data dependency analysis tool for web service business processes

ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V
Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph

Journal of Systems and Software
A business protocol unit testing framework for web service composition

CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering

Quantified Score

Hi-index	0.01

Visualization

Abstract

Business Process Execution Language for Web Services (BPEL4WS) is a kind of concurrent programming languages with several special features that raise special challenges for verification and testing. This paper proposes a graph-search based approach to BPEL test case generation, which effectively deals with BPEL concurrency semantics. This approach defines an extension of CFG (Control Flow Graph) - BPEL Flow Graph (BFG) - to represent a BPEL program in a graphical model. Then concurrent test paths can be generated by traversing the BFG model, and test data for each path can be generated using a constraint solving method. Finally test paths and data are combined into complete test cases.