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 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
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 http://www.irisa.fr/prive/jeron
@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)
|
| VerTeCs
| Team
| Publications
| New Results
| Softwares
|
Irisa - Inria - Copyright 2005 © Projet VerTeCs |