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