Generation of conformance test suites for compositions of web services using model checking

Proceedings - Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2006

Volumn , Issue , 2006, Pages 127-130

  García Fanjul, José ^a   De La Riva, Claudio ^a   Tuya, Javier ^a  

^a UNIVERSITY OF OVIEDO   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMANCE TEST; FORMAL VERIFICATION TOOLS; INDUSTRY STANDARDS; SPIN MODELS; TEST CASE; TESTING METHOD; TRANSITION COVERAGE;

INDUSTRY; MODEL CHECKING; RESEARCH;

WEB SERVICES;

EID: 56749183996     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TAIC-PART.2006.11     Document Type: Conference Paper

References (24)

1. P. Ammann, P.E. Black and W. Majurski, Using Model Checking to Generate Tests from Specifications, Second IEEE International Conference on Formal Engineering Methods, Brisbane (Australia), 1998, pp 46-.
2. A. Bertolino and E. Marchetti, A Brief Essay on Software Testing, Chapter of Software Engineering. Volume 1: Development process, Third Edition, IEEE Computer Society/Wiley Interscience, 2005, pp. 393-411.
3. A. Bertolino and A. Polini, The Audition Framework for Testing Web Services Interoperability, 31st EUROMICRO Conference on Software Engineering and Advanced Applications, Porto (Portugal), 2005, pp. 134-142. (Pubitemid 44250677)
4. T. Bultan, X. Fu and J. Su, Analyzing Conversations of Web Services, IEEE Internet Computing, 10(1), IEEE, 2006, pp. 18-25. (Pubitemid 43159609)
5. G. Canfora and M. Di Penta, Testing services and service-centric systems: Challenges and opportunities, IT Professional, 8(2), IEEE, 2006, pp.10-17.
6. S. Chun, and J. Offutt, Generating Test Cases for XMLbased Web Component Interactions Using Mutation Analysis, 12th IEEE International Symposium on Software Reliability Engineering, Hong Kong (PRC), 2001, pp. 200-209. (Pubitemid 34082599)
7. E.M. Clarke, O. Grumberg and D.A. Peled, Model Checking, The MIT Press, 2000.
8. J. Fan and S. Kambhampati, A Snapshot of Public Web Services, SIGMOD Record, 34 (1), ACM, 2005, pp. 24-32. (Pubitemid 40750024)
9. H. Foster, S. Uchitel, J. Magee and J. Kramer, Tool Support for Model-Based Engineering of Web Service Compositions, IEEE International Conference on Web Services, Orlando (USA), 2005, pp. 95-102. (Pubitemid 44460197)
10. H. Foster, S. Uchitel, J. Magee and J. Kramer, Modelbased Verification of Web Service Compositions, 18th IEEE International Conference on Automated Software Engineering, Montreal (Canada), 2003, pp 152-163.
11. X. Fu, T. Bultan and J. Su, Synchronizability of Conversations among Web Services, IEEE Transactions on Software Engineering, 31(12), IEEE, 2005, pp. 1042-1055. (Pubitemid 46395330)
12. X. Fu, T. Bultan and J. Su, Analysis of Interacting BPEL Web Services, Thirteenth International World Wide Web Conference (WWW 2004), New York (USA), 2004, pp. 621-630. (Pubitemid 40752796)
13. J. García-Fanjul, J. Tuya and C. de la Riva, Generating test cases specifications for BPEL compositions of web services using SPIN, International Workshop on Web Services - Modeling and Testing, Palermo (Italy), 2006, pp. 83-94.
14. E.L. Gunter and D. Peled, Model checking, testing and verification working together, Formal Aspects of Computing, 17(2), Springer, 2005, pp. 201-221. (Pubitemid 41165029)
15. K. Havelund, M.R. Lowry and J. Penix, Formal Analysis of a Space-Craft Controller Using SPIN, IEEE Transactions on Software Engineering, 27(8), IEEE, 2001, pp. 1000-9999.
16. G.J. Holzmann, The SPIN Model Checker: Primer and Reference Manual, Addison-Wesley Professional, 2003.
17. H. Huang, W. Tsai, R. Paul and Y. Chen, Automated Model Checking and Testing for Composite Web Services, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Seattle (USA), 2005, pp. 300-307. (Pubitemid 43803486)
18. IBM, Business Process Execution Language for Web Services version 1.1, URL: http://www-128.ibm.com/developerworks/library/specification/ws-bpel/.
19. IDC, Research Reports, URL: http://www.idc.com/.
20. S. Narayanan and S.A. McIlraith, Analysis and simulation of Web services, Computer Networks, 42(5), Elsevier, 2003, pp. 675-693.
21. J. Offutt, and W. Xu, Generating Test Cases for Web Services Using Data Perturbation, ACM SIGSOFT Software Engineering Notes, 29(5), ACM, 2004, pp. 1-10.
22. J. Offutt, S. Liu, A. Abdurazik and P. Ammann, Generating Test Data From State-based Specifications, The Journal of Software Testing, Verification and Reliability, 13(1), Wiley, 2003, pp. 25-53.
23. A.W. Roscoe and P.J. Broadfoot, Proving Security Protocols with Model Checkers by Data Independence Techniques, Journal of Computer Security 7(2-3), IOS Press, 1999, pp. 147-190. (Pubitemid 30524010)
24. J. Zhang and L.J. Zhang, "Web Services Quality Testing", International Journal of Web Services Research, 2(2), Idea Group, 2005, pp. 1-4.