Abstract
Recent years have seen the utilisation of Semantic Web Service descriptions for automating a wide range of service-related activities, with a primary focus on service discovery, composition, execution and mediation. An important area which so far has received less attention is service validation, whereby advertised services are proven to conform to required behavioural specifications. This paper proposes a method for validation of service-oriented systems through automated functional testing. The method leverages ontology-based and rule-based descriptions of service inputs, outputs, preconditions and effects (IOPE) for constructing a stateful EFSM specification. The specification is subsequently utilised for functional testing and validation using the proven Stream X-machine (SXM) testing methodology. Complete functional test sets are generated automatically at an abstract level and are then applied to concrete Web services, using test drivers created from the Web service descriptions. The testing method comes with completeness guarantees and provides a strong method for validating the behaviour of Web services.
Chapter PDF
Similar content being viewed by others
References
Akkiraju, R., Farrell, J., Miller, J., Nagarajan, M., Schmidt, M.T., Sheth, A., Verma, K.: Web Service Semantics - WSDL-S. W3C Member Submission (2005)
Bertolino, A., Frantzen, I., Polini, A., Tretmans, J.: Audition of Web Services for Testing Conformance to Open Specified Protocols. In: Reussner, R., Stafford, J.A., Szyperski, C. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 1–25. Springer, Heidelberg (2006)
Chow, T.S.: Testing Software Design Modelled by Finite State Machines. IEEE Transactions on Software Engineering 4, 178–187 (1978)
de Bruijn, J.d., Bussler, C., Domingue, J., Fensel, D., Hepp, M., Keller, U., Kifer, M., Konig-Ries, B., Kopecky, J., Lara, R., Lausen, H., Oren, E., Polleres, A., Roman, D., Scicluna, J., Stollberg, M.: Web Service Modeling Ontology (WSMO). W3C Member Submission (2005)
Dranidis, D., Kourtesis, D., Ramollari, E.: Formal Verification of Web Service Behavioural Conformance through Testing. Annals of Mathematics, Computing & Teleinformatics (AMCT) 1(5), 36–43 (2007)
Eilenberg, S.: Automata, Languages and Machines, vol. A. Academic Press, New York (1974)
Farrell, J., Lausen, H. (eds.): Semantic Annotations for WSDL and XML Schema. W3C Recommendation (2007)
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)
Holcombe, M., Ipate, F.: Correct Systems: Building Business Process Solutions. Springer, Berlin (1998)
Ipate, F., Holcombe, M.: An Integration Testing Method that is Proved to Find All Faults. International Journal of Computer Mathematics 63, 159–178 (1997)
Keum, C., Kang, S., Ko, I.Y.: Generating Test Cases for Web Services using Extended Finite State Machine. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 103–117. Springer, Heidelberg (2006)
Kourtesis, D., Ramollari, E., Dranidis, D., Paraskakis, I.: Discovery and Selection of Certified Web Services through Registry-Based Testing and Verification. In: Camarinha-Matos, L., Pickard, W. (eds.) Pervasive Collaborative Networks, IFIP, vol. 283, pp. 473–482. Springer, Boston (2008)
Martin, D., Domingue, J., Brodie, M.L., Leymann, F.: Semantic Web Services, Part 1. IEEE Intelligent Systems 22(5), 12–17 (2007)
Martin, D., Domingue, J., Sheth, A., Battle, S., Sycara, K., Fensel, D.: Semantic Web Services, Part 2. IEEE Intelligent Systems 22(6), 8–15 (2007)
Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., Sycara, K.: OWL-S: Semantic Markup for Web Services. W3C Member Submission (2004)
McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview, W3C Recommendation (2004)
Narayanan, S., McIlraith, S.A.: Simulation, Verification and Automated Composition of Web Services. In: Proceedings of the 11th International Conference on the World Wide Web, pp. 77–88 (2002)
Plotkin, G.D.: A Structural Approach to Operational Semantics. Journal of Logic and Algebraic Programming 60-61, 17–139 (2004)
Sinha, A., Paradkar, A.: Model-based Functional Conformance Testing of Web Services Operating on Persistent Data. In: Proceedings of Workshop on Testing, Analysis and Verification of Web Services and Applications (TAV-WEB 2006), pp. 17–22 (2006)
Urbieta, A., Azketa, E., Gomez, I., Parra, J., Arana, N.: Analysis of Effects- and Preconditions-Based Service Representation in Ubiquitous Computing Environments. In: Proceedings of the 2008 IEEE International Conference on Semantic Computing, pp. 378–385 (2008)
W3C RIF Production Rule Dialect (RIF-PRD), http://www.w3.org/TR/rif-prd/
W3C Rule Interchange Format (RIF) Working Group, http://www.w3.org/2005/rules/
Wang, Y., Bai, X., Li, J., Huang, R.: Ontology-Based Test Case Generation for Testing Web Services. In: Proceedings of Eighth International Symposium on Autonomous Decentralized Systems (ISADS 2007), pp. 43–50 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ramollari, E., Kourtesis, D., Dranidis, D., Simons, A.J.H. (2009). Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. In: Aroyo, L., et al. The Semantic Web: Research and Applications. ESWC 2009. Lecture Notes in Computer Science, vol 5554. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02121-3_44
Download citation
DOI: https://doi.org/10.1007/978-3-642-02121-3_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02120-6
Online ISBN: 978-3-642-02121-3
eBook Packages: Computer ScienceComputer Science (R0)