Synthèse sur le JML
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) :
Vous serez peut-être intéressé :
2 commentaires à Synthèse sur le JML
Laisser un commentaire
Derniers commentaires
- Arkham sur Surfer anonymement sur le web pour contourner la censure politique Oui et non le contournement de la censure pour ...
- Prune06 sur FreeMobile : comment activer les données cellulaires sur un iPhone a xD Ok bas bienvenue dans le groupe
... - Louis sur FreeMobile : comment activer les données cellulaires sur un iPhone @Prune06: Pas d'accord avec toi. Ma femme a commandé ...
- Prune06 sur FreeMobile : comment activer les données cellulaires sur un iPhone Bon sa fait 3 semaines que j'att ma sim ...
- Fabien sur Rénovation des structures de chauffage urbain à Paris La réponse est toute simple : un réseau de ...
- 07 February 2012Surfer anonymement sur le web pour contourner la censure politique(3) Comments
- 06 February 2012SoundCloud : en quel langage est codé le service ?(2) Comments
- 05 February 2012Glype : un proxy en PHP(0) Comments
- 05 February 2012Google serait en train de tester une box de divertissement : Ã quand la Xbox de Google ?(0) Comments
- 05 February 2012AMD et ARM pourraient s'allier pour contrer la puissance d'Intel(0) Comments
- 04 February 2012Suppression des polices provenant de GoogleFonts sur mon blog(6) Comments
- 29 January 2012Pas de loi de Moore dans les cartes graphiques depuis plusieurs années(2) Comments
- 29 January 2012Rénovation des structures de chauffage urbain à Paris(6) Comments
- 28 January 2012Etat des lieux de ma dépendance à Google(9) Comments
- 28 January 2012Désactiver l'accélération de la souris sous Mac OS(4) Comments
Tu diras à Madame Dubois que je mets un 14 à votre rapport
)
[...] et moi avons eu à réaliser un vérificateur d’assertion à runtime. J’avais déjà parlé du JML en donnant les ressources montrant que le JML était un langage d’assertions à runtime, et [...]