Loading...
Please wait, while we are loading the content...
Similar Documents
Testing of partial order input/output automata.
| Content Provider | CiteSeerX |
|---|---|
| Author | Bochmann, Gregor V. Jourdan, Guy-Vincent Haar, Stefan |
| Abstract | Abstract. An Input/Output Automaton is an automaton with a finite number of state where each transition is associated with a single input or output interaction. In this paper, we consider a generalization of this formalism, the Partial Order Input/Output Automata (POIOA), in which each transition is associated with a partially ordered set of inputs and outputs. This new formalism allows the specification of concurrency between inputs and outputs in a very general, direct and concise way. In this paper, we give a formal definition of this formalism, and define several conformance relations for comparing system specifications expressed in this formalism. Then we show how to derive a test suite that guarantees to detect faults defined by a POIOAspecific fault model: transfer faults, missing output faults, unspecified output faults, weaker precondition faults and stronger precondition faults. |
| File Format | |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
