Spécification de protocoles de communication et techniques de test

Formation

À Évry Cedex

Prix sur demande

Appeler le centre

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

Évry Cedex ((91) Essonne)
Voir plan
9 Rue Charles Fourier, 91011

Date de début

Consulter

À propos de cette formation

- Etapes de développement d’un logiciel/protocole.
- Connaissance d’un langage de programmation procédurale ou orienté objet.

Questions / Réponses

Ajoutez votre question

Nos conseillers et autres utilisateurs pourront vous répondre

À qui souhaitez-vous addresser votre question?

Saisissez vos coordonnées pour recevoir une réponse

Nous ne publierons que votre nom et votre question

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.

Appeler le centre

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

Prix sur demande