Méthodes formelles de test de conformité des protocoles
Identifieur interne : 006202 ( Hal/Corpus ); précédent : 006201; suivant : 006203Méthodes formelles de test de conformité des protocoles
Auteurs : Ousmane Koné ; Richard CastanetSource :
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques [ 0752-4072 ] ; 1999.
Descripteurs français
- mix :
Abstract
Le {\it test de conformité} consiste à vérifier qu'une implantation est conforme à un protocole donné. La complexité des protocoles et la fiabilité attendue de leurs implantations nécessitent que les méthodes de test de conformité utilisent des techniques automatiques et formelles. Des travaux récents menés par les organismes de normalisation et dans le contexte industriel, permettent de faire une classification des méthodes formelles de test de conformité en trois grandes classes, que nous appelons {\it méthodes basées sur les automates d'états finis}, {\it méthodes basées sur les testeurs canoniques} et {\it méthodes orientées objectif de test}. Cet article se propose d'introduire ces principales tendances de test tout en les situant par rapport aux normes. || {\it Conformance testing} aims at checking that some implementation conforms to a given protocol specification. The complexity of protocols and the expected reliability of their implementations require formal and automatic-based testing techniques to
Url:
Links to Exploration step
Hal:inria-00098893Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr">Méthodes formelles de test de conformité des protocoles</title><author><name sortKey="Kone, Ousmane" sort="Kone, Ousmane" uniqKey="Kone O" first="Ousmane" last="Koné">Ousmane Koné</name><affiliation><hal:affiliation type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-300291" type="direct"></relation><relation active="#struct-300292" type="direct"></relation><relation active="#struct-300293" type="direct"></relation></listRelation><tutelles><tutelle name="UMR7503" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-300009" type="direct"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-300291" type="direct"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName><orgName type="acronym">UHP</orgName><date type="end">2011-12-31</date><desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300292" type="direct"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName><date type="end">2011-12-31</date><desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300293" type="direct"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName><orgName type="acronym">INPL</orgName><date type="end">2011-12-31</date><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation></affiliation></author><author><name sortKey="Castanet, Richard" sort="Castanet, Richard" uniqKey="Castanet R" first="Richard" last="Castanet">Richard Castanet</name><affiliation><hal:affiliation type="laboratory" xml:id="struct-3102" status="VALID"><orgName>Laboratoire Bordelais de Recherche en Informatique</orgName><orgName type="acronym">LaBRI</orgName><desc><address><addrLine>Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.labri.fr</ref></desc><listRelation><relation active="#struct-91134" type="direct"></relation><relation active="#struct-92972" type="direct"></relation><relation active="#struct-300366" type="direct"></relation><relation name="UMR5800" active="#struct-441569" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-91134" type="direct"><org type="institution" xml:id="struct-91134" status="OLD"><orgName>Université Bordeaux Segalen - Bordeaux 2</orgName><desc><address><addrLine>146 rue Léo Saignat - 33076 Bordeaux cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-bordeauxsegalen.fr/</ref></desc></org></tutelle><tutelle active="#struct-92972" type="direct"><org type="institution" xml:id="struct-92972" status="OLD"><orgName>Université Sciences et Technologies - Bordeaux 1</orgName><desc><address><addrLine>351 cours de la Libération - 33405 Talence cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.u-bordeaux1.fr</ref></desc></org></tutelle><tutelle active="#struct-300366" type="direct"><org type="institution" xml:id="struct-300366" status="VALID"><orgName>École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle name="UMR5800" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:inria-00098893</idno><idno type="halId">inria-00098893</idno><idno type="halUri">https://hal.inria.fr/inria-00098893</idno><idno type="url">https://hal.inria.fr/inria-00098893</idno><date when="1999">1999</date><idno type="wicri:Area/Hal/Corpus">006202</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="fr">Méthodes formelles de test de conformité des protocoles</title><author><name sortKey="Kone, Ousmane" sort="Kone, Ousmane" uniqKey="Kone O" first="Ousmane" last="Koné">Ousmane Koné</name><affiliation><hal:affiliation type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-300291" type="direct"></relation><relation active="#struct-300292" type="direct"></relation><relation active="#struct-300293" type="direct"></relation></listRelation><tutelles><tutelle name="UMR7503" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-300009" type="direct"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-300291" type="direct"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName><orgName type="acronym">UHP</orgName><date type="end">2011-12-31</date><desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300292" type="direct"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName><date type="end">2011-12-31</date><desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300293" type="direct"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName><orgName type="acronym">INPL</orgName><date type="end">2011-12-31</date><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation></affiliation></author><author><name sortKey="Castanet, Richard" sort="Castanet, Richard" uniqKey="Castanet R" first="Richard" last="Castanet">Richard Castanet</name><affiliation><hal:affiliation type="laboratory" xml:id="struct-3102" status="VALID"><orgName>Laboratoire Bordelais de Recherche en Informatique</orgName><orgName type="acronym">LaBRI</orgName><desc><address><addrLine>Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.labri.fr</ref></desc><listRelation><relation active="#struct-91134" type="direct"></relation><relation active="#struct-92972" type="direct"></relation><relation active="#struct-300366" type="direct"></relation><relation name="UMR5800" active="#struct-441569" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-91134" type="direct"><org type="institution" xml:id="struct-91134" status="OLD"><orgName>Université Bordeaux Segalen - Bordeaux 2</orgName><desc><address><addrLine>146 rue Léo Saignat - 33076 Bordeaux cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-bordeauxsegalen.fr/</ref></desc></org></tutelle><tutelle active="#struct-92972" type="direct"><org type="institution" xml:id="struct-92972" status="OLD"><orgName>Université Sciences et Technologies - Bordeaux 1</orgName><desc><address><addrLine>351 cours de la Libération - 33405 Talence cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.u-bordeaux1.fr</ref></desc></org></tutelle><tutelle active="#struct-300366" type="direct"><org type="institution" xml:id="struct-300366" status="VALID"><orgName>École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle name="UMR5800" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation></affiliation></author></analytic><series><title level="j">Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques</title><idno type="ISSN">0752-4072</idno><imprint><date type="datePub">1999</date></imprint></series></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="mix" xml:lang="fr"><term>automates d'états finis</term><term>canonical testers</term><term>communication protocols</term><term>conformance testing</term><term>finite state machines</term><term>iso9646</term><term>itu-t z.500</term><term>itu-tz.500</term><term>objectif de test</term><term>protocoles de communication</term><term>test de conformité</term><term>test purpose</term><term>testeurs canoniques</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr">Le {\it test de conformité} consiste à vérifier qu'une implantation est conforme à un protocole donné. La complexité des protocoles et la fiabilité attendue de leurs implantations nécessitent que les méthodes de test de conformité utilisent des techniques automatiques et formelles. Des travaux récents menés par les organismes de normalisation et dans le contexte industriel, permettent de faire une classification des méthodes formelles de test de conformité en trois grandes classes, que nous appelons {\it méthodes basées sur les automates d'états finis}, {\it méthodes basées sur les testeurs canoniques} et {\it méthodes orientées objectif de test}. Cet article se propose d'introduire ces principales tendances de test tout en les situant par rapport aux normes. || {\it Conformance testing} aims at checking that some implementation conforms to a given protocol specification. The complexity of protocols and the expected reliability of their implementations require formal and automatic-based testing techniques to</div></front></TEI><hal api="V3"><titleStmt><title xml:lang="fr">Méthodes formelles de test de conformité des protocoles</title><author role="aut"><persName><forename type="first">Ousmane</forename><surname>Koné</surname></persName><email></email><idno type="halauthor">130084</idno><orgName ref="#struct-364480"></orgName><affiliation ref="#struct-160"></affiliation></author><author role="aut"><persName><forename type="first">Richard</forename><surname>Castanet</surname></persName><email></email><idno type="halauthor">129560</idno><orgName ref="#struct-364481"></orgName><affiliation ref="#struct-3102"></affiliation></author><editor role="depositor"><persName><forename>Publications</forename><surname>Loria</surname></persName><email>publications@loria.fr</email></editor></titleStmt><editionStmt><edition n="v1" type="current"><date type="whenSubmitted">2006-09-26 08:39:57</date><date type="whenModified">2016-05-19 01:04:45</date><date type="whenReleased">2006-09-28 15:22:45</date><date type="whenProduced">1999</date></edition><respStmt><resp>contributor</resp><name key="108626"><persName><forename>Publications</forename><surname>Loria</surname></persName><email>publications@loria.fr</email></name></respStmt></editionStmt><publicationStmt><distributor>CCSD</distributor><idno type="halId">inria-00098893</idno><idno type="halUri">https://hal.inria.fr/inria-00098893</idno><idno type="halBibtex">kone:inria-00098893</idno><idno type="halRefHtml">Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1999, 18 (5), pp.519-554</idno><idno type="halRef">Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1999, 18 (5), pp.519-554</idno></publicationStmt><seriesStmt><idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno><idno type="stamp" n="LABRI">Laboratoire Bordelais de Recherche en Informatique</idno><idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno><idno type="stamp" n="INPL">Institut National Polytechnique de Lorraine</idno><idno type="stamp" n="ENSEIRB">Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux</idno><idno type="stamp" n="UNIV-BORDEAUX">Université de Bordeaux</idno><idno type="stamp" n="LORIA2">Publications du LORIA</idno><idno type="stamp" n="LABO-LORIA-SET" p="LORIA">LABO-LORIA-SET</idno><idno type="stamp" n="LORIA">LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno><idno type="stamp" n="TESTBORDEAUX">TESTBORDEAUX</idno><idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno></seriesStmt><notesStmt><note type="commentary">Article dans revue scientifique avec comité de lecture.</note><note type="audience" n="1">Not set</note><note type="popular" n="0">No</note><note type="peer" n="1">Yes</note></notesStmt><sourceDesc><biblStruct><analytic><title xml:lang="fr">Méthodes formelles de test de conformité des protocoles</title><author role="aut"><persName><forename type="first">Ousmane</forename><surname>Koné</surname></persName><idno type="halAuthorId">130084</idno><orgName ref="#struct-364480"></orgName><affiliation ref="#struct-160"></affiliation></author><author role="aut"><persName><forename type="first">Richard</forename><surname>Castanet</surname></persName><idno type="halAuthorId">129560</idno><orgName ref="#struct-364481"></orgName><affiliation ref="#struct-3102"></affiliation></author></analytic><monogr><idno type="localRef">99-R-403 || kone99a</idno><idno type="halJournalId" status="VALID">55041</idno><idno type="issn">0752-4072</idno><idno type="eissn">2116-5920</idno><title level="j">Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques</title><imprint><publisher>Lavoisier</publisher><biblScope unit="volume">18</biblScope><biblScope unit="issue">5</biblScope><biblScope unit="pp">519-554</biblScope><date type="datePub">1999</date></imprint></monogr></biblStruct></sourceDesc><profileDesc><langUsage><language ident="fr">French</language></langUsage><textClass><keywords scheme="author"><term xml:lang="fr">protocoles de communication</term><term xml:lang="fr">test purpose</term><term xml:lang="fr">communication protocols</term><term xml:lang="fr">conformance testing</term><term xml:lang="fr">iso9646</term><term xml:lang="fr">itu-tz.500</term><term xml:lang="fr">finite state machines</term><term xml:lang="fr">canonical testers</term><term xml:lang="fr">test de conformité</term><term xml:lang="fr">itu-t z.500</term><term xml:lang="fr">automates d'états finis</term><term xml:lang="fr">testeurs canoniques</term><term xml:lang="fr">objectif de test</term></keywords><classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</classCode><classCode scheme="halTypology" n="ART">Journal articles</classCode></textClass><abstract xml:lang="fr">Le {\it test de conformité} consiste à vérifier qu'une implantation est conforme à un protocole donné. La complexité des protocoles et la fiabilité attendue de leurs implantations nécessitent que les méthodes de test de conformité utilisent des techniques automatiques et formelles. Des travaux récents menés par les organismes de normalisation et dans le contexte industriel, permettent de faire une classification des méthodes formelles de test de conformité en trois grandes classes, que nous appelons {\it méthodes basées sur les automates d'états finis}, {\it méthodes basées sur les testeurs canoniques} et {\it méthodes orientées objectif de test}. Cet article se propose d'introduire ces principales tendances de test tout en les situant par rapport aux normes. || {\it Conformance testing} aims at checking that some implementation conforms to a given protocol specification. The complexity of protocols and the expected reliability of their implementations require formal and automatic-based testing techniques to</abstract></profileDesc></hal></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 006202 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd -nk 006202 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Hal
|étape= Corpus
|type= RBID
|clé= Hal:inria-00098893
|texte= Méthodes formelles de test de conformité des protocoles
}}
| This area was generated with Dilib version V0.6.33. |  |