arrow
Return

Fault localisation for WS-BPEL programs based on predicate switching and program slicing

delete2018-01-01
delete12
delete
OA
AI
孙昌爱 (Chang‐ai Sun) *
Y
Yufeng Ran
C
Caiyun Zheng
H
Huai Liu
D
Dave Towey
X
Xiangyu Zhang
DOI:10.1016/j.jss.2017.10.030delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
Service-Oriented Architecture (SOA) enables the coordination of multiple loosely coupled services. This allows users to choose any service provided by the SOA without knowing implementation details, thus making coding easier and more flexible. Web services are basic units of SOA. However, the functionality of a single Web service is limited, and usually cannot completely satisfy the actual demand. Hence, it is necessary to coordinate multiple independent Web services to achieve complex business processes. Business Process Execution Language for Web Services (WS-BPEL) makes the coordination possible, by helping the integration of multiple Web services and providing an interface for users to invoke. When coordinating these services, however, illegal or faulty operations may be encountered, but current tools are not yet powerful enough to support the localisation and removal of these problems. In this paper, we propose a fault localisation technique for WS-BPEL programs based on predicate switching and program slicing, allowing developers to more precisely locate the suspicious faulty code. Case studies were conducted to investigate the effectiveness of the proposed technique, which was compared with predicate switching only, slicing only, and one existing fault localisation technique, namely Tarantula. The experimental results show that the proposed technique has a higher fault localisation effectiveness and precision than the baseline techniques. (C) 2017 Elsevier Inc. All rights reserved.
Keywords:
Fault localisation
Debugging
Business process execution language for web services
Web services
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Journal of Systems and Software cover
Journal of Systems and Software
IF:
4.1
Papers:
5.4K
Citations:
8.4K

Organization

U
University of Nottingham Ningbo China
Scholars:
2.9K
Papers: 3.1K
Citations: 0
Purdue University System cover
Purdue University System
Scholars:
3.9W
Papers: 3.6W
Citations: 66
V
Victoria University
Scholars:
3.1K
Papers: 3.8K
Citations: 22
researcher View more organizations