Méthode formelle de génération de séquences de tests temporisés - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

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

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.
Fichier non déposé

Dates et versions

inria-00100566 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100566 , version 1

Citer

Françoise Simonot-Lion, Laurent Kaiser, Ricardo dos Santos Marques. Méthode formelle de génération de séquences de tests temporisés. Modélisation et Système Réactifs 2001, 2001, Toulouse, France, pp.291-305. ⟨inria-00100566⟩
85 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More