Le test des logiciels
Spyros Xanthakis, Pascal Regnier, Constantin Karapoulios - Collection Etudes et logiciels informatiques
Résumé
Issu de la longue experience des auteurs dans le domaine, cet ouvrage constitue une reference pour les pedagogues, les industriels, les chefs de projet, etc., dans ce domaine important et mal connu (et trop souvent mal gere) du genie logiciel. Il leur permettra de comprendre et de maitriser le processus de test qui est la discipline la plus complexe et la plus onereuse dans les etapes de production des logiciels.
Table des matieres
Chapitre 1. Introduction au
test du logiciel
Introduction
1.2. Definition du test
1.3. Difficultes du test
1.3.2. Difficultes d?ordre psychologique ou < culturel >
1.3.3. Difficultes formelles
1.4. Presentation des concepts fondamentaux
1.5. Notions de strategie de test
1.6. Conclusion
Chapitre 2. Le test dans un projet logiciel
2.1. Le probleme du test pour l?industriel du logiciel
2.1.2. Apport et limites du test pour le developpeur de logiciels
2.1.3. La notion de strategie de test
2.2.2. Efficacite des techniques de test
2.2.3. Objectifs associes aux techniques fonctionnelles
2.2.4. Objectifs associes aux techniques structurelles
2.2.5. Quel objectif pour quel niveau de confiance
2.2.6. Une autre approche : la qualimetrie
2.3. Les phases de test dans le projet logiciel
2.3.2. Les phases de tests dans les principaux cycles de vie du logiciel
2.3.3. La preparation des dossiers de tests
2.3.4. Les tests unitaires
2.3.5. Les tests d?integration
2.3.6. Les tests de validation
2.3.7. Les tests de non regression
2.4. Concevoir pour la testabilite
2.5. Perspectives
2.6. Conclusion
Chapitre 3. Le test fonctionnel
3.1. Analyse partitionnelle
3.2. Test aux limites
3.3. Graphes Cause-Effet
3.4. Tests syntaxiques
3.5. Tests aleatoires
3.6. Techniques de couverture du graphe
fonctionnel
3.7. L?Algorithmique Qualitative
3.8. Analyse transactionnelle
3.9. Conclusion
Chapitre 4. Le test structurel statique
4.1. Revues de code
4.2. Estimation de la complexite
4.2.2. Le modele de Halstead
4.2.3. Autres modeles de complexite structurelle
4.2.4. Complexite d?un logiciel temps-reel
4.3. Preuve formelle
4.3.2. Methode logique
4.5. Interpretation abstraite
4.6. Analyse du flot des donnees
4.7. Conclusion
Chapitre 5. Techniques de couverture du graphe de controle
5.1 Chemins dans un graphe de controle
5.1.2. Chemins executables et non executables
5.1.3. Hierarchie des techniques de test structurel
5.2 Couvertures basees sur le flot de controle
5.2.2. Couverture de tous-les-arcs
5.2.3. Couverture de tous les chemins independants
5.2.4. Couverture des PLCS
5.2.5. Les chemins limites et interieurs
5.2.6. Les chemins d?-ordre-i (level-i-paths)
5.2.7. Le critere MCDC
5.3 Couvertures basees sur le flot des
donnees
5.4 Discussion sur les methodes de couvertures
5.5. Conclusion
Chapitre 6. Autres techniques de test structurel dynamique
6.1 Tests mutationnels
6.2. Tests mutationnels faibles
6.2.2. Instructions If
6.2.3. Instructions While
6.3. Analyse de sensibilite
6.4. Analyse dynamique du flot des donnees
6.5. Execution abstraite
6.5.2. Verification de la coherence des dimensions des calculs
6.5.3. Un modele de test aux limites
6.6. Analyse des domaines finis
6.7. Le test evolutionniste
6.7.2. Principes generaux des Algorithmes Genetiques
6.7.3. Le principe de test evolutionniste
6.8. Conclusion
Chapitre 7. Prevention, estimation et correction de defauts
7.1. Introduction
7.2. Theorie de la tolerance aux erreurs
7.3. Surete de fonctionnement et fiabilite du
logiciel
7.3.2. Prevision des defauts et mesure de fiabilite
7.3.3. Evaluation de la fiabilite
7.4. Techniques de debogage
7.5. Conclusion
Chapitre 8. Les outils de test
8.1. Introduction
8.2. Les analyseurs statiques
8.2.2. Outils de gestion et de documentation
8.2.3. Analyseurs du flot des donnees
8.2.4. Visualisation du graphe de controle
8.2.5. Outils d'execution symbolique
8.2.6. Demonstrateurs d'exactitude
8.2.7. Outils d?interpretation abstraite
8.2.8. Comparateurs conception/source
8.2.9. Correcteurs intelligents de programmes
8.3. Les analyseurs dynamiques
8.3.2. Evaluateurs d'assertions locales
8.3.3. Analyseurs dynamiques du flot des donnees
8.3.4. Generateurs automatiques de Donnees de Test structurel
8.3.5. Generateurs de Tests Fonctionnels
8.3.6. Simulateurs d'environnement
8.3.7. Compilateurs et debogueurs
8.3.8. Un panorama des outils de test
8.3.8.2. Outils d?execution et de gestion des tests
8.3.8.3. Outils d?evaluation des tests
8.4. Conclusion
L'auteur - Spyros Xanthakis
Spyros Xanthakis est consultant et docteur en informatique de l'universite Paul Sabatier de Toulouse.
L'auteur - Pascal Regnier
Pascal Regnier, diplome de l'Ecole Centrale de Lyon, est expert a l'Institut de protection et de surete nucleaire.
L'auteur - Constantin Karapoulios
Constantin Karapoulios est docteur en informatique (specialite test des logiciels) de l'universite Paul Sabatier.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Hermès - Lavoisier |
| Auteur(s) | Spyros Xanthakis, Pascal Regnier, Constantin Karapoulios |
| Collection | Etudes et logiciels informatiques |
| Parution | 21/01/1970 |
| Nb. de pages | 328 |
| Format | 15,5 x 23,5 |
| Poids | 450g |
| EAN13 | 9782746200838 |
| ISBN13 | 978-2-7462-0083-8 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
