La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

1 Tests et Validation du logiciel 02/2007 – 06/2007.

Présentations similaires


Présentation au sujet: "1 Tests et Validation du logiciel 02/2007 – 06/2007."— Transcription de la présentation:

1 1 Tests et Validation du logiciel 02/2007 – 06/2007

2 2 Approche fonctionnelle – Tests aléatoires Différents des autres techniques « déterministes » Tests aléatoires approche probabiliste Génération des DT assez facilement automatisable Problématique dautomatisation de loracle

3 3 Approche fonctionnelle – Tests aléatoires Objectivité des DTs produites Quasi impossibilité de générer des ensembles de paramètres cohérents sur des programmes de taille industriel Selon « Le test des logiciels » Hermes, des études ont montrés que les tests aléatoires sont à peine moins performants que les approches déterministes

4 4 Approche fonctionnelle – Tests aléatoires

5 5 Approche fonctionnelle Couverture du graphe fonctionnel Réalisation de graphe dans des perspectives de tests Modélisation du comportement du logiciel sous forme dautomate Sommet = un état du logiciel (émission dun message derreur, lecture dun fichier, attente utilisateur, …) Arc = changement détat

6 6 Approche fonctionnelle Couverture du graphe fonctionnel Menu1 Msg1Menu 2 Msg2Msg3 Fin Msg4 Choix 1Choix 2 A Choix 1Choix 2 AA C C Erreur La modélisation doit faciliter la conception du test Critères de couvertures Tous les nœuds Tous les arcs Tous les chemins Technique utile pour les tests IHM, mais modélisation vite complexe

7 7 Approche fonctionnelle Graphes cause-effet Concept de G. J. Myers Relie les effets dun programme (sorties) aux causes (causes) Analyse minutieuse des spécifications du programme

8 8 Approche fonctionnelle Graphes cause-effet Quatre types de symboles : IdentitéNégation OU logique ET logique

9 9 Approche fonctionnelle Graphes cause-effet Construction dun graphe cause-effet : Spécifications : « Le caractère dans la colonne 1 doit être un « A » ou un « B ». La colonne 2 doit contenir un chiffre. Ces deux conditions signifient que le fichier est à jour. Si la première colonne est fausse, on affiche le message M1. Si la seconde colonne est fausse, on affiche le message M2.

10 10 Approche fonctionnelle Graphes cause-effet Synthèse de causes (Entrées) E1 : le caractère de la colonne 1 est « A » E2 : le caractère de la colonne 1 est « B » E3 : le caractère de la colonne 2 est un chiffre Synthèse des effets (Sorties) S1 : Fichier à jour S2 : Message M1 S3 : Message M2

11 11 Approche fonctionnelle Graphes cause-effet E1 E2 S2 S1 E3S3

12 12 Approche fonctionnelle Graphes cause-effet Table de vérité Doit contenir lensemble des combinaisons des causes possibles. Donc ici 8 possibilités Le remplissage seffectue en trouvant les effets à 1 DTCausesEffets E1E2E3S1S2S Cas impossibles vu les spécifications

13 13 Approche fonctionnelle Graphes cause-effet Constats 2 DT pour tester le fichier à jour 2 DT pour tester le message M1 3 DT pour tester le message M2 DTCausesEffets E1E2E3S1S2S

14 14 Approche fonctionnelle Graphes cause-effet Problème des états intermédiaires C1 B3 B2 A1 B1 A3 A2 C1 dépend de B2, B3 mais aussi de A1, A2 et A3. Le nombre de DT augmente de façon importante

15 15 Approche fonctionnelle Graphes cause-effet Règles de simplification Forme Disjonctive (OU) R1 : si x doit être à 1, ne pas prendre la situation ou A=B=1 R2 : si x doit être à 0, énumérer toutes les situations ou A=B=0 X B A

16 16 Approche fonctionnelle Graphes cause-effet Règles de simplification Forme Conjonctive (ET) R3 : si x doit être à 1, énumérer toutes les situations ou A=B=1 R4 : si x doit être à 0, R4.1 Inclure une seule situation ou A=B=0 R4.2 Pour les autres combinaisons (avec un paramètre à 1), choisir une seule échantillon de causes générant cette valeur à 1. X B A

17 17 Approche fonctionnelle Graphes cause-effet Exemple A1A2B c1 b2 a1 b1 a2 a3 a4 Avant simplification : 13 DTs pour C1=0 3 DTs pour C1=1 B1B1 B2B2 C1C1 Nb DT 0001*3=3 0101*1=1 1003*3=9 1113*1=3 A3A4B Pour chaque combinaison, il faut prévoir toutes les valeurs de A1, A2, A3, A4 les produisant.

18 18 Approche fonctionnelle Graphes cause-effet A1A2B B2C A3A4B R1

19 19 Approche fonctionnelle Graphes cause-effet A1A2B B2C A3A4B R1 Cas 1 : C1=1 R3 B1=1 {A1,A2}={0,1}{1,0}. R1 exlus {1,1} B2=1 {A3,A4}={1,1} DT={0,1,1,1}{1,0,1,1}

20 20 Approche fonctionnelle Graphes cause-effet A1A2B B2C A3A4B R1 Cas 2 : C1=0 R4.1 Une seule situation ou B1=B2=0 DT={0,0,0,0}

21 21 Approche fonctionnelle Graphes cause-effet A1A2B B2C A3A4B R1 Cas 3 : C1=0 R4.2 Cas 3.1 {0,1} DT={0,0,1,1} Cas 3.2 {1,0} R4.2 : un seul échantillon générant le B1=1 DT={1,0} B2=0 DT={0,0},{0,1}{1,0} DTs={1,0,0,0}{1,0,0,1}{1,0,1,0}

22 22 Approche fonctionnelle Graphes cause-effet a1A2a3a4c Avant simplification a1A2a3a4c Après simplification


Télécharger ppt "1 Tests et Validation du logiciel 02/2007 – 06/2007."

Présentations similaires


Annonces Google