Vi, les assertions, ca s'appelle "design by contract" et c'est Eiffel qui l'a invente. Ca existe peut etre en Ada sous forme de librairie, je ne sais pas.
Il y a une grosse theorie qui tourne autour de ca en Eiffel et qui permettrait de "prouver" qu'un programme fait ce pour quoi il a ete specifie en analysant toutes les dataflow a partir de tous les contrats, ou eventuellement de montrer du doigt les parties de code qui ne rentrent pas dans le contrat.
Parait que certains ateliers logiciels font ca tres bien, le probleme etant que le programmeur doit parfois tenir la main a l'analyseur pour qu'il ne se fourvoie pas trop.
Enfin en tout cas, le principe est tres seduisant.
[^] # Re: Les spécifications du langage D sont arrivées
Posté par Epsos . En réponse à la dépêche Les spécifications du langage D sont arrivées. Évalué à 2.
Il y a une grosse theorie qui tourne autour de ca en Eiffel et qui permettrait de "prouver" qu'un programme fait ce pour quoi il a ete specifie en analysant toutes les dataflow a partir de tous les contrats, ou eventuellement de montrer du doigt les parties de code qui ne rentrent pas dans le contrat.
Parait que certains ateliers logiciels font ca tres bien, le probleme etant que le programmeur doit parfois tenir la main a l'analyseur pour qu'il ne se fourvoie pas trop.
Enfin en tout cas, le principe est tres seduisant.