Utilisation de la technologie active pour tester les protocoles multicast IPv6
Résumé
Ce stage de fin d'étude a pour objectif la mise en oeuvre d'une suite de tests pour le protocole MLD d'IPv6, basés sur les réseaux actifs. Ces tests ont pour finalité de contrôler le fonctionnement et la conformité de MLD par rapport à sa spécification formelle, ils doivent ainsi vérifier que les fonctionnalités spécifiées sont bien implémentées. L'environnement d'exécution utilisé est l'environnement actif FLAME, réalisé dans le projet RESEDAS du LORIA. || The goal of this final-year project is to test MLD protocol (IPv6 protocol) using active technology. The tests have to verify the conformity of the MLD protocol with its formel specification. The execution environment used is the active environment called
Loading...