Towards Overcoming Issues of Testing Probabilistic Distributed systems

Testing a distributed system, to ensure its conformance to the specification, involves usually placing a set of parallel testers called PTCs (Parallel Test Components) attached to each port of the implementation under test (IUT). As a result, many problems known as controllability, observability and synchronisation fault detections occur while testing such distributed systems. Hence, the design process should take into consideration the mechanisms and functions needed to support interaction, communication and coordination between the distributed components especially if the implementation exhibits a stochastic behaviour. In this paper, we use probabilistic automaton to model and analyse the stochastic behaviour of the implementation under test. Then, we propose an algorithm for generating probabilistic local test sequences (PLTS) for each tester guarantying to avoid problems of coordination, observation and synchronization during the testing process.