Interconnexion de systèmes ouverts : test d'interopérabilité, test avec contraintes de temps physique

par Ousmane Koné

Thèse de doctorat en Informat.

Sous la direction de Richard Castanet.

Soutenue en 1994

à Bordeaux 1 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Le travail presente dans cette these propose, dans un cadre utilisant la theorie des testeurs canoniques, deux aspects (complementaires): 1) une approche pour augmenter la pertinence des tests par integration des contraintes de temps physique: la necessite d'inclure les contraintes de temps dans les criteres de (test) de conformite est soutenue, et le modele de tiosm (imed input output state machine) est propose pour specifier ces contraintes. Une formalisation (du test) de conformite incluant les contraintes de temps physique, et des methodes de calcul de testeurs canoniques temporises sont proposees. Enfin, il est montre que ces contraintes permettent d'ameliorer le cout, la couverture generale des tests; 2) une methodologie formelle pour le test d'interoperabilite: la notion (de test) d'interoperabilite est formalisee, et un systeme de testeurs concurrents (stc) est propose pour l'interoperabilite. Ces testeurs generent les tests au vol, ce qui evite de calculer le graphe decrivant la communication globale des entites a tester. Il est montre que le stc est un testeur canonique d'interoperabilite. La technique de description formelle estelle est ensuite utilisee pour proposer une description operationnelle du stc. Une telle description permet ensuite d'experimenter le stc avec le simulateur veda

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 183 p.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FT 94.B-1053
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTR 94.B-1053
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.