Passive Testing of Web Services
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.
KeywordsPassive Testing Service Oriented Systems Monitoring
Unable to display preview. Download preview PDF.
- 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
- 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.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.Weerawarana, S., Chinnici, R., Gudgin, M., Curbera, F., Meredith, G.: Web services description language (WSDL), Version 2.0, 1 (2004)Google Scholar