Testing Input\slashOutput Partial Order Automata

Stefan Haar 1 Claude Jard 1 Guy-Vincent Jourdan 2
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 SITE - School of Information Technology and Engineering [Ottawa]
Abstract : We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be executed non-atomically, reacting to asynchronous inputs on several ports, and producing asynchronous output on those ports. We develop the formal framework for distributed testing in this architecture and compare with the synchronous I/O automaton setting. The advantage of the compact modelling by IOPOA combines with low complexity: the number of tests required for concurrent input in our model is polynomial in the number of inputs.
Type de document :
Communication dans un congrès
Petrenko, Alexandre and Veanes, Margus and Tretmans, Jan and Grieskamp, Wolfgang. Proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'07) and 7th International Workshop on Formal Approaches to Testing of Software (FATES'07), 2007, Tallinn, Estonia. Springer, 4581, pp.171-185, 2007, 〈10.1007/978-3-540-73066-8_12〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00638306
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 15:07:22
Dernière modification le : mercredi 11 avril 2018 - 01:50:58

Lien texte intégral

openaccess

Identifiants

Collections

INRIA | IRISA | IRISA-D2 | UR1-UFR-ISTIC | UNIV-RENNES | INRIA-RENGRE

Citation

Stefan Haar, Claude Jard, Guy-Vincent Jourdan. Testing Input\slashOutput Partial Order Automata. Petrenko, Alexandre and Veanes, Margus and Tretmans, Jan and Grieskamp, Wolfgang. Proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'07) and 7th International Workshop on Formal Approaches to Testing of Software (FATES'07), 2007, Tallinn, Estonia. Springer, 4581, pp.171-185, 2007, 〈10.1007/978-3-540-73066-8_12〉. 〈inria-00638306〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

106

Contact


archive-ouverte@inria.fr