Je confirme: les pre- et post-conditions et les invariants en eiffel servent à détecter très rapidement où est apparu un problème (plutôt que planter largement plus loin).
Ils ne permettent pas de prouver a priori que le code n'a pas de bogue . Par contre ils augmentent largement l'efficacité des tests.
[^] # Re: Pas si simple...
Posté par Snark_Boojum . En réponse au journal couverture de code. Évalué à 1.
Ils ne permettent pas de prouver a priori que le code n'a pas de bogue . Par contre ils augmentent largement l'efficacité des tests.
Snark