Spécification de protocoles de communication et techniques de test
Formation
À Évry Cedex
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Description
-
Typologie
Formation
-
Lieu
Évry cedex
-
Heures de classe
90h
Objectifs: Connaître des techniques de description formelles pour les services et protocoles de(télé)communication; Connaître des outils industriels pour vérifier et tester les systèmes réels;. Concevoir et développer des logiciels à qualité garantie. Maitriser le langage SDL pour la spécification de protocoles et services de communication;. Avoir de l'expérence les méthodes de test (outil OG) et leur utilisation sur une plateforme réelle. Connaître de nouvelles méthodes de spécification et de test provenant de travaux de Recherche actuels.
Les sites et dates disponibles
Lieu
Date de début
Date de début
À propos de cette formation
- Etapes de développement d’un logiciel/protocole.
- Connaissance d’un langage de programmation procédurale ou orienté objet.
Les Avis
Le programme
- Introduction aux techniques formelles pour la spécification de protocoles ;
- Introduction aux techniques de vérification (model checking) et aux langages spécifiques pour la vérification formelle ;
- Utilisation de l’outil SPIN pour vérifier des modèles Promela;.
- Présentation du langage SDL (architecture, comportement et types de données).
Utilisation d’un outil industriel
Object GEODE.
- Spécification de protocoles et de services réels (TP);
- Introduction à la problématique du test de conformité ;
- Etude de techniques de génération automatiques de séquences de test;
- Analyse formelle d’une spécification d’un protocole et génération de séquences de test.
Application de ces séquences.
Des propriétés telles que des politiques de sécurité seront analysées.
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Spécification de protocoles de communication et techniques de test