%0 Conference Proceedings
%F Jeron-Morel-CFIP97
%A Jéron, T.
%A Morel, P.
%T Abstraction, $\tau$-réduction et déterminisation à la volée: application à la génération de test
%B CFIP'97, Congrès Francophone sur l'Ingéniérie des Protocoles, Liège, Belgique
%I Hermes
%X 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
%U http://www.irisa.fr/vertecs/Publis/Ps/97-CFIP.ps.gz
%8 September
%D 1997