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 Access content directly
Conference Papers Year : 2001

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

Abstract

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.
Not file

Dates and versions

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

Identifiers

  • HAL Id : inria-00100566 , version 1

Cite

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⟩
82 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More