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.

[img]
Preview
PDF
fulltext.pdf

Download (508Kb)

Abstract

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
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.
Divisions: Faculty of Engineering and Physical Sciences > Computing Science
Depositing User: Mr Adam Field
Date Deposited: 27 May 2010 14:46
Last Modified: 23 Sep 2013 18:36
URI: http://epubs.surrey.ac.uk/id/eprint/1975

Actions (login required)

View Item View Item

Downloads

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