Introduction à la programmation 0.5em1em Cours 4

Qu’est-ce qu’un programme qui calcule bien ?
1/28

Un problème
Énoncé
Soit un ensemble de pots de poids inconnus et une balance. Comment
retourner les kpots les plus lourds grâce à la balance ?
2/28

Spécification de ce problème
Précondition
Entrée : Soient un tableau d’entiers tet un entier k.
Précondition : kest plus petit que la longueur de t.
Postcondition
Sortie : un tableau d’entiers t0.
Postcondition : t0contient les kéléments de tles plus grands.
3/28

Spécification
Précondition
Une précondition est une propriété attendue sur les entrées du programme. Si
la précondition n’est pas vérifiée alors le comportement du programme n’est
pas spécifié.
Postcondition
Une postcondition est une propriété promise sur les sorties du programme. Si
la postcondition n’est pas vérifiée alors cela signifie que le programme contient
une erreur.
4/28

Détecter une erreur
Comment détecter si un programme contient une erreur ?
5/28