A Distributed Approach for Testing Timed Systems

During the development of complex systems, testing is an important step. Sometimes it takes a long time and requires a lot of resources. In addition, the complexity of such step increases if the systems handle time constraints. In this paper we present a solution to reduce the complexity of testing these timed systems. We suggest a distributed algorithm for testing these systems. Then we present an implementation of this algorithm on the JXTA environment. We analyze a large number of experiments on different systems. That has shown the efficiency of this approach.