Testing Input/Output Partial Order Automata

  title={Testing Input/Output Partial Order Automata},
  author={Stefan Haar and Claude Jard and Guy-Vincent Jourdan},
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… CONTINUE READING
Highly Cited
This paper has 67 citations. REVIEW CITATIONS

4 Figures & Tables



Citations per Year

68 Citations

Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.