On the fly test generation for real time protocols

Abstract : 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.
Type de document :
Communication dans un congrès
International Conference on Computer Communications & Networks - IC3N'98, 1998, Lafayette, Louisiana, USA, 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00098453
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:01:38
Dernière modification le : jeudi 11 janvier 2018 - 06:25:24

Identifiants

  • HAL Id : inria-00098453, version 1

Citation

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, 1998. 〈inria-00098453〉

Partager

Métriques

Consultations de la notice

152