Control flow analysis and coverage driven testing for web services

Proceedings of the IEEE International Conference on Web Services, ICWS 2008

Volumn , Issue , 2008, Pages 473-480

  Li, Li ^a   Chou, Wu ^a   Guo, Weiping ^a  

^a AVAYA LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL FLOW ANALYSES; CONTROL FLOW GRAPHS; CONTROL FLOWS; DOMAIN INDEPENDENTS; FUNCTIONAL SPECIFICATIONS; GRAPH MATCHING; MODELING AND ANALYSIS; NOVEL METHODS; PAGERANK ALGORITHMS; SCHEMAS; SPARQL QUERIES; TEST COVERAGES; TEST RESULTS;

PATTERN MATCHING; PULSATILE FLOW; SPECIFICATIONS; WEB SERVICES;

WORLD WIDE WEB;

EID: 57749178154     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2008.104     Document Type: Conference Paper

References (22)

1. Standard ECMA-366, WS-Session, http://www.ecma-internationa.org./ publications/standards/Ecma-366.htm
2. Web Services Eventing (WS-Eventing), W3C Member Submission 15 March 2006, http://www.w3.org/submission/WS-Eventing/
3. Standard ECMA-348, Web Services Description Language (WSDL) for CSTA Phase III, 3rd edition (December 2006), http://www.ecma-international.org/ publications/standards/Ecma.htm
4. Parlay X Web Services Specification, Version 2.1, part 12, Multimedia Conference, http://www.parlay.org/en/specifications/pxws.asp
5. Standard ECMA-269, Services for Computer Supported Telecommunications Applications (CSTA) Phase III, 7th edition (December 2006), http://www.ecma- international.org/publications/standards/Ecma-269.htm
6. Web Services Base Notification 1.3 (WS-BaseNotification), OASIS Standard, 1 October 2006, http://docs.oasis-open.org/wsn/wsn-ws-base-notification-1.3- spec-os.pdf
7. Dave Beckett (ed), "RDF/XML Syntax Specification (Revised)", W3C Recommendation, 10 February 2004.
8. Sinha, A. and Paradkar A., "Model Based Functional Conformance Testing of Web Services Operating on Persistent Data", Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications TAV-WEB '06, Portland, Maine, July 17 2006, pp. 17-22.
9. Srini Narayanan, Sheila A. McIIraith, "Simulation, Verification and Automated Composition of Web Services", Proceedings of WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA, pp 77-88.
10. th IEEE International Symposium on Autonomous Decentralized Systems (ISADS'07), 2007.
11. Xiang Fu, Tevfik Bultan, Jianwen Su, "WSAT: A Tool for Formal Analysis of Web Services", Proc. CAV, LNCS 3114, pages 510-514. Springer, 2004.
12. Jeremy J. Carroll, "Matching RDF Graphs", Proceedings of the First International {Semantic Web} Conference, pages 5-15, 2002.
13. Rick Grehan, "Three open source Web service testing tools get high marks", http://www.infoworld.com/article/07/05/11/19TCwebservicetest-2. html, May 11 2007.
14. Rick Grehan, "Clean up your SOAP-based Web services", http://www.infoworld.com/article/07/11/26/48TC-web-services-test-tools-l.html, November 26, 2007.
15. st Symposium on Principles of Programming Languages, pages 25-34, January 1994.
16. Li Li, Wu Chou, "Automatic Message Flow Analyses for Web Services Based on WSDL", Proceedings of 2007 IEEE International Conference on Web Services (ICWS 2007), page 880-887, Salt Lake City, July 2007.
17. Amy N. Langville and Carl D. Meyer, Google's PageRank and Beyond: The Science of Search Engine Rankings, Princeton University Press, 2006.
18. Patrick Hayes (ed), "RDF Semantics, W3C Recommendation", 10 February 2004.
19. Eirc Prud'hommeaux, "SPARQL Query Language for RDF", W3C Recommendation, 15 January 2008.
20. Jena - A Semantic Web Framework for Java, http://jena.sourceforge.net
21. WSDL4J, http:sourceforge.net/projects/wsdl4j
22. David Booth, et al (eds), "Web Services Architecture", W3C Working Group Note, 11 February 2004