Skip to Main content Skip to Navigation
Theses

Une approche de test de conformité des systèmes d'administration de réseaux

Résumé : Le haut degré de fiabilité exige dans le fonctionnement des logiciels de communication explique le développement actuel des travaux autour du test de conformité, activité qui consiste à vérifier que l'implantation d'un logiciel est conforme à sa spécification. Cette thèse propose une approche de test de conformité des systèmes d'administration de réseaux. Dans une première étape nous proposons des architectures de test pour des processus gestionnaires, des processus agents et des objets gérés. Ces architectures sont une extension des méthodes abstraites de test définies dans ISO 9646 pour prendre en compte le test de systèmes à plusieurs interfaces. Dans une deuxième étape nous définissons une méthode de dérivation de tests à partir de spécifications GDMO/ASN.1. Nous proposons une extension à ASN.1 pour la spécification de contraintes et de données de tests, et une méthode de génération de tests à partir de ces extensions par génération/satisfaction de contraintes. Le comportement dans GDMO est décrit en deux étapes: le comportement des objets gérés pris individuellement puis les interactions entre objets. L’ensemble du système de génération propose une méthode de génération de tests à partir d'EFSMS communicants
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/SCD_T_1995_0362_KABORE.pdf
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01753689
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 4:47:05 PM
Last modification on : Tuesday, January 29, 2019 - 1:21:50 AM

Identifiers

  • HAL Id : tel-01753689, version 1

Collections

Citation

Paul P. Kaboré. Une approche de test de conformité des systèmes d'administration de réseaux. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1995. Français. ⟨NNT : 1995NAN10362⟩. ⟨tel-01753689⟩

Share

Metrics

Record views

9