Testing of Partial Order Input/Output Automata

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.