Programme officiel

Contenus Capacités attendues
Modèle d’architecture séquentielle (von Neumann) Distinguer les rôles et les caractéristiques des différents constituants d’une machine. Dérouler l’exécution d’une séquence d’instructions simples du type langage machine.

Définition

De manière générale la spécification est un ensemble de d’exigences à satisfaire par un produit ou un service. En programmation, spécifier un programme revient à décrire explicitement ce qu’il doit faire et dans quelles conditions.

Spécification attendues dans une fonction : la documentation

La documentation (docstring) d’une fonction est une chaine de charactère sur plusieurs lignes.

    On y précise :
  • • Ce que fait la fonction de manière succincte
  • • Les paramètres d’entrées et leur type : @param n: (int) l'indice...
  • • La sortie et son type. Pas de sortie ? @return: (None)
  • • Les conditions d’utilisation et effets de bord : @CU : La table
  • • Eventuellement des tests
Pour accéder à la documentation on utilise la fonction help: help(nom_fonction)

Spécification attendues dans une fonction : Variables explicites

On sépare les mots avec des soulignés (underscore touche 8): ma_fonction Les noms de fonctions doivent décrire ce qu’elles font. • Les noms de variables doivent décrire les objets vers lesquels elles pointent

Spécification attendues dans une fonction : Au niveau du programme

Vous devez être capable : - de dire si un code correspond à sa spécification - d’écrire le code de spécification d’une fonction - d’écrire le code d’une fonction à partir de spécification.

assertions

L’instruction assert de Python est une aide au débogage qui teste une condition.
Si la condition est vraie, cela ne fait rien et votre programme continue simplement à s’exécuter.
Mais si la condition d’assertion est fausse, elle lève une exception AssertionError avec un message d’erreur facultatif.

L’utilisation appropriée des assertions est d’informer les développeurs d’erreurs irrécupérables dans un programme.  Elles ne sont pas destinés à signaler les conditions d’erreur attendues tel qu’un « fichier introuvable », où un utilisateur peut prendre des mesures correctives pour palier au problème puis simplement réessayer d’appeler le programme.

assert_stmt ::= "assert" expression1 ["," expression2]


def appliquer_reduction(prix, reduction):
    prix_reduit = prix - ( prix * reduction ) 
    assert 0 <= prix_reduit <= prix
    return prix_reduit 

              

Ici assert garantira que, quoi qu’il en soit, les prix réduits ne peuvent pas être inférieurs à 0 et ils ne peuvent pas être supérieurs au prix d’origine du produit.
python traduit notre assert ainsi

Exercices

Annexes

Liens

Lien vers le notebook

    Sur Capytale

Pièces jointes