JML
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche à compléter concernant l'informatique, vous pouvez partager vos connaissances en le modifiant. |
Le Java Modeling Language (JML) est une langage de programmation comportementale de spécifications d'interface qui peut être employée pour indiquer le comportement des modules de Java. Il combine la conception par approche de contrat d'Eiffel et l'approche basée modèle de spécifications de la famille des langues de spécifications d'interface comme Larch, avec quelques éléments d'amélioration du calcul. La conception de projet de Contract avec JML (par Levains et Yoonsik Cheon de Gary T.) explique l'utilisation la plus fondamentale de JML comme conception par langue du contrat (DBC) pour Java.
Il existe différent outils de vérification pour JML, comme runtime assertion checker un verificateur d'assertion et Extended Static Checker (ESC/Java).
