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

https://hal.inria.fr/inria-00628769
Contributor : Hervé Marchand <>
Submitted on : Tuesday, October 4, 2011 - 10:48:41 AM
Last modification on : Wednesday, April 11, 2018 - 1:55:56 AM
Long-term archiving on: : Thursday, January 5, 2012 - 2:22:43 AM

File

tase2011-long.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00628769, version 1

Collections

Citation

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

Share

Metrics

Record views

148

Files downloads

93