Generating Test Cases for Web Services Using Extended Finite State Machine

  • ChangSup Keum
  • Sungwon Kang
  • In-Young Ko
  • Jongmoon Baik
  • Young-Il Choi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3964)


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.


Finite State Machine Graph Transformation Data Perturbation Extend Finite State Machine WSDL File 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Cerami, E.: Web Services Essentials. O’Reilly, Sebastopol (2002)Google Scholar
  2. 2.
    Booth, D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., Orchard, D.: Web Services Architecture. W3C working group note, W3C (2004)Google Scholar
  3. 3.
    Bourhfir, C., Aboulhamid, E., Khendek, F., Dssouli, R.: Test cases selection from SDL specifications. Computer Networks 35(6), 693–708 (2001)CrossRefGoogle Scholar
  4. 4.
    Heckel, R., Mariani, L.: Automatic Conformance Testing of Web Services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 34–48. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Baldan, P., Konig, B., Sturmer, I.: Generating test cases for code generators by unfolding graph transformation systems. In: Proc. 2nd Intl. Conference on Graph Transformation, Rome, Italy (2004)Google Scholar
  6. 6.
    White, L., Cohen, E.: A domain strategy for computer program testing. IEEE Transactions on Software Engineering 6, 247–257 (1980)CrossRefMATHGoogle Scholar
  7. 7.
    Weyuker, E., Jeng, B.: Analyzing partition testing strategies. IEEE Transactions on Software Engineering 17, 703–711 (1991)CrossRefGoogle Scholar
  8. 8.
    Rapps, S., Wejuker, E.: Data flow analysis techniques for program test data selection. In: 6th Intl. Conference on Software Engineering, pp. 272–278 (1982)Google Scholar
  9. 9.
    Offutt, J., Xu, W.: Generating Test Cases for Web Services Using Data Perturbation. In: ACM SIGSOFT SEN (2004)Google Scholar
  10. 10.
    Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, Inc., New York (1990)MATHGoogle Scholar
  11. 11.
    Li, Y., Li, M., Yu, J.: Web Service Testing, the Methodology, and the Implementation of the Automation-Testing Tool. In: Li, M., Sun, X.-H., Deng, Q.-n., Ni, J. (eds.) GCC 2003. LNCS, vol. 3032, pp. 940–947. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  12. 12.
    Tsai, W.T., Paul, R., Wang, Y., Fan, C., Wang, D.: Extending WSDL to Facilitate Web Services Testing. In: HASE 2002 (2002)Google Scholar
  13. 13.
    Bourhfir, C., Dssouli, R., Aboulhamid, E., Rico, N.: Automatic executable test case gen-eration for EFSM specified protocols. In: IWTCS 1997, pp. 75–90 (1997)Google Scholar
  14. 14.
    Sabnani, K., Dahbura, A.: A new Technique for Generating Protocol Tests. ACM Comput. Commun. 15(4) (1985)Google Scholar
  15. 15.
    Weyuker, E.J., Rapps, S.: Selecting Software Test Data using Data Flow Information. IEEE Transactions on Software Engineering (April 1985)Google Scholar
  16. 16.
    Parlay X Working Group, Parlay-X White Paper (2002),

Copyright information

© IFIP International Federation for Information Processing 2006

Authors and Affiliations

  • ChangSup Keum
    • 1
  • Sungwon Kang
    • 2
  • In-Young Ko
    • 2
  • Jongmoon Baik
    • 2
  • Young-Il Choi
    • 1
  1. 1.BcN Research DivisionElectronics and Telecommunications Research InstituteSouth Korea
  2. 2.School of EngineeringInformation and Communications UniversitySouth Korea

Personalised recommendations