Skip to Main content Skip to Navigation
Conference papers

A Tagging Protocol for Asynchronous Testing

Abstract : Conformance testing has a rich underlying theory popularly called IOCO-test theory. In the realm of IOCO-test theory, this paper addresses the issue of testing a component of an asynchronously communicating distributed system. Testing a system which communicates asynchronously (i.e., through some medium) with its environment is more difficult than testing a system which communicates synchronously (i.e., directly without any medium). What impedes asynchronous testing is that the actual behavior of the implementation under test (IUT) appears distorted and infinite to the tester. This impediment consequently renders the problem of generating a complete test suite, from the given specification of the IUT, infeasible. To this end, this paper contributes by proposing a tagging protocol which when implemented by the asynchronously communicating distributed system will make the problem of generating a complete test suite, from the specification of any of its component, feasible. Further, this paper describes how to generate the test suite from the given specification of the component.
Document type :
Conference papers
Complete list of metadata
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Tuesday, October 4, 2011 - 10:48:41 AM
Last modification on : Friday, February 4, 2022 - 3:17:17 AM
Long-term archiving on: : Thursday, January 5, 2012 - 2:22:43 AM


Files produced by the author(s)


  • HAL Id : inria-00628769, version 1



Puneet Batheja. A Tagging Protocol for Asynchronous Testing. IEEE International Conference on Theoretical Aspects of Software Engineering, Aug 2011, Xi'an, China. ⟨inria-00628769⟩



Record views


Files downloads