Synthesizing coordination procedures for distributed testing
of distributed systems
Lenaick Tanguy, Cesar Viho and Claude Jard
IRISA - Universite Rennes I, FRANCE
Abstract
We propose a way to automatically distribute tests of distributed
systems. The
coordination procedure between the distributed testers is also
automatically
derived. It consists in giving in turn the control to each local tester.
We prove that it avoids to design the coordination procedure without
reducing the power of the test.
Keywords:
Black-box conformance testing, distributed testers, coordination
procedure,
asynchronism, synchronization.