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

Tools

Sun, Chang-ai, Ran, Yufeng, Zheng, Caiyun, Liu, Huai, Towey, Dave and Zhang, Xiangyu (2018) Fault localisation for WS-BPEL programs based on predicate switching and program slicing. Journal of Systems and Software, 135 . pp. 191-204. ISSN 0164-1212

Preview

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Available under Licence Creative Commons Attribution Non-commercial No Derivatives.
Download (1MB) | Preview

Official URL: https://www.sciencedirect.com/science/article/pii/S0164121217302534?via%3Dihub

Abstract

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.

Item Type:	Article
Keywords:	Fault localization; Debugging; Business Process Execution Language for Web Services; Web Services
Schools/Departments:	University of Nottingham Ningbo China > Faculty of Science and Engineering > School of Computer Science
Identification Number:	10.1016/j.jss.2017.10.030
Depositing User:	QIU, Lulu
Date Deposited:	14 May 2018 13:05
Last Modified:	05 Nov 2018 04:30
URI:	https://eprints.nottingham.ac.uk/id/eprint/51754

Actions (Archive Staff Only)

Edit View

LoginAdmin