TY - GEN
T1 - An empirical study of the use of frankl-weyuker data flow testing criteria to test bpel web services
AU - Mei, Lijun
AU - Chan, W. K.
AU - Tse, T. H.
AU - Kuo, Fei-Ching
PY - 2009
Y1 - 2009
N2 - Programs using service-oriented architecture (SOA) often feature ultra-late binding among components. These components have well-defined interfaces and are known as web services. Messages between every pair of web services dually conform to the output interface of a sender and the input interface of a receiver. Unit testing of web services should not only test the logic of web services, but also assure the correctness of the web services during input, manipulation, and output of messages. There is, however, little software testing research in this area. In this paper, we study the unit testing problem to assure components written in orchestration languages, WS-BPEL in particular. We report an empirical study of the effectiveness of the Frankl-Weyuker data flow testing criteria (particularly the all-uses criterion) on WSBPEL subject programs. Our study shows that conventional data flow testing criteria can be much less effective in revealing faults in interface artifacts (WSDL documents) and message manipulations (XPath queries) than revealing faults in BPEL artifacts. © 2009 IEEE.
AB - Programs using service-oriented architecture (SOA) often feature ultra-late binding among components. These components have well-defined interfaces and are known as web services. Messages between every pair of web services dually conform to the output interface of a sender and the input interface of a receiver. Unit testing of web services should not only test the logic of web services, but also assure the correctness of the web services during input, manipulation, and output of messages. There is, however, little software testing research in this area. In this paper, we study the unit testing problem to assure components written in orchestration languages, WS-BPEL in particular. We report an empirical study of the effectiveness of the Frankl-Weyuker data flow testing criteria (particularly the all-uses criterion) on WSBPEL subject programs. Our study shows that conventional data flow testing criteria can be much less effective in revealing faults in interface artifacts (WSDL documents) and message manipulations (XPath queries) than revealing faults in BPEL artifacts. © 2009 IEEE.
KW - Data flow testing
KW - WS-BPEL
KW - XPath
UR - http://www.scopus.com/inward/record.url?scp=70449629407&partnerID=8YFLogxK
UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-70449629407&origin=recordpage
U2 - 10.1109/COMPSAC.2009.21
DO - 10.1109/COMPSAC.2009.21
M3 - RGC 32 - Refereed conference paper (with host publication)
SN - 9780769537269
VL - 1
SP - 81
EP - 88
BT - Proceedings - International Computer Software and Applications Conference
T2 - 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009
Y2 - 20 July 2009 through 24 July 2009
ER -