Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00100566
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:47:38 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM

Identifiers

  • 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. Modélisation et Système Réactifs 2001, 2001, Toulouse, France, pp.291-305. ⟨inria-00100566⟩

Share

Metrics

Record views

163