Model-Based Testing of Web Service with EFSM

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 Extended Finite State Machine (EFSM). Web Services Description Language (WSDL) file alone does not provide dynamic behavior information. This problem can be overcome by appending the 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.