A model checking based test case generation framework for web services

Proceedings - International Conference on Information Technology-New Generations, ITNG 2007

Volumn , Issue , 2007, Pages 715-720

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

^a UNIVERSITY OF SURREY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; HIERARCHICAL SYSTEMS; MODEL CHECKING; STANDARDIZATION; TEMPORAL LOGIC;

BUSINESS PROCESS EXECUTION LANGUAGE; CONTROL FLOW TESTING;

WEB SERVICES;

EID: 34548118376     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITNG.2007.8     Document Type: Conference Paper

References (14)

1. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, S. Thatte, and S. Weerawarana. Business process execution language for web services version 1.1. May 2003.
2. A. Bertolino and A. Polini. The audition framework for testing web services interoperability. In Pro. of EUROMICRO, pages 134-142. IEEE Computer Society, 2005.
3. A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri. Nusmv: A new symbolic model verifier. In Proc. of CAV, pages 495-499. Springer, 1999.
4. D. B. Ecosystem. http://www.digital-ecosystem.org.
5. R. Heckel and L. Mariani. Automatic conformance testing of web services. In Proc. of FASE, pages 34-48. Springer, 2005.
6. M. P. E. Heimdahl, D. George, and R. Weber. Specification test coverage adequacy criteria = specification test generation inadequacy criteria? In Proc. of HASE, pages 178-186. IEEE Computer Society, 2004.
7. G. J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, 2003.
8. H. S. Hong, S. D. Cha, I. Lee, O. Sokolsky, and H. Ural. Data flow testing as model checking. In Proc. of ICSE, pages 232-242. IEEE Computer Society, 2003.
9. R. Hull and J. Su. Tools for design of composite web services. In Proc. of SIGMOD, pages 958-961. ACM Press, 2004.
10. S. Rapps and E. J. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, 11(4):367-375, 1985.
11. S. Rayadurgam and M. P. E. Heimdahl. Coverage based testcase generation using model checkers. In Proc. of ECBS, page 0083. IEEE Computer Society, 2001.
12. A. Sinha and A. Paradkar. Model-based functional conformance testing of web services operating on persistent data. In Proc. of TAV-WEB, pages 17-22. ACM Press, 2006.
13. Wikipedia. http://en.wikipedia.org/wiki/Gray_code.
14. Y. Zheng and P. Krause. Automata semantics and analysis of bpel. In Proc. of DEST. IEEE Computer Society, 2007.