Méthode formelle de génération de séquences de tests temporisés

Françoise Simonot-Lion 1 Laurent Kaiser 1 Ricardo Dos Santos Marques 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Le contexte de cet article est l'interopérabilité temporelle de composants dans une application temps réel. Nous présentons une méthode pour vérifier cette interopérabilité par une approche de tests de conformité. Le point clé de ce papier réside dans la spécification d'une méthode de test dite adaptative. Le processus de génération de séquences de tests repose sur l'exploitation du formalisme des TIOSM. Le comportement logique du testeur est défini statiquement (séquence d'événements, identification des horloges et des contraintes de temps). l'évaluation de la date de tir d'une transition est faite en ligne, c'est-à-dire pendant le processus de test lui-même. Pour assurer ceci, un ensemble d'inéquations linéaires est généré et associé à chaque état du TIOSM représentant la séquence de tests. Un outil de résolution du systéme d'inéquations est intégré à l'équipement de test.
Type de document :
Communication dans un congrès
G. Juanole et R. Valette. Modélisation et Système Réactifs 2001, 2001, Toulouse, France, Hermes, pp.291-305, 2001
Liste complète des métadonnées

https://hal.inria.fr/inria-00100566
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:47:38
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05

Identifiants

  • HAL Id : inria-00100566, version 1

Collections

Citation

Françoise Simonot-Lion, Laurent Kaiser, Ricardo Dos Santos Marques. Méthode formelle de génération de séquences de tests temporisés. G. Juanole et R. Valette. Modélisation et Système Réactifs 2001, 2001, Toulouse, France, Hermes, pp.291-305, 2001. 〈inria-00100566〉

Partager

Métriques

Consultations de la notice

144