Generating quantitative test cases for probabilistic timed Web Service Composition

Proceedings - 2011 IEEE Asia-Pacific Services Computing Conference, APSCC 2011

Volumn , Issue , 2011, Pages 275-283

  Gao, Honghao ^a   Li, Ying ^b  

^a SHANGHAI UNIVERSITY   (China)

^b ZHEJIANG UNIVERSITY   (China)

Author keywords

Optimization; Probabilistic behaviriors; Test cases; Time constrains; Web Service Composition

Indexed keywords

AUTOMATED TEST CASE GENERATION; BPEL4WS; BUSINESS INTERACTIONS; COMPLEX COMPUTING; COMPOSITE WEB SERVICES; DESCRIPTION LANGUAGES; ENTERPRISE APPLICATIONS; ERROR PRONES; MACHINE TO MACHINES; MARKET DEMAND; NON-FUNCTIONAL REQUIREMENTS; PROBABILISTIC BEHAVIRIORS; QUANTITATIVE TESTS; TEST CASE; TEST CASES; TIME CONSTRAINS; TIME-TO-MARKET; TIMED INTERFACE AUTOMATON; TIMED TESTS; UNCERTAIN ENVIRONMENTS; WEB SERVICE COMPOSITION;

COMPETITION; INTEROPERABILITY; OPTIMIZATION; QUALITY OF SERVICE; SERVICE LIFE; STOCHASTIC MODELS; TESTING;

WEB SERVICES;

EID: 84863077802     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSCC.2011.13     Document Type: Conference Paper

References (21)

1. N. Milanovic and M. Malek, "Current solutions for web service composition", IEEE Internet Computing, Vol.08, No.6, 2004, pp.51-59. (Pubitemid 40043367)
2. C. Ouyang, W. van der Aalst, S. Breutel, et al., "Formal semantics and analysis of control flow in ws-bpel", http://www.BPMcenter.org, 2005.
3. Y. Yang, Q. Tan, Y. Xiao, et al., "Exploiting hierarchical CP-nets to increase reliability of web services workflow", In Proceedings of international symposium on applications and the Internet, IEEE Computer Society, 2006, pp.116-122. (Pubitemid 44499895)
4. S. J. Woodman, D. J. Palmer, S. K. Shrivastava, and S. M. Wheater, "Notations for the specification and verification of composite web services", In Proceedings of EDOC, IEEE Computer Society, 2004, pp. 35-46. (Pubitemid 40574670)
5. Z.H. Wu, S.G. Deng, Y. Li, and J. Wu, "Computing compatibility in dynamic service composition", Knowl. Inf. Syst, Vol.19, No.1, 2009, pp. 107-129.
6. R. Alur, and D. L. Dill, "A theory of timed automata", Theor. Comput. Sci., Vol.126, 1994, pp.183-235.
7. M. Kwiatkowska, G. Norman, R. Segala, and J. Sproston, "Automatic Verification of Real-time Systems with Discrete Probability Distributions", Theoretical Computer Science, Vol.282, 2002, pp.101-150. (Pubitemid 34715712)
8. L. de Alfaro, and T.A. Henzinger, "Interface automata", In Proceedings of 9th Symposium on Foundations of Software Engineering, IEEE Computer Society, 2001, pp.109-120. (Pubitemid 35466916)
9. T. Han, and J.P. Katoen, "Counterexamples in probabilistic model checking", In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems IEEE Press, 2007, pp.72-86. (Pubitemid 350262647)
10. A.V. Aho, A. T. Dahbura, and D. Lee, "An optimization technique for protocol conformance test sequence generation based on UIO sequence and rural Chinese postman tour", IEEE Trans. On Communications, Vol.239, No.11, 1991, pp.1604-1615.
11. S. Fujiwara, G. Bochmann, and F. Khendek, "Test Selection Based on Finite State Models", IEEE Trans. On Software Engineering, Vol.17, No.6, 1991, pp.591-603. (Pubitemid 21675162)
12. R. Alur, "Timed Automata", CAV'99, LNCS, Vol.1633, 1999, pp.8-22.
13. H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Model-based verficasition of Web service compostions", In Proc. 18th IEEE Int'l conf. Automated Software Eng, IEEE Computer Society, 2003, pp.152-161.
14. M. Lallali, F. Zaidi, and A. Cavalli, "Timed Modeling of Web Services Composition for Automatic Testing", In Proceedings of the third International IEEE Conference on Signal-Image Technologies and Internet-Based System table of contents, IEEE Computer Society, 2007, pp.417-426
15. M. Lallali, F. Zaidi, A. Cavalli, and I. Hwang, "Automatic Timed Test Case Generation for Web Services Composition", In Proceedings of the Sixth European Conference on Web Services, IEEE Computer Society, 2008, pp.53-62.
16. A. Cavalli, T.D. Cao, W. Mallouli, E. Martins, et al., "WebMov: A dedicated framework for themodeling and testing of Web services composition", In Proceedings of International Conference on Web Services, IEEE Computer Society, 2010, pp.377-384.
17. Y. Yuan, Z. Li, and W. Sun, "A graph-search based approach to bpel4ws test generation", In Proceedings of ICSEA. IEEE Computer Society, 2006, pp.14-23.
18. R. Heckel and L. Mariani, "Automatic conformance testing of web services", In Proceedings of FASE. Springer, 2005, pp.34-48. (Pubitemid 41273669)
19. S. Nakajima, "Model-checking verification for reliable web service", A Journal On The Theory Of Ordered Sets And Its Applications, 2002, pp.1-5.
20. H. Huang, W.T. Tsai, R. Paul, and Y. Chen, "Automated Model Checking and Testing for Composite Web Services", In Proceedings of the 8th IEEE International Symposium on Object-oriented Realtime distributed Computing (ISORC), IEEE Computer Society, 2005, pp.300-307. (Pubitemid 43803486)
21. E.M. Clarke, O. Grumberg, S. Jha, Y, Lu, and H. Veith, "Counterexample-guided abstraction refinement", In Proceedings of International Conference on Computer Aided Verification, LNCS, Vol.1855, 2000, pp.154-169.