Minimizing coordination channels in distributed testing

Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü (2006) Minimizing coordination channels in distributed testing. Lecture Notes in Computer Science (Formal Techniques for Networked and Distributed Systems - Forte 2006), 4229 . pp. 451-466. ISSN 0302-9743 (Print) 1611-3349 (Online)

[thumbnail of This is a RoMEO green publisher -- author can archive pre-print (ie pre-refereeing) and post-print (ie final draft post-refereeing)] PDF (This is a RoMEO green publisher -- author can archive pre-print (ie pre-refereeing) and post-print (ie final draft post-refereeing))
3011800000301.pdf

Download (431kB)

Abstract

Testing may be used to show that a system under test conforms to its specication. 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 p2 p 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.
Item Type: Article
Subjects: Q Science > QA Mathematics
Divisions: Faculty of Engineering and Natural Sciences
Depositing User: Hüsnü Yenigün
Date Deposited: 04 Dec 2006 02:00
Last Modified: 04 Sep 2019 09:48
URI: https://research.sabanciuniv.edu/id/eprint/50

Actions (login required)

View Item
View Item