University of Surrey

Test tubes in the lab Research in the ATI Dance Research

An Automatic Test Case Generation Framework for Web Services

Zheng, Yongyan, Zhou, Jiong and Krause, Paul (2007) An Automatic Test Case Generation Framework for Web Services Journal of Software (JSW), 2. pp. 64-77.


Download (520kB)


BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi-formal flow language with complex features such as concurrency and hierarchy. To test a model thoroughly, we need to cover different execution scenarios. As is well known, it is tedious, time consuming, and error prone to design test cases manually, especially for complex modelling languages. Hence, it is desirable to apply existing model-based-testing techniques in the domain of web services. We proposed WSA (Web Service Automata) to be the operational semantics for BPEL. Based on WSA, we propose a model checking based test case generation framework for BPEL. The SPIN and NuSMV model checkers are used as the test generation engine, and the conventional structural test coverage criteria are encoded into LTL and CTL temporal logic. State coverage and transition coverage are used for BPEL control flow testing, and all-du-path coverage is used for BPEL data flow testing. Two levels of test cases can be generated to test whether the implementation of web services conforms to the BPEL behaviour and WSDL interface models. The generated test cases are executed on the JUnit test execution engine.

Item Type: Article
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
Zheng, Yongyan
Zhou, Jiong
Date : 1 September 2007
Additional Information : Published in Journal of Software (JSW), 2, 64-77. © 2007 Academy Publisher. This paper is based on “A Model Checking based Test Case Generation Framework for Web Services,” by Y. Zheng, J. Zhou, and P. Krause,which appeared in the Proceedings of the International Conference on Information Technology (ITNG), Las Vegas, Nevada, USA, April 2007. © 2007 IEEE. This work was supported by the EU FP6 funded project Digital Business Ecosystem.
Depositing User : Mr Adam Field
Date Deposited : 27 May 2010 14:46
Last Modified : 16 Jan 2019 16:23

Actions (login required)

View Item View Item


Downloads per month over past year

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800