Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

Jeron-Morel-CFIP97

T. Jéron, P. Morel. Abstraction, $\tau$-réduction et déterminisation à la volée: application à la génération de test. In CFIP'97, Congrès Francophone sur l'Ingéniérie des Protocoles, Liège, Belgique, September 1997.

Download [help]

Download paper: Gziped Postscript

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Abstract

La génération automatique de tests de conformité pour un protocole passe généralement par la construction du graphe d'état de la spécification formelle puis sa transformation pour ne conserver que le comportement visible depuis l'environnement. L'explosion combinatoire résultant de la construction de ce graphe d'état limite souvent l'applicabilité de la génération automatique à des spécifications de petite taille. Dans cet article nous montrons comment les principes de la génération ``à la volée'' appliqués à l'abstraction, à la réduction des actions internes et à la déterminisation peuvent permettre de contourner cette explosion combinatoire en ne construisant, pour un objectif de test donné, que la partie du graphe d'état nécessaire à la production d'un test. Ces principes sont illustrés par leur mise en oeuvre dans notre prototype TGV qui permet de générer des tests à partir de spécifications en SDL ou en Lotos

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron

BibTex Reference

@InProceedings{Jeron-Morel-CFIP97,
   Author = {Jéron, T. and Morel, P.},
   Title = {Abstraction, $\tau$-réduction et déterminisation à la volée: application à la génération de test},
   BookTitle = {CFIP'97, Congrès Francophone sur l'Ingéniérie des Protocoles, Liège, Belgique},
   Publisher = {Hermes},
   Month = {September},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)