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.
Type de document :
Communication dans un congrès
IEEE International Conference on Theoretical Aspects of Software Engineering, Aug 2011, Xi'an, China. IEEE, 2011
Liste complète des métadonnées

https://hal.inria.fr/inria-00628769
Contributeur : Hervé Marchand <>
Soumis le : mardi 4 octobre 2011 - 10:48:41
Dernière modification le : mercredi 11 avril 2018 - 01:55:56
Document(s) archivé(s) le : jeudi 5 janvier 2012 - 02:22:43

Fichier

tase2011-long.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. IEEE, 2011. 〈inria-00628769〉

Partager

Métriques

Consultations de la notice

120

Téléchargements de fichiers

70