Personnellement, j'utilise JUnit (et un peu JTest) pour mon projet. Et on utilise les pré/post conditions, les invariants, ...
Elles se mettent dans le javadoc :
@pre
@post
@inv
Pour le assert, il est plus puissant qu'il n'en a l'air. Ce n'est pas juste un remplacant à un if() throw ...
Y'a un bon résumé sur www.javaworld.com sur ce sujet.
L'intéret d'utiliser ca ? Et bien ma partie est une partie crucialle : environ une 50e de développeur vont utiliser ma couche, et mon projet sera repris par quelqu'un d'autre. Donc, mon code ne doit pas avoir de bug (on peut rêver :) ), et on doit éviter au max les régressions (une correction de bug qui entraine 20 autres bugs).
Par contre, c'est vrai que c'est balise de pre/post/inv ne font pas partie de la norme Java. On peut dire que le assert est un premier pas, et que le nombre de personnes intéressé par du code à ce point robuste est assez limité.
[^] # Invariant
Posté par Etienne Juliot (site web personnel) . En réponse à la dépêche Documentation française sur MDA. Évalué à 5.
Elles se mettent dans le javadoc :
@pre
@post
@inv
Pour le assert, il est plus puissant qu'il n'en a l'air. Ce n'est pas juste un remplacant à un if() throw ...
Y'a un bon résumé sur www.javaworld.com sur ce sujet.
L'intéret d'utiliser ca ? Et bien ma partie est une partie crucialle : environ une 50e de développeur vont utiliser ma couche, et mon projet sera repris par quelqu'un d'autre. Donc, mon code ne doit pas avoir de bug (on peut rêver :) ), et on doit éviter au max les régressions (une correction de bug qui entraine 20 autres bugs).
Par contre, c'est vrai que c'est balise de pre/post/inv ne font pas partie de la norme Java. On peut dire que le assert est un premier pas, et que le nombre de personnes intéressé par du code à ce point robuste est assez limité.