Attention, ce billet est plutôt technique. Il est en fait un rapport que mon camarade Pierre et moi avons eu à rédiger dans un de nos cours. Si vous vous intéressez au Java, et que vous êtes également intéressé aux différents outils de tests unitaires (JUnit & Cie), je vous en recommande la lecture. Le JML permet une spécification du code bien plus poussée que ce que ferait automatiquement JUnit en lisant vos classes & méthodes ; il peut ainsi vous permettre de vérifier bien plus efficacement votre code.

Le JML ne sert donc pas à grand-chose dans le cadre de petits programmes, ou bien sur les programmes non-critiques ; mais sur les programmes Java un peu plus volumineux, il peut au final être un énorme gain de temps de prendre le temps de spécifier les classes/méthodes.

Voilà le document (ici en PDF) :