Test des Logiciels

Conformément à la certification ISTQB

Rania MZID KEBEILI

Maitre-assistante à l’institut Supérieur d’informatique
Docteur en Ingénierie des Systèmes Informatiques
Ingénieur en Informatique
Membre de l’unité de recherche CES

Contact: rania.mzid@isi.utm.tn

R. MZID KEBEILI Test des Logiciels

A propos ce cours…
 Objectifs
 Présenter les concepts clé liés au test logiciel
A l’issue de ce module, un étudiant doit être capable de
o Faire la différence entre les différents niveaux de test
o Comprendre le processus et les objectifs de test
o Extraire les cas de test á partir d’une spécification logicielle en utilisant une
technique de test
o Faire la différence entre le métier du développeur et le métier du testeur

2
R. MZID KEBEILI Test des logiciels
A propos ce cours…
 Assurance Qualité Logicielle
o Normes, modèles (CMMI, ISO12207, IEEst730, etc.)
o Vérification Vs Validation (V&V)
o Les tests des logiciels

 ISTQB : International Software Testing Qualifications Board ?

o Le Comité international de qualification du test logiciel reconnue dans le
monde entier.
o Il a été fondé en novembre 2002 à Édimbourg, comme association à but
non lucratif, et est légalement enregistrée en Belgique.
o Une qualification standardisée pour le test logiciel
o Plusieurs niveaux de certification : ISTQB Certified Tester : Core,
Advanced et Agile

3
R. MZID KEBEILI Test des logiciels
A propos ce cours…
 Assurance Qualité Logicielle
o Normes, modèles (CMMI, ISO12207, IEEst730, etc.)
o Vérification Vs Validation (V&V)
o Les tests des logiciels

 La Qualité
o C’est L’aptitude d’un produit ou d’un service à satisfaire les besoins des
utilisateurs [source AFNOR]
 Assurance Qualité
o Mise en œuvre d’un ensemble approprié de dispositions préétablies et
systématiques destinées à donner confiance en l’obtention de la qualité
requise [source AFNOR]

1
4
R. MZID KEBEILI Test des logiciels
A propos ce cours…
 Assurance Qualité Logicielle
o Normes, modèles (CMMI, ISO12207, IEEst730, etc.)
o Vérification Vs Validation (V&V)
o Les tests des logiciels

 Critères de qualité : McCall, “Factors in software quality”

(1977) en propose 11
o Confidentialité : Le logiciel est protégé contre tout accès non autorisé
o Efficacité : Minimisation de la consommation des ressources (CPU,
mémoire, disque, . . . )
o Robustesse: Aptitude à conserver un comportement conforme aux
besoins même dans des situations imprévues
o Adaptabilité : Facilité d’ajout/modification/suppression de
fonctionnalités
1
5
R. MZID KEBEILI Test des logiciels
A propos ce cours…
 Assurance Qualité Logicielle
o Normes, modèles (CMMI, ISO12207, IEEst730, etc.)
o Vérification Vs Validation (V&V)
o Les tests des logiciels

 Critères de qualité : McCall, “Factors in software quality”

(1977) en propose 11
o Portabilité : Facilité à changer d’environnement d’exécution (Système
d’exploitation, matériel, . . . )
o Testabilité: Facilité de réalisation de tests
o Réutilisabilité: possibilité de réutiliser des portions de code dans le
cadre d’un autre projet
o Correction : degré de conformité par rapport aux spécifications.
1
6
R. MZID KEBEILI Test des logiciels
A propos ce cours…
 Assurance Qualité Logicielle
o Normes, modèles (CMMI, ISO12207, IEEst730, etc.)
o Vérification Vs Validation (V&V)
o Les tests des logiciels

 Vérification
o Avons-nous construit le produit bien ?
o Vérifier une spécification par rapport aux attentes techniques
o Détection des Erreurs par rapport aux définitions précises établies lors
des phases antérieures de développement
 Le logiciel doit être conforme á sa spécification

1
7
R. MZID KEBEILI Test des logiciels
A propos ce cours…
 Assurance Qualité Logicielle
o Normes, modèles (CMMI, ISO12207, IEEst730, etc.)
o Vérification Vs Validation (V&V)
o Les tests des logiciels

 Validation
o Avons-nous construit le bon produit?
o Vérifier une spécification par rapport aux attentes métiers
o Détection des défauts par rapport aux besoins que le produit doit
satisfaire
 Le logiciel doit faire ce que l’utilisateur a besoin

1
8
R. MZID KEBEILI Test des logiciels
A propos ce cours…
 Assurance Qualité Logicielle
o Normes, modèles (CMMI, ISO12207, IEEst730, etc.)
o Vérification Vs Validation (V&V)
o Les tests des logiciels

 Erreur/Défaut (bug)/Défaillance
o Erreur (méprise) : Action humaine produisant un résultat incorrect [IEEE
610]
o Défaut (Bug) : Manifestation d’une erreur dans un logiciel [IEEE 729]
o Défaillance : Modification d’un comportement requis d’un système
[IEEE 729]
 La défaillance est un événement, Un bug est l’état d’un logiciel causé par
une erreur
1
9
R. MZID KEBEILI Test des logiciels
A propos ce cours…
 Assurance Qualité Logicielle
o Normes, modèles (CMMI, ISO12207, IEEst730, etc.)
o Vérification Vs Validation (V&V)
o Les tests des logiciels

 Les types de V&V

o Statique : Analyse, contrôle
→ Vérifier des propriétés avant exécution afin de découvrir des
problèmes ou prouver sa correction (manuel ou automatique)
o Dynamique : évaluer, expérimenter
→ Le système est exécuté sur des données de test et son exécution est
observé

1
10
R. MZID KEBEILI Test des logiciels
A propos ce cours…
 Assurance Qualité Logicielle
o Normes, modèles (CMMI, ISO12207, IEEst730, etc.)
o Vérification Vs Validation (V&V)
o Les tests des logiciels

 Les techniques de V&V

o Vérification symbolique: Run-time cheking, Exécution symbolique, etc.
o Vérification formelle : preuve ou model-cheking
o Analyse : de sécurité, risque, temps réel, etc.
o Les tests

1
11
R. MZID KEBEILI Test des logiciels
A propos ce cours…
 Assurance Qualité Logicielle
o Normes, modèles (CMMI, ISO12207, IEEst730, etc.)
o Vérification Vs Validation (V&V)
o Les tests des logiciels

 Les tests des logiciels

Objectif de ce cours !!

1
12
R. MZID KEBEILI Test des logiciels
A propos ce cours…
 Assurance Qualité Logicielle
o Normes, modèles (CMMI, ISO12207, IEEst730, etc.)
o Vérification Vs Validation (V&V)
o Les tests des logiciels

 ISTQB : International Software Testing Qualifications Board ?

o Le Comité international de qualification du test logiciel reconnue dans le
monde entier.
o Il a été fondé en novembre 2002 à Édimbourg, comme association à but
non lucratif, et est légalement enregistrée en Belgique.
o Une qualification standardisée pour le test logiciel
o Plusieurs niveaux de certification : ISTQB Certified Tester : Core,
specialist et Agile
1
13
R. MZID KEBEILI Test des logiciels