Test driven development

Test-Driven Development (TDD), ou Développements Pilotés par les Tests en français, est une méthode de développement de logiciel, qui consiste à concevoir un logiciel par petits pas, de façon itérative et incrémentale, en écrivant chaque test avant d'écrire le code source et en remaniant le code continuellement.

Cycles de TDD

Les Trois Lois de TDD

À l'origine, il s'agissait simplement d'écrire les tests avant de coder, et cela s'appelait Test First Design. Puis la méthode évolua vers une granularité plus fine de développement : pour une ligne de test en échec, une ligne de code de production est écrite pour faire réussir le test. Afin d'entériner cette granularité de ligne à ligne entre code de test et code de production, trois lois ont émergé.

  1. Loi no 1 : "Vous ne pouvez pas écrire de code de production tant que vous n'avez pas écrit un test unitaire qui échoue." ("You may not write production code until you have written a failing unit test."[1]), c'est-à-dire qu'il n'est permis d'écrire du code de production que si un test unitaire est en échec[2].
  2. Loi no 2 : "Vous ne pouvez pas écrire plus d'un test unitaire que nécessaire pour échouer, et ne pas compiler revient à échouer." ("You may not write more of a unit test than is sufficient to fail, and not compiling is failing."[1]), c'est-à-dire qu'il n'est permis d'écrire qu'un nouveau test unitaire en échec à la fois, et un test unitaire qui ne compile pas est déjà un test en échec[2].
  3. Loi no 3 : "Vous ne pouvez pas écrire plus de code de production que nécessaire pour que le test unitaire actuellement en échec réussisse." ("You may not write more production code than is sufficient to pass the currently failing test."[1]), c'est-à-dire qu'il n'est permis d'écrire que du code de production permettant directement de faire passer le test unitaire précédent, ni plus ni moins[2].

Ces lois connaissent différentes variantes très similaires entre 2005 et 2008 (2005[2], 2006[3], 2007[4] et 2008[1]), toujours écrites par Robert C. Martin : elles sont ici énoncées selon les termes utilisés en 2008[1]. Or l'emploi de l'expression "test unitaire" dans ces lois prête ici largement à confusion. Par test unitaire, ces lois ne désignent pas un cas de test complet, mais en fait une unique assertion de test. Le cas de test complet devrait être obtenu après avoir itéré plusieurs fois l'ensemble de ces 3 lois, sachant que la résolution d'une erreur de compilation constitue déjà une itération à part entière. En 2014, Robert C. Martin reformule d'ailleurs les trois lois de TDD[5] et le terme "unitaire" disparaît.

Une formulation exacte et exempte de toute ambiguïté de ces 3 lois serait plutôt comme suit.

  1. Loi no 1 : Vous devez écrire un test qui échoue avant de pouvoir écrire le code de production correspondant.
  2. Loi no 2 : Vous devez écrire une seule assertion à la fois, qui fait échouer le test ou qui échoue à la compilation.
  3. Loi no 3 : Vous devez écrire le minimum de code de production pour que l'assertion du test actuellement en échec soit satisfaite.

On fait ainsi la distinction entre l'assertion à l'origine de l'échec du test et le test qui échoue lors de son exécution. De plus, on ne présume pas de la forme de test la plus adéquate, ni ne se restreint à une seule possible, ce qui est d'autant plus pragmatique. Le fait de mettre bout à bout les 3 lois de TDD en une seule itération constitue ce qui est appelé un nano-cycle de TDD. À noter que ces 3 lois ne couvrent que les conditions à respecter en TDD pour arriver à un test qui réussit, en exprimant le minimalisme attendu du test en échec.

Processus cyclique de développement
Une représentation graphique du cycle de la méthode Développements Pilotés par les Tests (TDD)

Le processus préconisé par TDD comporte cinq étapes :

  1. écrire un seul test qui décrit une partie du problème à résoudre ;
  2. vérifier que le test échoue, autrement dit qu'il est valide, c'est-à-dire que le code se rapportant à ce test n'existe pas ;
  3. écrire juste assez de code pour que le test réussisse ;
  4. vérifier que le test passe, ainsi que les autres tests existants ;
  5. puis remanier le code, c'est-à-dire l'améliorer sans en altérer le comportement.

Ce processus est répété en plusieurs cycles, jusqu'à résoudre le problème d'origine dans son intégralité. Ces cycles itératifs de développement sont appelés des micro-cycles de TDD.

Intérêt

Les tests tels qu'ils sont mis à profit dans TDD permettent d'explorer et de préciser le besoin, puis de spécifier le comportement souhaité du logiciel en fonction de son utilisation, avant chaque étape de codage. Le logiciel ainsi produit est tout à la fois pensé pour répondre avec justesse au besoin et conçu pour le faire avec une complexité minimale. On obtient donc un logiciel mieux conçu, mieux testé et plus fiable, autrement dit de meilleure qualité.

Quand les tests sont écrits après codage, comme c'est le cas traditionnellement, les choix d'implémentation contraignent l'écriture des tests : les tests sont écrits en fonction du code, et si certaines parties du code ne sont pas testables, elles ne seront pas testées. Au contraire, en testant avant de coder, on utilise le code avant son implémentation, de sorte que les contraintes définies par les tests sont imposées à l'implémentation : le code est écrit en fonction des tests. Le fait d'écrire les tests avant le code en TDD est donc à l'origine d'implémentations testables, c'est-à-dire facilement testables et testables à 100%. Or la testabilité du code favorise une meilleure conception par un couplage lâche et une cohésion forte, ce qui évite des erreurs communes de conception.

