Test de logiciels Chapitre 14 LFI2. Test de Logiciels Trois familles de techniques pour gerer les fautes  Eviter  Enlever  Tolerer Test de logiciels:

Présentation au sujet: "Test de logiciels Chapitre 14 LFI2. Test de Logiciels Trois familles de techniques pour gerer les fautes  Eviter  Enlever  Tolerer Test de logiciels:"— Transcription de la présentation:

1 Test de logiciels Chapitre 14 LFI2

2 Test de Logiciels Trois familles de techniques pour gerer les fautes  Eviter  Enlever  Tolerer Test de logiciels: enlever les fautes.

3 Test de Logiciels Execution de logiciels dans des condition controlees, analyse des reponses, depistage des fautes, elimination.  Role important dans le cycle de vie.  Role important dans la politique QA.  Proportion importance du budget de developpement.

4 Types de tests Cinq types generaux.  Test unitaire de correction.  Test unitaire d’acceptation.  Test d’integration.  Test d’acceptation/ de livraison/ de certification.  Test de fiabilite.

5 Test unitaire de correction Sept dimensions caracterisent chaque type de test.  Objectif, depister et enlever les fautes.  Hypotheses, la spec n’est pas en cause.  Standard, defini par le programmeur.  Oracle, base sur la fonction du programme  Donnees resquises, executable, code source, donnees de test  Criteres de selection des donnees de test. Structure du programme.  Intervenants/ partis concernes. Programmeur.

6 Test unitaire d’acceptation Sept dimensions caracterisent chaque type de test.  Objectif, valider la composante % standards AQ.  Hypotheses, la spec n’est pas en cause.  Standard, defini par AQ pour le projet.  Oracle, defini par GC sur la base de la spec.  Donnees requises, executable, donnees de test, oracle.  Criteres de selection de test. Spec.  Intervenants/ partis concernes. Programmeur, GC/AQ, concepteur.

7 Test d’integration Sept dimensions caracterisent chaque type de test.  Objectif, depister et enlever les fautes dans les interactions entre composantes.  Hypotheses, toutes les composantes sont correctes par rapport a leurs specs.  Standard, defini par AQ.  Oracle, defini sur la base de la fonction du systeme.  Donnees requises, oracle, executable, code source, donnees de test.  Criteres de selection de test. Structure du systeme.  Intervenants/ partis concernes. GC/AQ, concepteur.

8 Test d’acceptation Sept dimensions caracterisent chaque type de test.  Objectif,  Hypotheses,  Standard,  Oracle,  Donnees requises,  Criteres de selection de test.  Intervenants/ partis concernes.

9 Test de fiabilite Sept dimensions caracterisent chaque type de test.  Objectif,  Hypotheses,  Standard,  Oracle,  Donnees requises,  Criteres de selection de test.  Intervenants/ partis concernes.

10 إختبار الضمانية الزمن/ مجهود الإختبار نسبة الفشل

11 Phases du test Quatre phases  Selection des donnees de test.  Definition, implementation de l’oracle.  Execution du test, enregistrement de ses resultats.  Analyse des resultats du test, mesures pertinentes.

12 Choix des donnees de test Deux/ Trois familles de methodes  Methodes basees sur le programme.  Methodes basees sur les specs.  Methodes basees sur l’usage.

13 Methodes basees sur les specifications  Couvrir tous les services  Couvrir les frontieres du domaine  Donnees hors du domaine  Donnes incompatibles  Donnees qui balaient le domaine de chaque variable importante  Donnees aleatoires  Donnees aleatoires selon un profil d’usage.

14 نموذج إستعمال الزمن نسبة الفشل

15 توزيع الإحتمال المستخدم المختبر ميدان المواصفة

16 Exemple de profil d’usage DAB:

17 Methodes baties sur les programmes  Methodes structurelles. Structure du programme.  Methodes fonctionnelle. Fonction du programme.

18 Comparaison, discussion Generons les donnees de test a partir de:  Structure/ texte du programme.  Fonction du programme.  Specification du programme. Laquelle est meilleure? Pourquoi?

19 Comparaison, discussion Nous pouvons tester tous les chemins d’un programme avec grande precision, beaucoup de soin, mais il echoue a la livraison… pourquoi? Equation quadratique.

20 Methodes structurelles  Executer tous les enonces,  Executer toutes les conditions (avec les deux sorties),  Executer tous les chemins (possible?),  Executer tous les chemins, limitant le nombre d’iterations.

21 Couverture des chemins مثلا: البرنامج المسارات:

22 Couverture des chemins, en presence de boucles مثلا: البرنامج المسارات:

23 Couverture des chemins, en presence de boucles المسارات:

24 Couverture de chemins, en presence d’iterations البيانات:

25 Definition, implementation de l’Oracle Definition de l’oracle depend du type de test et de ses circonstances  Test unitaire, trouver des fautes: programmeur, oracle dur (fonction du programme, pas sa spec).  Test unitaire, inscripton de l’unite dans la configuration: CM/QA; specification de l’unite.  Test d’integration:  Test d’acceptation:  Test de fiabilite:  Test de surete:

26 Definition et implementation de l’Oracle: exemple Programme du pgcd: { read(x); read(y); while (x!=y) if (x>y) {x=x-y;} else {y=y-x;} }

27 Definition et implementation de l’Oracle Trois possibilites  المواصفة التي كُتب البرنامج من أجلها:  وظيفة االبرنامج (تُستعل لنزع العيوب):  شرط سلامة: كيف نرتبهم؟

28 Execution du test Programme general, genere les donnees, execute le programme, enregistre les resultats. void programtest () {statetype initialstate, state; opentestfile(); while (moretests()) {generatetestdata(state); P(); //alters state, preserves initialstate if (oracle(initialstate,state) {successfultest()} else {unsuccessfultest(initialstate);}} closetestfile(); }

29 Exemples d’Oracles

30 Analyse des resultats du test  Analyse du fichier qui enregistre les resultats du test  Prendre les mesures correctives necessaires