Synthèse sur le JML

[ 2 ] Commentaires
Share

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.

JML_screenshot

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) :

Vous serez peut-être intéressé :

2 commentaires sur ce billet

  1. dcddtc dit :

    Tu diras à Madame Dubois que je mets un 14 à votre rapport ;-))

    RépondreRépondre

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *