Exercices corrigés — La discipline de programmation (informatique (tronc commun des prépas scientifiques))

10 exercices avec corrigé rédigé, du plus simple au plus exigeant.

• Diagnostiquer trois erreurs
• Spécifier sans implémenter
• Un jeu de tests complet
• Le contrat ambigu
• Variant non trivial — l'algorithme d'Euclide
• Invariant du maximum
• Le test de propriété
• La boucle qui ne termine pas toujours
• Spécification, tests et preuve d'un algorithme
• Le flottant qui trahit le test

Lire le cours de ce chapitre