Elle peut être évaluée pour produire une valeur.
Explication
Une expression est une construction dont l’évaluation produit une valeur. Une instruction demande plutôt au programme d’effectuer une action.
Elle demande à Python d’effectuer une action.
Explication
Une instruction demande à Python d’effectuer une action. Produire une valeur par évaluation caractérise une expression, et non le rôle général d’une instruction.
L’affectation est une instruction qui modifie l’environnement d’exécution.
Explication
En Python, une affectation telle que `x = 3` est une instruction qui modifie l’environnement d’exécution. Elle ne se définit pas comme une expression renvoyant la valeur de `x`.
La modification observable de l’environnement produite en plus de la valeur de retour éventuelle.
Explication
Un effet de bord est une modification observable de l’environnement, distincte de la valeur de retour éventuelle ; l’affichage en est un exemple. Le nombre renvoyé est la valeur de retour, pas l’effet de bord.
Les données qu’elle reçoit et celles qu’elle produit.
Explication
Le contrat précise les données d’entrée de la fonction et ses données de sortie. Il ne se réduit pas à la description de ses instructions internes.
Leur nombre, leur type et les contraintes qu’elles doivent respecter.
Explication
La spécification des entrées indique leur nombre, leur type et les contraintes applicables. La signification et les propriétés vérifiées concernent plutôt la description des sorties.
Leur type, leur signification et les propriétés qu’elles vérifient.
Explication
Pour les sorties, la spécification indique le type, la signification et les propriétés vérifiées par les résultats. Le nombre et les contraintes des données d’entrée décrivent plutôt ce qui est fourni à la fonction.
Une précondition, qui décrit ce qui doit être vrai avant l’exécution.
Explication
Une précondition décrit ce qui doit être vrai avant l’exécution d’un programme ou d’une fonction. Une postcondition porte sur ce qui doit être vrai après l’exécution.
Une postcondition, qui décrit ce qui doit être vrai après l’exécution.
Explication
Une postcondition décrit ce qui doit être vrai après l’exécution d’un programme ou d’une fonction. Une précondition précise plutôt les conditions qui doivent être réunies avant l’exécution.
La postcondition Q est vraie après l’exécution.
Explication
La correction signifie que si P est vraie avant l’exécution, Q est vraie après celle-ci. Elle n’exige pas que P devienne fausse, ni que P et Q soient vraies avant l’appel.
Une propriété qui reste vraie à chaque étape de la boucle
Explication
Un invariant est une propriété qui demeure vraie à chaque étape de l’exécution de la boucle. Une propriété vérifiée seulement à la fin ne suffit pas à caractériser un invariant.
Montrer qu’il est vrai au départ, conservé à chaque itération et suffisant pour établir la postcondition
Explication
La preuve exige d’établir l’invariant avant la première itération, sa conservation après chaque itération, puis son utilité pour démontrer la postcondition finale. Vérifier sa conservation sans établir sa vérité initiale ne prouve pas qu’il s’applique à la boucle.
Le comportement de la fonction est garanti lorsque les conditions de la précondition sont satisfaites
Explication
Une précondition précise les circonstances dans lesquelles le comportement de la fonction est garanti, sans imposer à elle seule un contrôle des entrées. La vérification automatique évoquée dans un distracteur doit être prévue séparément dans le programme.
En levant une erreur `ValueError` lorsque x vaut 0
Explication
Le programme peut contrôler cette précondition en levant `ValueError` si x vaut 0. Retourner 0 ne signale pas l’entrée invalide et ne correspond pas au mécanisme décrit.
L est une liste et la fonction retourne le nombre de ses éléments égaux à x
Explication
La précondition exige que L soit une liste, et la postcondition demande de retourner le nombre d’éléments de L égaux à x. Compter les éléments différents de x ne satisfait pas cette postcondition.
`compte([], 2)`, `compte([1,2,2,3], 2)`, `compte([1,2,3], 4)` et `compte([5,5,5], 5)`
Explication
Cet ensemble couvre une liste vide, une valeur répétée dans une liste, une valeur absente et une liste composée uniquement de répétitions de la valeur cherchée. Le cas où la valeur est absente d’une liste non vide ne remplace pas le test de la liste vide.
Elle doit être triée dans l’ordre croissant.
Explication
La recherche dichotomique présentée repose sur une liste ordonnée dans le sens croissant pour réduire l’intervalle de recherche. Un ordre décroissant ne satisfait pas cette condition telle qu’elle est formulée.
Un booléen indiquant si x appartient à L.
Explication
Le résultat de l’algorithme est un booléen qui indique si x est présent dans L. Un indice donnerait une information de localisation, mais ce n’est pas le résultat spécifié ici.
Mémorisez les réponses avec 46 flashcards sur Spécification des programmes Python.
Qu’est-ce qu’une expression en programmation ?
Une construction évaluable qui produit une valeur.
Que demande une instruction à Python ?
D’effectuer une action.
Quel effet l’affectation `x = 3` a-t-elle en Python ?
Elle modifie l’environnement d’exécution.
Consultez la fiche de révision complète sur Spécification des programmes Python.
Voir la fiche →Importe ton cours et l'IA génère des QCM avec corrections en 30 secondes.
Générateur de QCM