Abstract
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.
Research partially supported by the Spanish MEC project TESIS TIN2009-14312-C02.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Weerawarana, S., Chinnici, R., Gudgin, M., Curbera, F., Meredith, G.: Web services description language (WSDL), Version 2.0, 1 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andrés, C., Cambronero, M.E., Núñez, M. (2011). Passive Testing of Web Services. In: Bravetti, M., Bultan, T. (eds) Web Services and Formal Methods. WS-FM 2010. Lecture Notes in Computer Science, vol 6551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19589-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-19589-1_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19588-4
Online ISBN: 978-3-642-19589-1
eBook Packages: Computer ScienceComputer Science (R0)