Séminaires "Test de logiciels & logiciels embarqués"
par J.F PRADAT-PEYRE

Docteur en informatique, professeur des universités et auteur.
Séminaire d'une à deux journées selon le module choisi.

L´importance des tests dans la "qualité logicielle" ?

Nos Séminaires, pourquoi?
- Optimiser l´effort de test grâce à des techniques éprouvées de conception de jeux de test
- Maîtriser les notions de couvertures, en particulier celles utilisées dans les systèmes sécuritaires
- Comprendre les évolutions en cours des stratégies de test …etc

Nos Séminaires, comment?
Nos sessions sont organisées en modules, afin que les débutants aussi bien que les utilisateurs expérimentés puissent y trouver exactement ce dont ils ont besoin.
Nos Séminaires, par qui ?
Animée par Jean-François PRADAT-PEYRE (docteur en informatique, professeur des universités à l´Université Paris Ouest Nanterre La Défense, membre du laboratoire de recherche de l´Université Paris 6 et auteur du livre "Pratique des Tests Logiciels".

Public

Cette formation s´adresse aux chefs de projet, concepteurs, développeurs d´applications, équipes de tests, à toutes les personnes impliquées dans la planification, le développement, la réalisation et l´analyse des tests de logiciels.
Sont concernés, par exemple, les développeurs, intégrateurs de logiciels, les architectes, les testeurs de logiciels, les programmeurs, les ingénieurs de test, les relecteurs de code sécurité, les responsables de tests et les spécialistes de la qualité.

Nos modules:

sous la forme de module sur-mesure intra-entreprise:,
- le module 1, axé sur les fondamentaux des tests des logiciels embarqués, d´une durée d´une journée.
- le module 2, d´avantage adapté aux profils avancés et experts,d´une durée d´une journée.
- le module 3, séminaire complet de deux jours.

sous la forme de module en inter-entreprises:
- le module 4*, séminaire complet de deux jours, prévu en fin d´année à date fixe, regroupant les participants de plusieurs entreprises.

* Prochaines dates pour le Module 4 (inter-entreprises), en cours de validation

Pré-requis:

"La connaissance et l´expérience d´un langage de développement est un plus mais n´est pas nécessaire." - J.F PRADAT-PEYRE

Programmes session:

Module 1
Fondamentaux des tests, Tester pendant le cycle de vie logiciel, Techniques et outils de test (1 jour)

• Origine des défauts logiciels
• Rôle des tests dans le développement et la maintenance
• Planification et contrôle des tests
• Exécutions et critères d'arrêt des tests
• Aspects sociologiques du métier de testeur
• Étude de cas et optimisation des tests avec la méthode « PairWise »
• Tests et modèles en V (ISO/CEI 12207) tests et modèles itératifs
• Niveaux de tests : tests unitaires, tests d’intégration, tests système
• Cible des tests : tests fonctionnels, non fonctionnels, de non régression de l’architecture logicielle
• Tests de maintenance, spécificité et mise en œuvre
• Étude de cas : automatisation des tests unitaires, stratégie d’intégration ;
• Techniques statiques et revues de code
• Techniques « boites noires »/« boites blanches »
• Tests des transactions
• Notions de couvertures et outils de mesure de couverture
• Certification et normes associées (DO178-C, EN 50128, IEC 61508, IEC 62304, ISO 26262, etc.)
• Études de cas et mise en œuvre des techniques et mesures étudiées à l’aide de différents outils
• Travaux pratiques sur différentes études de cas.

• 
  Module 2
  Niveau avancé/expert, la qualité logicielle le défi d´aujourd’hui (1 jour)
  

• Utilisation de modèles ou et de « specific-domain languages (DSL) dans le cadre du « Behavioral Driven Developpement » (BDD) pour l’aide à la génération de jeux de tests
• Aperçu des approches possibles pour la génération automatique ou semi-automatique de jeux de tests pertinents en vue d’une couverture donnée : interprétation abstraire, SMT / SAT solveurs, annotation de code et utilisation de démonstrateurs automatiques
• Difficultés et les solutions possibles pour le test de logiciels multithreads
• Stratégies et méthodes pour le test de patch ou des lignes de produits logiciels
• Ies norme ISO/IEC 2500n :2011 SQuaRE (System and Software Quality Requirements and Evaluation) pour la qualité du système et du logiciel : Management, Mesures, Modélisation
• Les différentes métriques sur la qualité du logiciel et leur calcul par des tests statiques
• Mise en œuvre d´outils de couverture de code, et d´analyse et retro-conception de code source.
• 
  
  

  Module 3 / Module 4
  correspond aux modules 1 & 2 dans leur totalité (2 jours)
  

• Les grandes familles de tests en fonction des objectifs, des données disponibles et lors des différentes étapes du cycle de vie du
• Quelques méthodes simples pour construire des jeux de tests pertinents
• Etudes de cas sur la réduction de la combinatoire des tests
• La problématique et les solutions des tests d’applications à base de Web Services
• Quelques notions sur les tests dirigés par les modèles
• Utilisation de méthodes formelles dans le processus de test
• Rappel des différents objectifs de couvertures
• Normes (DO178-C, EN 50128, IEC 61508, IEC 62304, ISO 26262, etc.) associées aux couvertures
• Utilisation d´outils pour la mesure de couvertures
• Points sur la génération automatiques de cas de tests
• De nombreux travaux pratiques sur différentes études de cas
• Mise en place d'une machine virtuelle pour réaliser des exercices et mises en pratique
• 
  
  
  Important :
  Chaque stagiaire recevra, en plus des documents papiers, une machine virtuelle contenant un certain nombre d’outils pré installés permettant de réaliser les cas pratiques développés dans ce séminaire ; pour cela, chaque stagiaire devra disposer d’un ordinateur portable sous Windows, Mac OS ou Linux avec Virtual Box (logiciel libre permettant de démarrer des machines virtuelles) installé sur sa machine.
  
  

  Tarifs:

  Pour consulter les tarifs des différents modules, merci de cliquer ici
  Ces prix concernent les formations assurées en Union Européenne, Suisse et Liechtenstein.
  Pour toutes formations hors de cette zone géographique, un devis peut être effectué sur demande.
  Toutes taxes nationales sont à ajouter aux prix fixés.

  
  

  Inscriptions en ligne:

  Au module 1 - Fondamentaux des test (intra-entreprise)
  Au module 2 - Niveau avancé/expert (intra-entreprise- sur demande)
  Au module 3 - Séminaire dans son intégralité (intra-entreprise sur demande)
  Au module 4 - Séminaire dans son intégralité (inter-entreprises - sur demande)
  
  Prénom/nom:
  
  
  Société:
  
  
  Ville:
  
  
  Téléphone:
  
  
  Email:
  
  
  Numéro de commande:
  
  
  Prix total:
  Euro zzgl. MwSt.
  
  Remarques:
  
  
  

  Newsletter / Politique de protection des données

  Inscription à la newsletter: Je souhaite recevoir votre newsletter et les informations concernant Verifysoft Technology. Je peux annuler mon abonnement à la newsletter à tout moment.
  

  J'ai pris connaissance de la politique de confidentialité de Verifysoft Technology et j'accepte que mes données soient traitées en accord avec cette politique de confidentialité ainsi qu'avec le "règlement général sur la protection des données" de l'Union européenne.
  

  Plus d'informations sur les séminaires Verifysoft