Loading...
Please wait, while we are loading the content...
Testing Input/Output Partial Order Automata
| Content Provider | CiteSeerX |
|---|---|
| Author | Jourdan, Guy-Vincent Haar, Stefan Jard, Claude |
| Abstract | 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. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Distributed System Formal Framework Distributed Testing Several Port Asynchronous Output Asynchronous Input Low Complexity Iopoa Combine Concurrent Input Input Output Partial Order Automaton Compact Modelling Automaton Setting Finite State Machine Framework |
| Content Type | Text |
| Resource Type | Article |
