Testing Systems Specified as Partial Order Input/Output Automata

  • Gregor v. Bochmann
  • Stefan Haar
  • Claude Jard
  • Guy-Vincent Jourdan
Conference paper

DOI: 10.1007/978-3-540-68524-1_13

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5047)
Cite this paper as:
Bochmann G.., Haar S., Jard C., Jourdan GV. (2008) Testing Systems Specified as Partial Order Input/Output Automata. In: Suzuki K., Higashino T., Ulrich A., Hasegawa T. (eds) Testing of Software and Communicating Systems. Lecture Notes in Computer Science, vol 5047. Springer, Berlin, Heidelberg

Abstract

An Input/Output Automaton is an automaton with a finite number of states where each transition is associated with a single inpuf or output interaction. In [1], we introduced a new formalism, in which each transition is associated with a bipartite partially ordered set made of concurrent inputs followed by concurrent outputs. In this paper, we generalize this model to Partial Order Input/Output Automata (POIOA), in which each transition is associated with an almost arbitrary partially ordered set of inputs and outputs. This formalism can be seen as High-Level Messages Sequence Charts with inputs and outputs and allows for the specification of concurrency between inputs and outputs in a very general, direct and concise way. We give a formal definition of this framework, 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 POIOA-specific fault model: missing output faults, unspecified output faults, weaker precondition faults, stronger precondition faults and transfer faults.

Keywords

Testing distributed systems partial order finite state automata conformance relations partial order automata HMSC 
Download to read the full conference paper text

Copyright information

© IFIP International Federation for Information Processing 2008

Authors and Affiliations

  • Gregor v. Bochmann
    • 1
  • Stefan Haar
    • 2
  • Claude Jard
    • 3
  • Guy-Vincent Jourdan
    • 1
  1. 1.School of Information Technology and Engineering (SITE)University of OttawaOttawaCanada
  2. 2.IRISA/INRIARennesFrance
  3. 3.ENS Cachan, IRISAUniversité Européenne de BretagneBruzFrance

Personalised recommendations