Lycée   >   Premiere   >   NSI   >   Donner des postconditions

Donner des postconditions

  • Fiche de cours
  • Quiz
  • Profs en ligne
Objectif

Donner des postconditions.

Points clés
  • L’ajout d’une postcondition dans la documentation de la fonction permet de spécifier ce que doit retourner la fonction ou le programme.
  • On peut aussi ajouter une postcondition dans le corps de la fonction, pour repérer d’éventuelles erreurs.
Pour bien comprendre
  • Commenter une fonction ou un programme
  • Donner des préconditions
1. Ajouter une postcondition dans la documentation d’une fonction
Une postcondition correspond à la description de ce que doit renvoyer la fonction.
La postcondition doit être placée entre le commentaire et la précondition, à l’intérieur de la documentation.
Exemple avec la fonction euclid
Voici l’explication ligne à ligne de ce programme.
def euclid(a,b): On définit la fonction.
   """calcul du pgcd par l’algorithme d’Euclide Ce commentaire explique le rôle de la fonction.
   retourne un nombre entier : le pgcd Postcondition.
   a et b entiers positifs avec a non nul""" Précondition.
   assert a>0 "a doit être strictement positif" Test de la précondition « a non nul »
   while b!=0 Boucle tant que.
      if a>b Structure conditionnelle Si.
         a=a-b
      else: Structure conditionnelle Sinon.
         b=b-a
   return a La fonction retourne la valeur de a.
2. Ajouter une postcondition dans le corps d’une fonction

On peut également rajouter dans le corps de la fonction, c’est-à-dire à l’intérieur de celle-ci, une postcondition pour vérifier que le retour de la fonction est du bon type.

Ce test peut être effectué en utilisant le mot clé assert.

Exemple avec la fonction distance
La ligne 6 permet de vérifier que le retour de la fonction est un nombre positif (postcondition donnée en ligne 3). Si d est négatif, un message d’erreur apparait.

Comment as-tu trouvé ce cours ?

Évalue ce cours !

 

Note 5 / 5. Nombre de vote(s) : 2
Question 1/5

La médiane de 6 notes est 13. Cela signifie que :
Question 2/5

On a obtenu la série statistique suivante :

Combien vaut la médiane ?
Question 3/5

On a obtenu la série ci-dessous :

Quelle est la médiane de cette série ?
Question 4/5

On a relevé les tailles en cm des élèves d’une classe :

 

Parmi les propositions suivantes, laquelle est vraie ?
Question 5/5

Les notes en français de deux classes littéraires sont données dans le tableau suivant :

Quelle est la note médiane ?

Vous avez obtenu75%de bonnes réponses !

Recevez l'intégralité des bonnes réponses ainsi que les rappels de cours associés :

Votre adresse e-mail sera exclusivement utilisée pour vous envoyer notre newsletter. Vous pourrez vous désinscrire à tout moment, à travers le lien de désinscription présent dans chaque newsletter. Pour en savoir plus sur la gestion de vos données personnelles et pour exercer vos droits, vous pouvez consulter notre charte.

Une erreur s'est produite, veuillez ré-essayer

Consultez votre boite email, vous y trouverez vos résultats de quiz!

Découvrez le soutien scolaire en ligne avec myMaxicours

Le service propose une plateforme de contenus interactifs, ludiques et variés pour les élèves du CP à la Terminale. Nous proposons des univers adaptés aux tranches d'âge afin de favoriser la concentration, encourager et motiver quel que soit le niveau. Nous souhaitons que chacun se sente bien pour apprendre et progresser en toute sérénité ! 

EXERCE TOI EN T'ABONNANT

Fiches de cours les plus recherchées

NSI

Tester un programme

NSI

Prototyper une fonction

NSI

S'informer sur une bibliothèque Python

NSI

Utiliser la bibliothèque Matplotlib de Python pour créer un graphique

NSI

Algorithmes de recherche : parcourir un tableau

NSI

Algorithmes de recherche : rechercher un extremum

NSI

Algorithmes de recherche : obtenir une moyenne, une médiane

NSI

Trier par insertion

NSI

Trier par sélection

NSI

Utiliser les invariants pour corriger un algorithme