Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |
Download paper Gziped Postscript (.ps.gz)
Copyright noticeThis 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.
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.
Thierry Jéron
Thierry.Jeron@irisa.fr
@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}
}
Get EndNote Reference (.ref)