Exercices corrigés — Discipline de programmation, validation et test (informatique (MP2I/MPI))
15 exercices avec corrigé rédigé, du plus simple au plus exigeant.
- Une spécification qui ment
- Paraphrase, ou intention
- Assertion, ou traitement d'erreur
- Les conversions silencieuses de C, et quand elles ne le sont pas
- Une comparaison qui rend faux
- Une assertion qui change le programme
- Le jeu de tests d'une division euclidienne
- Toutes les façons de satisfaire une condition
- Cent pour cent des instructions, quatre-vingt-trois pour cent des arcs
- Les chemins qui n'existent pas
- Probleme – Valider une dichotomie de bout en bout
- Probleme – La postcondition qu'on oublie : trier, c'est aussi permuter
- Probleme – Le triangle : partitionner, puis éprouver les limites
- Probleme – Trois niveaux de défense, et ce que chacun coûte
- Probleme – Couvrir une boucle : zéro, un, et au moins deux tours