On the fly test generation for real time protocols

Ousmane Koné (1) , Richard Castanet (2) , Patrice Laurencot (2)

1 LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

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 specification and some test purpose, a synchronous product is computed and 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.

Mots clés: On the fly technique; temps réel; Real time; Protocol; Testing; protocole; test; technique à la volée

Domaines: Autre [cs.OH]

Ousmane Koné, Richard Castanet, Patrice Laurencot. On the fly test generation for real time protocols. International Conference on Computer Communications & Networks - IC3N'98, 1998, Lafayette, Louisiana, USA. ⟨inria-00098453⟩