On the fly test generation for real time protocols

Many critical, real-time systems or multimedia systems have time constraints in their specifications. But testing such systems isn't obvious, because the notion of time is not directly under control. A well known problem concerns explosion and complexity related to the computation of behavior graph for real time specifications. This paper introduces a novel approach aimed at avoiding explosion problems. Systems are modelled with timed input output automata. Starting with some formal protocol specification and some test purpose, a synchronous product is computed and a test sequence is generated on the fly, with the building of potential and success time intervals which are used to determine the result of the test: fail, pass or inconclusive.