Conformance Testing for Asynchronously Communicating Services
We suggest a black box testing approach to examine conformance for stateful services. Here, we consider asynchronous communication in which messages can overtake each other during their transmission. For testing, we generate partner services that exchange messages with the implementation under test (IUT). From the observations made during testing, we are then able to infer whether the IUT conforms to its specification. We study how partner services need to be designed to serve conformance testing in an asynchronous setting and present an algorithm which generates a complete test suite.
KeywordsTest Suite Boolean Formula Test Guideline Test Case Generation Strongly Connect Component
Unable to display preview. Download preview PDF.
- 3.Lohmann, N.: Correctness of services and their composition. PhD thesis, Universität Rostock / Technische Universiteit Eindhoven, Rostock, Germany / Eindhoven, The Netherlands (2010)Google Scholar
- 4.Lynch, N.A., Tuttle, M.R.: An introduction to input/output automata. CWI Quarterly 2 (1989)Google Scholar
- 7.Bozkurt, M., Harman, M., Hassoun, Y.: Testing web services: A survey. Technical report (2010)Google Scholar
- 8.Baresi, L., Nitto, E.D. (eds.): Test and Analysis of Web Services. Springer, Heidelberg (2007)Google Scholar
- 9.Tretmans, G.J.: A Formal Approach to Conformance Testing. PhD thesis, University of Twente, Enschede (1992)Google Scholar
- 10.Dranidis, D., Kourtesis, D., Ramollari, E.: Formal verification of web service behavioural conformance through testing (2007)Google Scholar
- 12.Weiglhofer, M., Wotawa, F.: Asynchronous input-output conformance testing. In: COMPSAC (1), pp. 154–159 (2009)Google Scholar
- 13.Simao, A., Petrenko, A.: From test purposes to asynchronous test cases. In: ICSTW 2010. IEEE Computer Society (2010)Google Scholar