@incollection{fdi:010008733,
  title = {{L}e test de conformit{\'e} en {I}ng{\'e}nierie des {P}rotocoles : poster},
  author = {{K}on{\'e}, {O}.},
  editor = {},
  language = {{FRE}},
  abstract = {{L}'ing{\'e}nierie des protocoles regroupe un ensemble d'activit{\'e}s permettant de d{\'e}velopper des syst{\`e}mes de communication de qualit{\'e}. {L}a complexit{\'e} de tels syst{\`e}mes n{\'e}cessite d'utiliser des techniques automatiques, et formelles. {L}e test de conformit{\'e}, est l'une de ces activit{\'e}s, qui est normalis{\'e}e. {L}a norme {ISO}9646 d{\'e}finit le cadre et la m{\'e}thodologie {\`a} suivre par les laboratoires accr{\'e}dit{\'e}s, dans le processus de test. {D}epuis, des travaux de recherche pour automatiser, dans un cadre formel la g{\'e}n{\'e}ration de tests ont {\'e}t{\'e} men{\'e}s. {L}es m{\'e}thodes {\'e}tablies utilisent une mod{\'e}lisation des entit{\'e}s de protocole par des syst{\`e}mes {\`a} transition. {N}ous faisons un regroupement de ces m{\'e}thodes en deux grandes classes, que nous appelons approches bas{\'e}es sur les {A}utomates d'{E}tats {F}inis et approches bas{\'e}es sur les testeurs canoniques. {L}a premi{\`e}re classe de m{\'e}thodes est fond{\'e}e sur la g{\'e}n{\'e}ration, {\`a} partir de mod{\`e}les d'{A}utomates d'{E}tats {F}inis, de suites finies de tests sous forme de s{\'e}quences d'entr{\'e}e-sortie. {L}a deuxi{\`e}me classe de m{\'e}thodes est fond{\'e}e sur la g{\'e}n{\'e}ration, {\`a} partir de mod{\`e}les de type {S}yst{\`e}mes de {T}ransitions {E}tiquet{\'e}es, d'un processus de test appel{\'e} testeur canonique. {C}ette communication introduit le test de conformit{\'e}, dans son contexte normatif, et pr{\'e}sente les classes de m{\'e}thodes cit{\'e}es pr{\'e}c{\'e}demment. {N}ous exhibons le pouvoir, (et les limites) de ces m{\'e}thodes, et nous pr{\'e}sentons les travaux r{\'e}cents, de m{\^e}me que les d{\'e}veloppements en cours. ({R}{\'e}sum{\'e} d'auteur)},
  keywords = {{TEST} ; {COMMUNICATION} ; {INFORMATIQUE} ; {NORME} ; {PROTOCOLE}},
  booktitle = {{CARI}'96 : actes du 3{\`e}me colloque africain sur la recherche en informatique = {CARI}'96 : proceedings of the 3rd {A}frican conference on research in computer science},
  numero = {},
  pages = {352},
  address = {{P}aris},
  publisher = {{ORSTOM}},
  series = {{C}olloques et {S}{\'e}minaires},
  year = {1996},
  ISBN = {2-7099-1333-{X}},
  ISSN = {0767-2896},
  URL = {https://www.documentation.ird.fr/hor/fdi:010008733},
}