An automatic test case generation framework for web services

Journal of Software

Volumn 2, Issue 3, 2007, Pages 64-77

  Zheng, Yongyan ^a   Zhou, Jiong ^a   Krause, Paul ^a  

^a UNIVERSITY OF SURREY   (United Kingdom)

Author keywords

Finite state machine; Model checking; Test case generation; Test coverage; Web services

Indexed keywords

ENGINES; FINITE AUTOMATA; MODEL CHECKING; MODELING LANGUAGES; SEMANTICS; SOFTWARE TESTING; TEMPORAL LOGIC; WEB CRAWLER; WEBSITES;

AUTOMATIC TEST-CASE GENERATIONS; BUSINESS PROCESS EXECUTION LANGUAGE; CONTROL-FLOW TESTING; MODEL BASED TESTING; OPERATIONAL SEMANTICS; TEST CASE GENERATION; TEST COVERAGE; WEB SERVICE ORCHESTRATION;

WEB SERVICES;

EID: 58049183927     PISSN: 1796217X     EISSN: None     Source Type: Journal    
DOI: 10.4304/jsw.2.3.64-77     Document Type: Article

References (34)

1. N. Milanovic and M. Malek, "Current solutions for web service composition," IEEE Internet Computing, vol. 08, no. 6, pp. 51-59, 2004.
2. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, S. Thatte, and S. Weer-awarana, "Business process execution language for web services version 1.1," May 2003.
3. Y. Zheng and P. Krause, "Analysis of bpel data dependencies," in Proc. of EUROMICRO. IEEE Computer Society, 2007.
4. H. S. Hong, S. D. Cha, I. Lee, O. Sokolsky, and H. Ural, "Data flow testing as model checking," in Proc. of ICSE. IEEE Computer Society, 2003, pp. 232-242.
5. M. P. E. Heimdahl, D. George, and R. Weber, "Specification test coverage adequacy criteria = specification test generation inadequacy criteria?" in Proc. of HASE. IEEE Computer Society, 2004, pp. 178-186.
6. S. Rayadurgam and M. P. E. Heimdahl, "Coverage based test case generation using model checkers," in Proc. of ECBS. IEEE Computer Society, 2001, p. 0083.
7. Y. Zheng, "An automatic test framework for bpel web services," in PhD Thesis. Dept of Computing, University of Surrey, 2007.
8. S. Rapps and E. J. Weyuker, "Selecting software test data using data flow information," IEEE Transactions on Software Engineering, vol. 11, no. 4, pp. 367-375, 1985.
9. "Gray code," http://en.wikipedia.org/wiki/Gray_code, 2007.
10. Digital business ecosystem," http://www.digital-ecosystem.org, 2007.
11. R. Hamadi and B. Benatallah, "A petri net-based model for web service composition," in Proc. of ADC. Australian Computer Society, Inc., 2003, pp. 191-200.
12. C. Ouyang, W. van der Aalst, S. Breutel, M. Dumas, A. ter Hofstede, and H. Verbeek., "Formal semantics and analysis of control flow in ws-bpel," in BPM Center Report. BPMcenter.org, 2005.
13. C. Stahl, "A petri net semantics for bpel," Humboldt-Universitt zu Berlin, Informatik-Berichte 188, July 2005.
14. N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg, "Analyzing interacting bpel processes," in Proc. of BPM, ser. Lecture Notes in Computer Science, vol. 4102. Springer-Verlag, 2006, pp. 17-32.
15. Y. Yang, Q. Tan, J. Yu, and F. Liu, "Transformation bpel to cp-nets for verifying web services composition," in Proc. of NWeSP. IEEE Computer Society, 2005.
16. X. Yi and K. J. Kochut, "A cp-nets-based design and verification framework for web services composition," in Proc. of ICWS. IEEE Computer Society, 2004, pp. 756-760.
17. A. Ferrara, "Web services:a process algebra approach," in Proc. of ICSOC. ACM Press, 2004, p. 242.
18. H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Model based verification of web service compositions," in Proc. of ASE. IEEE Computer Society, 2003, p. 152.
19. J. Magee and J. Kramer, Concurrency: state models and Java programs. New York, NY, USA: John Wiley and Sons, Inc., 1999.
20. H. Fostre, S. Uchitel, J. Magee, and J. Kramer, "Model based analysis of obligations in web service choreography," in Proc. of AICT-ICIW. IEEE Computer Society, 2006, p. 149.
21. K. Xu, Y. Liu, and G. Pu, "Formalization, verification and restructuring of bpel models with pi calculus and model checking," IBM, Tech. Rep., 2006.
22. S. J. Woodman, D. J. Palmer, S. K. Shrivastava, and S. M. Wheater, "Notations for the specification and verification of composite web services," in Proc. of EDOC. IEEE Computer Society, 2004, pp. 35-46.
23. G. Pu, H. Zhu, Z. Qiu, S. Wang, X. Zhao, and J. He, "Theoretical foundations of scope-based compensable flow language for web service." in Proc. of FMOODS, 2006, pp. 251-266.
24. M. J. Butler, C. Ferreira, and M. Y. Ng, "Precise modelling of compensating business transactions and its application to bpel." The Journal of Universal Computer Science, vol. 11, no. 5, pp. 712-743, 2005.
25. A. Wombacher, P. Fankhauser, and E. Neuhold, "Transforming bpel into annotated deterministic finite state automata for service discovery," in Proc. of ICWS. IEEE Computer Society, 2004, p. 316.
26. M. Pistore, P. Traverso, P. Bertoli, and A. Marconi, "Automated synthesis of composite bpel4ws web services," in Proc. of ICWS. IEEE Computer Society, 2005, pp. 293-301.
27. Astro toolset," http://www.astroproject.org/
28. X. Fu, T. Bultan, and J. Su, "Synchronizability of conversations among web services," IEEE Transactions on Software Engineering, vol. 31, no. 12, pp. 1042-1055, 2005.
29. S. Nakajima, "Lightweight formal analysis of web service flows," National Institute of Informatics, Tech. Rep., 2005, progress in Informatics.
30. A. Bertolino and A. Polini, "The audition framework for testing web services interoperability," in Proc. of EU-ROMICRO. IEEE Computer Society, 2005, pp. 134-142.
31. R. Heckel and L. Mariani, "Automatic conformance testing of web services," in Proc. of FASE. Springer, 2005, pp. 34-48.
32. A. Sinha and A. Paradkar, "Model based functional conformance testing of web services operating on persistent data," in Proc. of TAV-WEB. ACM Press, 2006, pp. 17-22.
33. Y. Yuan, Z. Li, and W. Sun, "A graph-search based approach to bpel4ws test generation," in Proc. of ICSEA. IEEE Computer Society, 2006, p. 14.
34. J. Yan, Z. Li, Y. Yuan, W. Sun, and J. Zhang, "Bpel4ws unit testing: Test case generation using a concurrent path analysis approach," in Proc. of ISSRE. IEEE Computer Society, 2006, pp. 75-84.