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
- 28 April 2013HTC 8X : le test(7) Comments
- 27 April 2013Thailande 3 : Bangkok, la capitale !(0) Comments
- 27 April 2013Thailande 2 : Ayutthaya, ancienne capitale du Siam(0) Comments
- 27 April 2013Thailande 1 : La Rivière Kwai et les Cascades d'Erawan(4) Comments
- 27 April 2013Parsing de XML en Java : les élements DOM et la génération en String(2) Comments
- 26 April 2013Un journée pour voir quelques Châteaux de la Loire(1) Comments
- 26 April 2013Châteaux de la Loire : 1 - Le Château de Cheverny(0) Comments
- 26 April 2013Châteaux de la Loire : 2 - Le Château de Blois(1) Comments
- 26 April 2013Châteaux de la Loire : 3 - Le Château de Chambord(0) Comments
- 22 April 2013Chrome est capable d'enregistrer vos données bancaires(3) 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 [...]