Comme chaque test correspond à un changement minimal de code, un test permet de faire un lien évident entre une régression et sa source s'il échoue. Ce lien fait de l'exécution des tests un moment charnière dans un cycle TDD : on capture l'état instantané du logiciel et on détecte d'éventuelles régressions suite au dernier changement. En effet, on veut à tout prix éviter de modifier le code en présence d'une régression. Le cas échéant, on ne saurait pas dire avec certitude si les tests en échec le sont à cause du changement actuel ou d'un changement précédent. C'est en cela que les tests déjà écrits constituent un harnais contre des accidents de parcours, où l'on perdrait le lien entre changement et régression. La présence d'un tel harnais permet donc d'envisager avec sérénité n'importe quel changement de code, qu'il s'agisse d'une transformation (modification qui affecte le comportement), ou d'un remaniement (modification qui n'altère pas le comportement), ainsi que les livraisons du logiciel de version en version.

L'enjeu des remaniements cycliques du code est de réaligner la conception du code avec les besoins connus, afin de lutter contre l'entropie logicielle et de prévenir la dette technique. Changer la conception du code sans en altérer le comportement requiert de disposer de tests qui garantissent l'absence de régression. Pour cela, on devrait faire appel à différentes formes complémentaires de test, de manière à ne pas les réécrire à chaque remaniement de code, quelle que soit l'étendue des remaniements : tantôt des tests pour vérifier les résultats exacts d'un traitement, tantôt des tests pour vérifier que des composants collaborent correctement, sans que ces différents tests ne cassent ensemble pour les mêmes raisons.

Comme les tests sont écrits avant codage, ils trouvent plusieurs emplois dans TDD : ils servent d'abord à résoudre un problème en guidant le codage à chaque étape, ils fournissent ensuite un harnais de tests contre les régressions, enfin ils documentent le comportement du logiciel. Grâce à son utilisation des tests, TDD fait gagner en productivité à plus d'un titre.

  • TDD permet d'éviter des modifications de code sans lien avec le but recherché, car on se focalise étape par étape sur la satisfaction d'un besoin, en conservant le cap du problème d'ensemble à résoudre.
  • TDD permet d'éviter les accidents de parcours, où des tests échouent sans qu'on puisse identifier le changement qui en est à l'origine, ce qui aurait pour effet d'allonger la durée d'un cycle de développement.
  • TDD permet de maîtriser le coût des évolutions logicielles au fil du temps, grâce à une conception du code perméable au changement.
  • TDD permet de s'approprier plus facilement n'importe quelle partie du code en vue de le faire évoluer, car chaque test ajouté dans la construction du logiciel explique et documente le comportement du logiciel en restituant l'intention des auteurs.
  • TDD permet de livrer une nouvelle version d'un logiciel avec un haut niveau de confiance dans la qualité des livrables, confiance justifiée par la couverture et la pertinence des tests à sa construction.

Programmation binomiale en TDD

Lorsque deux personnes s'associent en binôme pour résoudre un problème de programmation, elles occupent tour à tour deux rôles semblables à ceux d'un équipage de rallye automobile : le pilote, qui tient le clavier, code, tandis que le copilote supervise, prend du recul et guide son pilote par étapes, puis les rôles sont échangés à intervalles réguliers. En appliquant TDD, un binôme peut échanger les rôles de différentes façons : soit entre deux cycles de développement au moment d'itérer, soit entre l'écriture d'un nouveau test en échec et le codage d'un nouveau comportement. La seconde façon d'échanger les rôles force à séparer les préoccupations du test de celles de l'implémentation et met le copilote à contribution pour écrire le test seulement, tandis que la première permet de dérouler un cycle complet en occupant un même rôle.

Notes et références
  1. (en) Robert C. Martin, Clean Code : A Handbook of Agile Software Craftsmanship, Upper Saddle River, NJ, Prentice Hall, , 431 p. (ISBN 978-0-13-235088-4), p. Chapter 9: Unit Tests, The Three Laws of TDD, p. 122
  2. Robert C. Martin, The Three Laws of TDD, 2005
  3. (en) Robert C. Martin et Micah Martin, Agile Principles, Patterns, and Practices in C#, Prentice Hall, , 768 p. (ISBN 0-13-185725-8), p. Chapter 4. Testing, p. 32
  4. Robert C. Martin, « Professionalism and Test-Driven Development », IEEE Software, vol. 24, no 3,‎ , p. 32–36 (ISSN 0740-7459, DOI 10.1109/ms.2007.85, résumé, lire en ligne, consulté le )
  5. (en) Robert C. Martin, « The Cycles of TDD », sur The Clean Code Blog (consulté le )

Voir aussi

Articles connexes

Bibliographie
  • (en) Kent Beck, Test Driven Development : By Example, Addison-Wesley, , 240 p. (ISBN 0-321-14653-0, lire en ligne)
  • (en) Lasse Koskela, Test Driven : TDD and Acceptance TDD for Java Developers, Manning, , 470 p. (ISBN 978-1-932394-85-6 et 1-932394-85-0)

Liens externes
  • Portail de la programmation informatique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.