Test et Validation du Logiciel

Contenu La formation a pour but de :

• Savoir placer les tests dans le cycle de développement
• Savoir ce que sont et comment utiliser les tests statiques
• Maîtriser les techniques de conception de tests dynamiques
• Connaître les principes du management des tests
• Savoir différencier les différents outils de tests du marché et avoir utilisé un outil

Les cours s'articulent autour des cinq modules suivants :
1. Fondamentaux des tests
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
2. Tester pendant le cycle de vie logiciel
Tests et modèles en V (ISO/CEI 12207) ainsi que de développement itératif et agile
Niveaux de tests : composants, intégration, système
Cible des tests : fonctionnels / non fonctionnels, architecture logicielle, non régression
Tests de maintenance
3. Techniques de test
Techniques statiques et revues de code
Techniques " boites noires "
Techniques " boite blanches "
Impact du choix d'une technique de test
4. Gestion des tests
Tâches du responsable des tests et des testeurs
Planification des tests
Estimation de l'effort de test en fonction des techniques utilisées
Suivi et contrôle du déroulement des tests
Gestion de configuration
Gestion des rapports d'anomalie
5. Outils de support aux tests
Classification des outils de tests
Bénéfices potentiels et risques liés aux outils de tests
Outils d'aide aux tests statiques
Outils d'aide à la spécification des tests
Outils d'aide à l'exécution et au suivi des tests
Introduire un outil dans une organisation
6. Etude approfondie d'un outil de tests : JUnit (TPs)
Modalités de l'évaluation Examen de 3h.
Bibliographie

• J. Printz : Le Génie logiciel (Que sais-je n°2956, PUF).
• B. Beizer : Software testing techniques (Van Nostrand Reinhold)
• R. Binder : Testing object-oriented systems, models, patterns, and tools (Addison Wesley) 2000
• IEEE : Software Engineering Standard Collection - Standards 829-2008, 982.1, 1044, 1061, 610.12
• B. Boehm : Software engineering economics, 1981, et Software cost estimation with COCOMO II (Prentice Hall) 2002.
• Jorgensen : Software testing a craftsman’s approach 3rd edition - CRC press
• Ammann : Introduction to software testing - Cambridge university press
• CFTL : http:///
• ISTQB : http:///
• J. Printz, JF. Peyre : Pratique des tests logiciels