Generating test cases for web services using extended finite state machine = 확장된 유한 상태 기계를 이용한 웹 서비스 테스트 케이스 생성

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 310
  • Download : 0
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.
Advisors
Kang, Sung-Wonresearcher강성원researcher
Description
한국정보통신대학교 : 공학부,
Publisher
한국정보통신대학교
Issue Date
2006
Identifier
392601/225023 / 020044627
Language
eng
Description

학위논문(석사) - 한국정보통신대학교 : 공학부, 2006, [ v, 54 p. ]

Keywords

EFSM; Software Testing; Web Services; 웹서비스; 소프트웨어 시험; WSDL

URI
http://hdl.handle.net/10203/55421
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=392601&flag=dissertation
Appears in Collection
School of Engineering-Theses_Master(공학부 석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0