Génération de tests pour la localisation automatique d`erreurs

Génération de tests pour la
localisation automatique d’erreurs
Yves Le Traon et Franck FLEUREY

2
Le test de logiciel
Moyen principal de validation/mise-au-point
Intervient tout au long du processus de développemt
Activité coûteuse
Besoin de techniques pour assister le test
et la mise-au-point

3
Principe général du test

4
Problématique : test et diagnostic
Le diagnostic utilise les informations issues du
test pour localiser les erreurs détectées
Dépendance entre les données test et le diagnostic
Hypothèse de la littérature : Plus il y a de cas de
test et plus le diagnostic est facile
Contraire aux pratiques du test qui minimisent le nombre
de cas de test pour atteindre un critère de test donné
Comment construire un ensemble de cas de tests
pertinents pour le diagnostic ?

5
Plan
Test et diagnostic
Algorithme d’assistance au diagnostic
Génération automatique de tests
Test pour le diagnostic
Conclusion et perspectives