Tests Logiciels INF4000 PDF

INF4000 Génie Logiciel Tests Logiciels A M I NA TA ZERBO/SA BA NE  Tests Logiciels INF4000-GL (UO1/SEA/DI/SITR) 2 Dr. A. SABANE  Plan üIntroduction üTests Boite Blanche üTests Boite Noire...

INF4000 Génie Logiciel Tests Logiciels A M I NA TA ZERBO/SA BA NE  Tests Logiciels INF4000-GL (UO1/SEA/DI/SITR) 2 Dr. A. SABANE  Plan üIntroduction üTests Boite Blanche üTests Boite Noire 3 3 Tests Logiciels : Tests Boite Blanche 4 4  Tests Boite Blanche Tests boite blanche ou tests structurels Tests basés sur la structure interne du code ◦ Nécessitent de connaître le code ◦ détectent principalement les erreurs commises Plusieurs techniques ◦ Couverture du flot de contrôle ◦ Couverture du flot des données ◦ Test par mutation 5 5  Couverture du Flot de Contrôle  Graphe de Flot de Contrôle Un graphe de flot de contrôle (Control Flow Graph –CFG) est une représentation sous forme de x≠y graphe orienté de tous les chemins possibles dans un programme xy x=y Les nœuds sont des blocs d’instructions séquentielles 7 7  Graphe de Flot de Contrôle Les arêtes (encore appelées arcs ou branches) sont des transferts de contrôle x≠y Les arêtes peuvent être étiquetées xy x=y avec un attribut représentant la condition du transfert de contrôle Chaque graphe comporte un nœud « entrée » et un nœud « sortie » 8 8  Graphe de Flot de Contrôle Public int computeGCD(int x, int y){ Int gcd while (x!=y){ if (x>y){ x!=y x= x – y; }else{ xy x=y y = y – x; } } gcd = x; return gcd; } 9 9  Principes du CFG Séquence Si-Alors-Sinon Boucle tant que Commutateur (If-Then-Else) (While loop) (Switch) 10 10 Principes du CFG Ammann & Offutt 11 11 Principes du CFG Ammann & Offutt 12 12 Principes du CFG Ammann & Offutt 13 13 Principes du CFG Ammann & Offutt 14 14 Principes du CFG Ammann & Offutt 15 15 Principes du CFG Ammann & Offutt 16 16 Principes du CFG Ammann & Offutt 17 17 Principes du CFG Ammann & Offutt 18 18  Principes du CFG Construire le graphe de contrôle de la fonction suivante 1.public int factorial(int n){ 2. int i, result = 1; 3. for (i=2; i