Koné O. (1996). Le test de conformité en Ingénierie des Protocoles : poster. In :
Moukeli P. (ed.). CARI'96 : actes du 3ème colloque africain sur la recherche en informatique = CARI'96 : proceedings of the 3rd African conference on research in computer science. Paris : ORSTOM, p. 352. (Colloques et Séminaires). CARI'96 : Colloque Africain sur la Recherche en Informatique = CARI'96 : African Conference on Research in Computer Science, 3., Libreville (GAB), 1996/10/09-16. ISBN 2-7099-1333-X. ISSN 0767-2896.
Titre du document
Le test de conformité en Ingénierie des Protocoles : poster
Année de publication
1996
Type de document
Partie d'ouvrage
Auteurs
Koné O.
In
Moukeli P. (ed.) CARI'96 : actes du 3ème colloque africain sur la recherche en informatique = CARI'96 : proceedings of the 3rd African conference on research in computer science
Source
Paris : ORSTOM, 1996,
p. 352 (Colloques et Séminaires). ISBN 2-7099-1333-X ISSN 0767-2896
Colloque
CARI'96 : Colloque Africain sur la Recherche en Informatique = CARI'96 : African Conference on Research in Computer Science, 3., Libreville (GAB), 1996/10/09-16
L'ingénierie des protocoles regroupe un ensemble d'activités permettant de développer des systèmes de communication de qualité. La complexité de tels systèmes nécessite d'utiliser des techniques automatiques, et formelles. Le test de conformité, est l'une de ces activités, qui est normalisée. La norme ISO9646 définit le cadre et la méthodologie à suivre par les laboratoires accrédités, dans le processus de test. Depuis, des travaux de recherche pour automatiser, dans un cadre formel la génération de tests ont été menés. Les méthodes établies utilisent une modélisation des entités de protocole par des systèmes à transition. Nous faisons un regroupement de ces méthodes en deux grandes classes, que nous appelons approches basées sur les Automates d'Etats Finis et approches basées sur les testeurs canoniques. La première classe de méthodes est fondée sur la génération, à partir de modèles d'Automates d'Etats Finis, de suites finies de tests sous forme de séquences d'entrée-sortie. La deuxième classe de méthodes est fondée sur la génération, à partir de modèles de type Systèmes de Transitions Etiquetées, d'un processus de test appelé testeur canonique. Cette communication introduit le test de conformité, dans son contexte normatif, et présente les classes de méthodes citées précédemment. Nous exhibons le pouvoir, (et les limites) de ces méthodes, et nous présentons les travaux récents, de même que les développements en cours. (Résumé d'auteur)
Plan de classement
Informatique : généralités, théorie [122INFGEN]
Descripteurs
TEST ; COMMUNICATION ; INFORMATIQUE ; NORME ; PROTOCOLE
