NSI · Première · Génie logiciel
Vérifications
« Ça a l’air de marcher » ne suffit pas.
En bref
Un programme qui « a l'air de marcher » n'est pas un programme vérifié.
Un programme qui « a l'air de marcher » n'est pas un programme vérifié. Trois familles de moyens permettent d'acquérir de la confiance.
Les jeux de tests
Un test confronte une entrée à la sortie attendue. Un bon jeu couvre :
| Le type de cas | Des exemples |
|---|---|
| Courants | Une liste ordinaire, une valeur typique |
| Limites | Liste vide, un seul élément, valeur minimale ou maximale, zéro, nombre négatif |
| Interdits | Vérifier que la fonction refuse proprement |
Ce sont les cas limites qui trouvent les bugs. Le cas courant, on l'a en tête en écrivant le code : c'est justement pour cela qu'il fonctionne.
| Le test | Ce qu'il vérifie |
|---|---|
| Unitaire | Une seule fonction |
| D'intégration | Que les fonctions travaillent bien ensemble |
Les tests s'écrivent une fois et se rejouent à chaque modification : c'est ce qui détecte une régression, un bug réintroduit dans du code qui marchait.
Ce que les tests ne peuvent pas faire
Ils montrent la présence de bugs, jamais leur absence. Une fonction qui passe cent tests peut échouer au cent-unième.
Pour garantir, il faut prouver : montrer qu'un invariant de boucle est vrai à chaque tour, et qu'un variant décroît strictement, donc que la boucle termine.
Le débogage
| L'étape | Ce qu'on fait |
|---|---|
| 1. Reproduire | Fiablement, avec l'entrée la plus petite possible |
| 2. Localiser | Afficher des valeurs intermédiaires, ou avancer pas à pas dans un débogueur |
| 3. Comprendre | La cause avant de corriger |
| 4. Ajouter un test | Celui qui échouait avant la correction |
Une correction faite au hasard déplace le bug plus qu'elle ne le supprime.
Les bonnes pratiques
- Nommer clairement, indenter, documenter par une docstring.
- Commenter le pourquoi, jamais le quoi — le code dit déjà le quoi.
- Employer un système de gestion de versions : il conserve l'historique, permet de revenir en arrière et de travailler à plusieurs sans s'écraser.
Teste-toi
6 questions pour vérifier
Touche une réponse : la correction s’affiche tout de suite.
1.Que montre un jeu de tests réussi ?
2.Quels cas de test trouvent le plus de bugs ?
3.Qu’est-ce qu’une régression ?
4.Qu’est-ce qu’un variant de boucle ?
5.Quelle est la première étape du débogage ?
6.Que faut-il faire après avoir corrigé un bug ?
0 / 6 questions
Dans l’app, ce chapitre a son quiz complet, chronométré, et tes erreurs reviennent au bon moment pour ne plus les refaire.
La fiche de révision, sur une page
Tout « Vérifications » sur une seule page A4 illustrée : l’essentiel, les pièges et un mini-test. Elle se débloque dans l’app avec des gemmes — et ton compte gratuit en offre assez pour tes trois premières fiches.
