Résumé :

Cet exposé présentera les travaux menés à l'Irisa en matière de test des protocoles depuis plusieurs années. Notre activité s'est focalisée sur la conception du coeur algorithmique d'un générateur de tests, appelé TGV. Fondamentalement, il réalise des parcours guidés au vol de gros graphes représentant les comportements de la spécification formelle de l'objet à tester. Nous présenterons les principes de l'approche et sa situation par rapport à l'état de l'art. Nous parlerons des applications industrielles qui ont été conduites à partir de spécifications SDL ou LOTOS. Nous concluerons enfin par un ensemble de travaux en cours : sur le test réparti, le test symbolique et le test de spécifications UML.