Testing Input\slashOutput Partial Order Automata - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Testing Input\slashOutput Partial Order Automata


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.


Other [cs.OH]

Dates and versions

inria-00638306 , version 1 (04-11-2011)



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⟩
54 View
0 Download



Gmail Facebook X LinkedIn More