Minimizing Coordination Channels in Distributed Testing

  • Guy-Vincent Jourdan
  • Hasan Ural
  • Hüsnü Yenigün
Conference paper

DOI: 10.1007/11888116_32

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4229)
Cite this paper as:
Jourdan GV., Ural H., Yenigün H. (2006) Minimizing Coordination Channels in Distributed Testing. In: Najm E., Pradat-Peyre JF., Donzeau-Gouge V.V. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2006. FORTE 2006. Lecture Notes in Computer Science, vol 4229. Springer, Berlin, Heidelberg

Abstract

Testing may be used to show that a system under test conforms to its specification. In the case of a distributed system, one may have to use a distributed test architecture, involving p testers in order to test the system under test. These p testers may under some circumstances have to coordinate their actions with each other using external coordination channels. This may require the use of up to p2p unidirectional coordination channels in the test architecture, which can be an extensive and expensive setup. In this paper, we propose a method to generate checking sequences while minimizing the number of required coordination channels, by adapting existing methods that generate checking sequences to be applied in a centralized test architecture. We consider the case of unidirectional and bidirectional coordination channels, and the case of transitive coordination.

Download to read the full conference paper text

Copyright information

© IFIP International Federation for Information Processing 2006

Authors and Affiliations

  • Guy-Vincent Jourdan
    • 1
  • Hasan Ural
    • 1
  • Hüsnü Yenigün
    • 2
  1. 1.School of Information Technology and Engineering (SITE)University of OttawaOttawaCanada
  2. 2.Faculty of Engineering and Natural SciencesSabancı UniversityTuzlaTurkey

Personalised recommendations