Testing Input\slashOutput Partial Order Automata

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 : vendredi 16 novembre 2018 - 01:28:08

Lien texte intégral

Identifiants

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〉

Partager

Métriques

Consultations de la notice

121