A Tagging Protocol for Asynchronous Testing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

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.
Fichier principal
Vignette du fichier
tase2011-long.pdf (116.07 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00628769 , version 1 (04-10-2011)

Identifiers

  • HAL Id : inria-00628769 , version 1

Cite

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

Collections

INRIA INRIA2
40 View
33 Download

Share

Gmail Facebook X LinkedIn More