Programmer et tester

Un programme impératif combine quelques constructions fondamentales : séquence d’instructions, affectation, condition, boucle et appel de fonction. L’affectation remplace la valeur associée à un nom ; la condition choisit une branche ; la boucle répète un traitement. Une boucle bornée parcourt un ensemble prévu de valeurs, comme avec for sur un tableau. Une boucle conditionnelle, comme while, se poursuit tant qu’une condition est vraie ; il faut alors expliquer pourquoi elle finira par devenir fausse.

Une fonction regroupe un traitement sous un nom. Ses paramètres sont les noms utilisés dans sa définition ; ses arguments sont les valeurs fournies lors d’un appel. La fonction peut renvoyer un résultat avec return. Afficher avec print n’est pas renvoyer : un affichage montre un texte, tandis qu’un résultat retourné peut être réutilisé dans une expression ou par une autre fonction. En Python, atteindre la fin d’une fonction sans return explicite renvoie None.

Décomposer un problème en fonctions permet d’isoler des responsabilités et de réutiliser un traitement. Une fonction de conversion peut être testée séparément d’une fonction de calcul. Les noms doivent exprimer leur rôle et les entrées doivent être annoncées. Une variable locale à un appel n’est pas automatiquement disponible ailleurs. Cette organisation limite les dépendances cachées : il est plus facile de comprendre un résultat obtenu à partir d’arguments explicites qu’un résultat dépendant de multiples variables modifiées en dehors de la fonction.

Une spécification décrit le comportement attendu. Une précondition indique ce que les arguments doivent respecter ; une postcondition décrit le résultat garanti lorsque les préconditions sont satisfaites. Pour une moyenne, la précondition « tableau non vide de nombres » évite la division par zéro et annonce les valeurs admissibles. La postcondition ne dit pas seulement « renvoie un nombre » : elle précise que le nombre obtenu est la somme des valeurs divisée par leur effectif.

La spécification doit aussi annoncer si la fonction modifie un argument. Une fonction peut calculer à partir d’un tableau sans en changer les cases, ou trier ce tableau sur place. Les deux comportements n’offrent pas le même service. Un appelant qui veut conserver l’ordre initial doit le savoir. Pour une entrée hors précondition, on ne peut pas déduire une garantie qui n’a pas été annoncée ; le traitement de l’erreur peut être défini séparément si le cahier des charges le demande.

Un test associe une entrée à un résultat attendu déterminé indépendamment du programme testé. On exécute la fonction puis on compare ce qui est obtenu à cette attente. Les cas ordinaires montrent un comportement courant ; les cas limites visent les frontières : zéro, une seule valeur, seuil exact, répétition ou dernière case. Si une précondition exclut une entrée, il faut le préciser au lieu de présenter son échec comme une contradiction de la spécification.

Pour une fonction de valeur absolue sur les entiers, tester seulement des nombres positifs ne vérifie jamais la branche négative. On choisit au moins un négatif, zéro et un positif. Une erreur peut pourtant subsister ailleurs : tester −2, 0 et 3 ne couvre pas tous les entiers. Un test qui échoue réfute la correction annoncée pour cette entrée ; un test qui réussit confirme seulement ce cas. Une preuve utilise un raisonnement sur toutes les entrées visées par la spécification.

Une assertion exprime une condition que l’on attend vraie à un point du programme. assert double(7) == 14 échoue si le résultat diffère de 14. Une assertion peut aussi exprimer une précondition pendant la mise au point. Elle ne remplace ni une spécification ni les contrôles adaptés à une application réelle ; en Python, certaines options d’exécution peuvent désactiver les assertions. Pour tester des calculs flottants, il peut être nécessaire de comparer un écart à une tolérance plutôt que d’exiger une égalité exacte.

Lorsqu’un test échoue, on réduit le cas à une entrée courte et on écrit une trace des variables après chaque instruction. Il faut distinguer l’erreur de syntaxe, qui empêche de comprendre le programme, l’erreur d’exécution, qui interrompt un traitement, et l’erreur logique, qui produit un résultat sans respecter la demande. Modifier plusieurs lignes au hasard ne permet pas d’identifier la cause. Un cas minimal qui échoue aide à relier l’écart à une instruction précise.

Après une correction, on rejoue le cas qui échouait et les autres cas pertinents pour rechercher une régression. Il est utile de garder le test révélateur avec son résultat attendu. Un test ne doit pas calculer son attente en recopiant exactement le même algorithme fautif : il pourrait reproduire la même erreur. Une petite somme calculée à la main ou une propriété simple fournit une référence plus indépendante.

Une bibliothèque rassemble des fonctions réutilisables. Avant un appel, on lit la documentation : nom, paramètres, types acceptés, résultat et erreurs possibles. Avec un module, on peut distinguer le nom du module et celui de la fonction appelée. La disponibilité d’une fonction ne dispense pas de comprendre son contrat. Pour un tri, il faut notamment savoir si l’outil renvoie une nouvelle séquence ou modifie celle fournie. Cette lecture évite d’attribuer à une bibliothèque le comportement seulement supposé par son nom.

Des langages différents proposent souvent les mêmes idées de base avec des syntaxes différentes. La condition if de Python et celle de JavaScript organisent toutes deux un choix ; les accolades ou l’indentation ne jouent pas le même rôle dans leur écriture. Pour comparer deux programmes, identifie d’abord l’état, les conditions, les répétitions et les résultats. La ressemblance de mots ne garantit pas l’égalité de tous les comportements, notamment pour les conversions et les types.

La rubrique S’entraîner est disponible à l’adresse /exercices. Choisis une fonction courte, écris son contrat puis cherche volontairement un cas qui pourrait la mettre en défaut.