DocumentCode :
2448734
Title :
Defect Analysis Respecting Dead Path Elimination in BPEL Process
Author :
Yang, Xuehong ; Huang, Junfei ; Gong, Yunzhan
Author_Institution :
State key Lab. of Networking & Switching Technol., Beijing Univ. of Posts & Telecommun., Beijing, China
fYear :
2010
fDate :
6-10 Dec. 2010
Firstpage :
315
Lastpage :
321
Abstract :
The rise of web services and service composition in recent years makes it necessary to pay special attentions to their robustness and integrity. One of the most ideal solutions is using testing technology, we are interested in checking whether the process satisfies a given temporal safety property, the cost of dynamic testing for distributed and heterogeneous applications is huge, so forward a static analysis technology applied in the BPEL service composition. Defect-based analysis is a suitable technique to measure the adequacy of test results which can detect the defects pulled in by the developers unintentionally. False positive rate and false negative rate are key evaluation criteria of static defect detecting, so in order to improve the accuracy of detection, the algorithm proposed in this paper for defects analysis involving the semantic analysis, i.e., dead path elimination (DPE). By using the abstract domain of variables in the expression of condition on link, we can identify whether it is the start of DPE or not. The whole paper takes the application of uninitialized variable detection to illustrate the effective of this method.
Keywords :
Web services; business data processing; program diagnostics; program testing; specification languages; BPEL process; BPEL service composition; Web service; dead path elimination; defect analysis; distributed application; dynamic testing; heterogeneous application; semantic analysis; static analysis; temporal safety property; testing technology; Algorithm design and analysis; Flow graphs; Image edge detection; Semantics; Synchronization; Testing; Web services; BPEL; DPE; defect detection; static analysis; web service composition;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Services Computing Conference (APSCC), 2010 IEEE Asia-Pacific
Conference_Location :
Hangzhou
Print_ISBN :
978-1-4244-9396-8
Type :
conf
DOI :
10.1109/APSCC.2010.24
Filename :
5708586
Link To Document :
بازگشت