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)
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)
3011800000301.pdf
Download (431kB)
Official URL: http://dx.doi.org/10.1007/11888116_32
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 |