Test unitaire - Définition

Introduction

En programmation informatique, le test unitaire est un procédé permettant de s'assurer du fonctionnement correct d'une partie déterminée d'un logiciel ou d'une portion d'un programme (appelée « unité » ou « module »).

On écrit un test pour confronter une réalisation à sa spécification. Le test définit un critère d’arrêt (état ou sorties à l’issue de l’exécution) et permet de statuer sur le succès ou sur l’échec d’une vérification. Grâce à la spécification, on est en mesure de faire correspondre un état d’entrée donné à un résultat ou à une sortie. Le test permet de vérifier que la relation d’entrée / sortie donnée par la spécification est bel et bien réalisée.

Petit rappel de définitions :

• Test : il s'agit d'une vérification par exécution.
• Vérification : ce terme est utilisé dans le sens de contrôle d'une partie du logiciel. (Une « unité » peut ici être vue comme « le plus petit élément de spécification à vérifier»)

Il s'agit pour le programmeur de tester un module, indépendamment du reste du programme, ceci afin de s'assurer qu'il répond aux spécifications fonctionnelles et qu'il fonctionne correctement en toutes circonstances. Cette vérification est considérée comme essentielle, en particulier dans les applications critiques. Elle s'accompagne couramment d'une vérification de la couverture de code (évaluation de la couverture structurelle ), qui consiste à s'assurer que le test conduit à exécuter l'ensemble (ou une fraction déterminée) des instructions présentes dans le code à tester.

L'ensemble des tests unitaires doit être rejoué après une modification du code afin de vérifier qu'il n'y a pas de régressions (l'apparition de nouveaux dysfonctionnements). L’emploi d’une « stratégie de test » particulière peut limiter les tests à rejouer, par exemple : une analyse d’impact des modifications, corrélée à une preuve d’indépendance des module, permet de cibler les cas de test unitaire à rejouer.

Dans les applications non critiques, l'écriture des tests unitaires a longtemps été considérée comme une tâche secondaire. Cependant, la méthode Extreme programming (XP) a remis les tests unitaires, appelés « tests du programmeur », au centre de l'activité de programmation.

La méthode XP préconise d'écrire les tests en même temps, ou même avant la fonction à tester (Test Driven Development). Ceci permet de définir précisément l'interface du module à développer. En cas de découverte d'un bug, on écrit la procédure de test qui reproduit le bug. Après correction on relance le test, qui ne doit indiquer aucune erreur.

Environnements de test

Un environnement préparé (framework) pour réaliser facilement des tests unitaires existe dans les principaux langages de programmation. Par exemple Test::More pour le Perl.

Frameworks xUnit

Le terme générique « xUnit » désigne un outil permettant de réaliser des tests unitaires dans un langage donné (dont l'initiale remplace « x » le plus souvent).

L'environnement de test SUnit pour le langage Smalltalk, créé en octobre 1994 par Kent Beck, a acquis une grande popularité et a été adapté à de nombreux langages :

• Aunit pour Ada ;
• ASUnit pour ActionScript ;
• cppunit pour C++;
• CUnit pour C;
• DUnit pour Delphi ;
• FLEXunit pour Adobe Flex ;
• Google Test pour C++
• HUnitpour Haskell
• JSUnit pour Javascript ;
• JUnit et TestNG pour Java ;
• NUnit pour .NET ;
• NUnitASP pour ASP.NET (support interrompu depuis le 31 janvier 2008) ;
• OUnit pour Ocaml
• OCunit pour Objective C;
• PHPUnit et SimpleTest pour PHP ;
• unittest pour Python ;
• Test::Unit pour Ruby ;
• Test::More pour Perl