Passive Testing of Web Services

  • César Andrés
  • M. Emilia Cambronero
  • Manuel Núñez
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6551)


This paper presents a methodology to perform passive testing based on invariants of distributed systems with time information. This approach is supported by the following idea: A set of invariants represents the most relevant expected properties of the implementation under test. Intuitively, an invariant expresses the fact that each time the system under test performs a given sequence of actions, then it must exhibit a behavior reflected in the invariant. We call these invariants local because they only check the correctness of the logs that have been recorded in each isolated system.

We discuss the type of errors that are undetectable by using only local invariants. In order to cope with these limitations, this paper introduces a new family of invariants, called globals to deal with more subtle characteristics. They express properties of a set of systems, by making relations between the set of recorded local logs. In addition, we show that global invariants are able to detect the class of undetected errors for local invariants.


Passive Testing Service Oriented Systems Monitoring 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Andrés, C., Cambronero, M.E., Núñez, M.: Formal passive testing of service-oriented systems. In: 7th Int. Conf. on Services Computing, SCC 2010, pp. 610–613. IEEE Computer Society Press, Los Alamitos (2010)Google Scholar
  3. 3.
    Andrés, C., Merayo, M.G., Núñez, M.: Passive testing of timed systems. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 418–427. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Andrés, C., Merayo, M.G., Núñez, M.: Supporting the extraction of timed properties for passive testing by using probabilistic user models. In: 9th Int. Conf. on Quality Software, QSIC 2009, pp. 145–154. IEEE Computer Society Press, Los Alamitos (2009)CrossRefGoogle Scholar
  5. 5.
    Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: Towards automated wsdl-based testing of web services. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 524–529. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Bayse, E., Cavalli, A., Núñez, M., Zaïdi, F.: A passive testing approach based on invariants: Application to the WAP. Computer Networks 48(2), 247–266 (2005)CrossRefMATHGoogle Scholar
  7. 7.
    Benharref, A., Dssouli, R., Serhani, M., Glitho, R.: Efficient traces’ collection mechanisms for passive testing of web services. Information & Software Technology 51(2), 362–374 (2009)CrossRefGoogle Scholar
  8. 8.
    Bentakouk, L., Poizat, P., Zaïdi, F.: A formal framework for service orchestration testing based on symbolic transition systems. In: Núñez, M., Baker, P., Merayo, M.G. (eds.) TESTCOM 2009. LNCS, vol. 5826, pp. 16–32. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  9. 9.
    Díaz, G., Rodríguez, I.: Automatically deriving choreography-conforming systems of services. In: 6th IEEE Int. Conf. on Services Computing, SCC 2009, pp. 9–16. IEEE Computer Society Press, Los Alamitos (2009)CrossRefGoogle Scholar
  10. 10.
    Frantzen, L., de las Nieves Huerta, M., Kiss, Z.G., Wallet, T.: On-the-fly model-based testing of web services with jambition. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol. 5387, pp. 143–157. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R., Zedan, H.: Using formal methods to support testing. ACM Computing Surveys 41(2) (2009)Google Scholar
  12. 12.
    Raimondi, F., Skene, J., Emmerich, W.: Efficient online monitoring of web-service SLAs. In: 16th ACM SIGSOFT Int. Symposium on Foundations of Software Engineering, FSE 2008, pp. 170–180. ACM Press, New York (2008)Google Scholar
  13. 13.
    Weerawarana, S., Chinnici, R., Gudgin, M., Curbera, F., Meredith, G.: Web services description language (WSDL), Version 2.0, 1 (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • César Andrés
    • 1
  • M. Emilia Cambronero
    • 2
  • Manuel Núñez
    • 1
  1. 1.Departamento de Sistemas Informáticos y ComputaciónUniversidad Complutense de MadridSpain
  2. 2.Departamento de Sistemas InformáticosUniversidad de Castilla-La ManchaSpain

Personalised recommendations