Chasseur de Bugs
Avant de passer aux exercices de spécification, s'entraîner à repérer les erreurs courantes de nommage, de typage et de logique qui rendent le code difficile à spécifier ou à maintenir.
1. Le contrat de confiance : l'Assertion
Une assertion est un moyen de vérifier qu'une condition est vraie à un moment donné du programme. C'est comme un "checkpoint" dans un jeu vidéo : si la condition est fausse, le programme s'arrête immédiatement avec une erreur.
graph TD
A[Début du programme] --> B{Assertion vraie ?}
B -- Oui --> C[Le programme continue]
B -- Non --> D[CRASH : AssertionError]
D --> E[Fin prématurée]
Exemple visuel : Imaginer une machine qui ne doit accepter que des nombres positifs.
x = -5
assert x > 0, "Alerte ! x doit être positif"
# Le programme plante ici, la suite n'est jamais exécutée.
print("Ouf, x est positif")
Choisir un exercice
Cliquer sur un exercice de la liste pour afficher son sujet.