Salut � tous, J'aimerais lancer un d�bat sur l'utilit� de la programmation par contrat et son instrumentalisation en Java
En fait je suis en train de regarder icontract. Son int�gration avec Ant semble int�ressante mais il y deux points que j'aimerais �claircir : 1 - Est ce que quelqu'un conna�t des liens int�ressants qui expliquent la th�orie de la programmation par contrat. J'ai le bouquin de Bertrand Meyer mais je n'ai pas eu trop le temps de le parcourir. J'aurais aim� trouv� des tutoriaux plus succints si possible. Ma pr�ocuppation principale est la suivante : vu que l'on instrumentalise le code avec des pr� conditions style (argument != null), que se passe t'il sur du code non instrumentalis� si la pr� condition est viol�e, doit on en plus de la pr�condition refaire le test nous m�me ou faut il garder les pr�-conditions sur les classes sensibles et consid�rer pour les autres que la pr�-condition est toujours respect�e. Ce qui me g�ne l� dedans, c'est que le code non instrumentalis� me semble tr�s fragile. 2 - Pour une programmation par contrat en Java j'ai regard� iContract : est ce un bon choix, avez vous des retours d'exp�rience dessus ou sur un autre outil qui serait mieux. Je me rappelle d'avoir vu passer des messages sur la liste il n'y a pas trop longtemps sur un outil de ce type mais je ne me rappelle plus si c'�tait iContract ou autre chose et je n'arrive pas � remettre la main sur le message dans la pseudo-archive. Il faut dire que je n'ai pas trop cherch� car je me rappelle qu'� l'�poque les gens commencaient � l'utiliser et les retours d'exp�riences �taient faible. Je me dis que maintenant ils seront peut �tre plus nombreux. D'avance merci pour vos r�ponses Seb ______________________________________________________________________________ ifrance.com, l'email gratuit le plus complet de l'Internet ! vos emails depuis un navigateur, en POP3, sur Minitel, sur le WAP... http://www.ifrance.com/_reloc/email.emailif
