Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00638306
Contributor : Stefan Haar <>
Submitted on : Friday, November 4, 2011 - 3:07:22 PM
Last modification on : Tuesday, June 15, 2021 - 4:14:12 PM

Links full text

Identifiers

Citation

Stefan Haar, Claude Jard, Guy-Vincent Jourdan. Testing Input\slashOutput Partial Order Automata. 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. pp.171-185, ⟨10.1007/978-3-540-73066-8_12⟩. ⟨inria-00638306⟩

Share

Metrics

Record views

148