Qu’est-ce que le test logiciel ?

Les sections précédentes ont présenté le test logiciel et expliqué son importance. Approfondissons maintenant le sujet en reprenant d’abord sa définition.

Le test logiciel évalue les fonctions d’un logiciel au regard des exigences du client. On distingue deux grandes catégories.

1. Tests dynamiques. Ils consistent à exécuter le programme pour le tester.
2. Tests statiques. Ils consistent à examiner le code et les documents associés.

Les tests dynamiques et statiques sont souvent utilisés ensemble.

Tests en boîte noire

Les tests en boîte noire portent sur ce que fait le logiciel, sans examiner son implémentation interne. Ils s’appliquent à tous les niveaux de test, des tests unitaires et d’intégration aux tests système et d’acceptation.

Ouvrir le schéma en taille réelle ↗

Tests en boîte noire

En boîte noire, la personne qui teste s’attache à ce que le logiciel est censé faire. Les cas de test proviennent des spécifications et des exigences, indépendamment de la logique interne du programme. Elle fournit des entrées valides et invalides, puis vérifie les sorties obtenues.

Tests en boîte blanche

Les tests en boîte blanche examinent le code source, sa logique interne, son implémentation et son comportement. Les cas de test vérifient le fonctionnement interne du logiciel. Cette méthode s’applique aux niveaux unitaire, intégration et système. Elle peut révéler des erreurs de conception interne difficiles à repérer autrement. Les exigences ou spécifications manquantes échappent toutefois à cette méthode.

Ouvrir le schéma en taille réelle ↗

Tests en boîte blanche

Couverture des instructions

La couverture des instructions vérifie que chaque instruction de chaque bloc de code est exécutée au moins une fois et que le résultat est observé. Elle est aussi appelée couverture des lignes ou des segments.

Exécuter toutes les instructions ne sollicite pas forcément toutes les conditions. Certaines erreurs peuvent donc passer inaperçues même si la couverture des instructions est complète.

Couverture des décisions

La couverture des décisions, aussi appelée couverture des branches, vérifie les issues de chaque décision, y compris les résultats vrai et faux. Une branche est une issue possible d’une décision. Cette méthode offre une couverture plus complète que la seule couverture des instructions. Voici quelques exemples d’instructions de décision.

1. Une instruction IF.
2. Une instruction de contrôle de boucle, comme do-while.
3. Une instruction CASE avec au moins deux issues possibles.

La couverture des décisions parcourt chaque branche du code. Elle permet un contrôle plus approfondi que la seule couverture des instructions.

Couverture des conditions

La couverture des conditions vérifie les résultats vrai et faux de chaque condition booléenne prise séparément. Ces conditions peuvent influer fortement sur l’issue d’une décision. La couverture des conditions ne garantit pas la couverture complète des décisions.

Couverture des décisions et des conditions

Cette méthode combine le test des décisions et celui de leurs conditions logiques individuelles. Elle vérifie les résultats vrai et faux pour les deux, ce qui en fait une méthode solide de test logiciel.

Couverture des conditions multiples

La couverture des conditions multiples, aussi appelée couverture des combinaisons de conditions, vérifie la sortie pour différentes combinaisons. Prenons un exemple.
If (x=true OR y=true)
   Then
Print (“Hello”)
   Else
Print (“Bye”)

Cet exemple comporte quatre combinaisons de conditions possibles.
Cas de test 1. x=true; y=true
Cas de test 2. x=true; y=false
Cas de test 3. x=false; y=true
Cas de test 4. x=false; y=false

De la même façon, trois conditions booléennes donnent huit combinaisons possibles.