Conformance testing of real-time component based systems

In this paper, we suggest a methodology for testing Real Time Component Based Systems (RTCBS). A RTCBS is described as a collection of components where each component is modeled as a Timed Input-Output Automaton (TIOA). The first part of this study is devoted to the generation of timed-test sequences. Our algorithm for test sequence derivation extracts executable timed test sequences from a synchronous product between a timed test purpose (a property required on the system) and the corresponding component(s) specification. The second part presents an adequate test architecture consisting of the System Under Test (SUT) components, and a distributed tester that consists of a set of coordinating testers. Each tester is dedicated to test a single SUT component. A test execution algorithm is presented. Testing the SUT is divided into two phases. In the first phase, each of the testers tests its corresponding component in isolation. In the second phase, each tester executes only its corresponding communication timed test sequences to test the interaction between components integrated in a RTCBS, taking into consideration the synchronization of events between testers themselves.