Formation : V&V : validation et vérification dans le domiane du test logiciel
Se former avec
TELECOM BRETAGNE
- Renseignements :
- Durée : 2 Jours
- Type : N.C.
- Diplômant : Oui
-
Prix H.T. € :970.00
- Objectifs :
- Dans la pratique industrielle, les activités de vérification et de validation couvrent entre 35 et 55 % du coût de production de logiciel et cela sans tenir compte du coût de maintenance et d'évolution. L'objectif de ce cours est de former les stagiaires à ce problème et de leur présenter les techniques de prévention des défauts (conception testable), de détection, de localisation et de correction des fautes (vérification et test). Le cours traite également de la question de la validation de l'implémentation d'une politique de sécurité. L'accent est mis sur une approche guidée par les modèles (MDE) et l'on y abordera des techniques de test applicables à chaque étape du cycle de développement : depuis l'analyse (requirement-based testing) à la conception détaillée et au code. Les TPs permettent d'appliquer toutes les techniques vues en cours (Junit, Coverlipse, MuJava, UCTSystem, MotorBAC testing suite etc.).
- Public visé :
-
Responsables de projets, architectes, programmeurs et testeurs.
- Pré-requis :
- Une expérience en programmation et conception orientée objet est souhaitée.
- Introduction au test de logiciel
- Définitions et vocabulaire
- Test et conception
- Principales approches (unitaire/intégration/système/diagnostic)
Test structurel et test fonctionnel
- Notion de critère de test
- Sélectionner des cas de test pertinents
- Avantages et limites des critères de couverture du code.
- Test unitaire orienté-objet.
- Spécificités du test de classes
- Le problème de la non-régression
- Le framework JUnit (pour Java).
- Techniques pour obtenir un oracle (verdict)
Qualification et amélioration des tests
- Analyse de mutation
- Qualification et critères de confiance dans les tests.
- Test d'intégration pour les systèmes orienté-objets.
- Tester des interactions entre les composants unitaires.
- Stratégies d'intégration et minimisation du nombre de bouchons de test
Test système à partir de modèles des exigences
- Modèles pour les exigences
- Dérivation des cas de test.
Test de sécurité des SI
- Adaptation des tests système pour mettre à l'épreuve une politique de sécurité
- Robustesse des mécanismes de sécurité dans les serveurs web (attaques par injection de code).
Diagnostic
- Définitions et stratégies de diagnostic
- Localisation de fautes par recoupement de traces.
Travaux Pratiques
La formation est divisée également en cours et en travaux pratiques, car les techniques de test introduites doivent être mises en pratique. Au cours des travaux pratiques les stagiaires manipuleront JUnit pour le test unitaire, un outil de mutation pour la qualification de test pour Java, un environnement de conception par contrats en Java, OrBAc pour la spécification d'une politique de sécurité.
26/06/2008 au 27/06/2008 (35)
