ETRI-Knowledge Sharing Plaform

KOREAN
논문 검색
Type SCI
Year ~ Keyword

Detail

Conference Paper Generating Test Cases for Web Services Using Extended Finite State Machine
Cited 45 time in scopus Download 0 time Share share facebook twitter linkedin kakaostory
Authors
Chang Sup Keum, Sung Won Kang, In-Young Ko, Jong Moon Baik, Young-Il Choi
Issue Date
2006-05
Citation
IFIP International Conference on Testing of Communicating Systems (TestCom) 2006 (LNCS 3964), v.3964, pp.103-117
Language
English
Type
Conference Paper
DOI
https://dx.doi.org/10.1007/11754008_7
Project Code
06MT1200, Developmet of Open API and Service Platform Technologies, Lee Byung Sun
Abstract
Web services utilize a standard communication infrastructure such as XML and SOAP to communicate through the Internet. Even though Web services are becoming more and more widespread as an emerging technology, it is hard to test Web services because they are distributed applications with numerous aspects of runtime behavior that are different from typical applications. This paper presents a new approach to testing Web services based on EFSM (Extended Finite State Machine). WSDL (Web Services Description Language) file alone does not provide dynamic behavior information. This problem can be overcome by augmenting it with a behavior specification of the service. Rather than domain partitioning or perturbation techniques, we choose EFSM because Web services have control flow as well as data flow like communication protocols. By appending this formal model of EFSM to standard WSDL, we can generate a set of test cases which has a better test coverage than other methods. Moreover, a procedure for deriving an EFSM model from WSDL specification is provided to help a service provider augment the EFSM model describing dynamic behaviors of the Web service. To show the efficacy of our approach, we applied our approach to Parlay-X Web services. In this way, we can test Web services with greater confidence in potential fault detection. © IFIP International Federation for Information Processing 2006.
KSP Keywords
Control flow, Data Flow, Distributed Applications, Domain partitioning, Dynamic behaviors, Emerging technology, Extended Finite State Machine(EFSM), International federation, New approach, Perturbation techniques, Service Provider