File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: An empirical study of the use of Frankl-Weyuker data flow testing criteria to test BPEL web services

TitleAn empirical study of the use of Frankl-Weyuker data flow testing criteria to test BPEL web services
Authors
KeywordsData flow testing
WS-BPEL
XPath
Issue Date2009
PublisherIEEE. The Journal's web site is located at http://www.ieeexplore.ieee.org/xpl/conhome.jsp?punumber=1000143
Citation
The 33rd Annual IEEE International Conference on Computer Software and Applications (COMPSAC '09), Seattle, WA., 20-24 July 2009. In Proceedings of 33rd COMPSAC, 2009, v. 1, p. 81-88 How to Cite?
AbstractPrograms 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.
Persistent Identifierhttp://hdl.handle.net/10722/65453
ISSN
ISI Accession Number ID
References

 

DC FieldValueLanguage
dc.contributor.authorMei, Len_HK
dc.contributor.authorChan, WKen_HK
dc.contributor.authorTse, THen_HK
dc.contributor.authorKuo, FCen_HK
dc.date.accessioned2010-08-09T02:34:17Z-
dc.date.available2010-08-09T02:34:17Z-
dc.date.issued2009en_HK
dc.identifier.citationThe 33rd Annual IEEE International Conference on Computer Software and Applications (COMPSAC '09), Seattle, WA., 20-24 July 2009. In Proceedings of 33rd COMPSAC, 2009, v. 1, p. 81-88en_HK
dc.identifier.issn0730-3157en_HK
dc.identifier.urihttp://hdl.handle.net/10722/65453-
dc.description.abstractPrograms 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.en_HK
dc.languageeng-
dc.publisherIEEE. The Journal's web site is located at http://www.ieeexplore.ieee.org/xpl/conhome.jsp?punumber=1000143-
dc.relation.ispartofProceedings - International Computer Software and Applications Conferenceen_HK
dc.rights©2009 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.-
dc.subjectData flow testingen_HK
dc.subjectWS-BPELen_HK
dc.subjectXPathen_HK
dc.titleAn empirical study of the use of Frankl-Weyuker data flow testing criteria to test BPEL web servicesen_HK
dc.typeConference_Paperen_HK
dc.identifier.openurlhttp://library.hku.hk:4550/resserv?sid=HKU:IR&issn=0730-3157&volume=1&spage=81&epage=88&date=2009&atitle=An+empirical+study+of+the+use+of+Frankl-Weyuker+data+flow+testing+criteria+to+test+BPEL+Web+services-
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepublished_or_final_version-
dc.identifier.doi10.1109/COMPSAC.2009.21en_HK
dc.identifier.scopuseid_2-s2.0-70449629407en_HK
dc.identifier.hkuros155425-
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-70449629407&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.volume1en_HK
dc.identifier.spage81en_HK
dc.identifier.epage88en_HK
dc.identifier.isiWOS:000274261400011-
dc.publisher.placeUnited Statesen_HK
dc.description.otherThe 33rd Annual IEEE International Conference on Computer Software and Applications (COMPSAC '09), Seattle, WA., 20-24 July 2009. In Proceedings of 33rd COMPSAC, 2009, v. 1, p. 81-88-
dc.identifier.scopusauthoridMei, L=25825333600en_HK
dc.identifier.scopusauthoridChan, WK=23967779900en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK
dc.identifier.scopusauthoridKuo, FC=7006690410en_HK
dc.identifier.issnl0730-3157-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats