Assertions pour valider les conditions en Terminale
Assertions pour valider les conditions, c'est une notion de nsi du chapitre « Programmation orientée objet et mise au point de programmes », au programme de Terminale. Voici le cours, un exemple et de quoi t'entraîner.
Assertions pour valider les conditions : le cours
Une assertion est une vérification qui s'arrête le programme si une condition est fausse. Elle sert à détecter les erreurs logiques pendant le développement.
Exemple
Vérifier qu'un âge n'est pas négatif : assert age >= 0, 'L'âge ne peut pas être négatif'.
À retenir
Les assertions aident à trouver les bugs en testant les hypothèses du code.
S'entraîner sur assertions pour valider les conditions
Fais l'exercice, puis demande au tuteur de te corriger pas à pas.
Exercice 1
Concevez un système de gestion de bibliothèque avec les classes `Document`, `Livre` et `Magazine`. Chaque document a un titre, un auteur et une date de publication. Les livres ont un nombre de pages et les magazines ont un numéro d'édition. Implémentez l'encapsulation avec des propriétés (getters/setters) pour valider les données. Utilisez des assertions pour vérifier les invariants (nombre de pages > 0, année de publication valide). Écrivez un test de débogage pour identifier les erreurs dans une implémentation volontairement défectueuse.
Corrige cet exercice avec le tuteur →Exercice 2
Créez une classe `Voiture` avec les attributs `marque`, `modele` et `vitesse_max`. Implémentez une méthode `accelerer()` qui augmente la vitesse actuelle de 10 km/h, et une méthode `afficher_info()` qui affiche les informations de la voiture. Instanciez deux objets et testez les méthodes.
Corrige cet exercice avec le tuteur →Cette notion fait partie du chapitre Programmation orientée objet et mise au point de programmes (NSI Terminale).