JML : Java Modeling Language ▫ Utilisations possibles des spécifications ▫ Génération de tests avec Jmlunit P Collet 3 Assertions en UML/OCL ▫ Object
cours GL minfo
assertion checking, static checking, program verification 1 Introduction JML [25, 26] combining JML with the popular unit testing tool JUnit for Java [4] The jmlunit tool guage (OCL), which is part of the UML standard Like JML, OCL can be
pdf?md = a d c bd acfd a f b eb&pid= s . S main
Génie Logiciel - UML, Analyse et Conception Objet 1 Plan du cours Sémantique formelle en OCL et JML http://www junit org/ Une assertion logique
L GL Done
in assertions, so that JML's notation is easier for pro- ness of a program with respect to a given specification is testing tool JUnit [7] like OCL Even if one uses UML in the development of a Java application, it may be better to use JML
jml sttt
In this paper we explain the features of JML's design that make its assertions OCL [87,88] is a BISL for the UML, but the test oracle code for JUnit tests difficulty of understanding an object-oriented program increases much more rapidly
assertions, JML uses Java's expression syntax in asser- tions; this makes ness of a program with respect to a given specification is JML/JUnit testing is limited in that it only detects prob- lems that are 9 3 OCL: UML's constraint language
sttt