Test genie logiciel
4968 mots
20 pages
TestsIntroduction aux tests logiciels
Y. Guesnet
Département d’informatique Université de Rouen
19 novembre 2010
Plan
1
Principes généraux Les tests statiques Introduction aux tests dynamiques Les tests fonctionnels Les tests structurels Les tests et les langages objets Le TDD
2
3
4
5
6
7
1
Principes généraux Introduction Organisation des tests
Le gestionnaire de test Le chef d’équipe de test L’analyste de test Le testeur L’observateur indépendant Le bureau de pocédure de test
Types de tests Les documents liés aux tests Les phases de test
Le Le Le Le Le Le test test test test test test unitaire d’intégration système d’intégration système de recette de non régression
L’arrêt des tests
Bibliographie
Bailly, Arnaud: Test de logiciels, 2006-2007. http ://www.oqube.com/formations/test/. Gaudel, Marie-Claude: Précis de génie logiciel. Dunod, 1996. Gustafson, David: Génie logiciel. Schaum’s, 2003. Pradat-Peyre, Jean-François et Printz, Jacques: Pratique des tests logiciels - Concevoir et mettre en œuvre une stratégie de tests - Préparation à la certification ISTQB. Dunod, 2009, ISBN 978-2100518623. Watkin, John: Test logiciel en pratique. Vuibert, 2002.
Introduction
Comment réaliser un logiciel sans erreurs ?Comment réaliser un programme sans avec le moins d’erreurs possibles
Impossible ? Procéder avec méthode Programmer de façon modulaire Ne pas réinventer la roue (utiliser les bibliothèques existantes) Spécifier, spécifier, spécifier ... Utiliser la logique de Hoare, la programmation par contrat Utiliser un langage adapté (gestion de la mémoire, gestion des assertions, nombreuses bibliothèques, typage fort, ...) Tester !
Les avantages de tester
Évite le “débogage” a posteriori Utilisation de méthodes formelles pour générer des données de test Utilisation de plans de test
Les objectifs du test
S’assurer de la correspondance entre un programme et sa spécification Révéler les défauts du logiciel Garantir