Dans cet article, nous présentons l'utilisation d'UMLChecker, un outil pour l'enseignement permettant de vérifier la conformité entre des spécifications UML et du code Kotlin. L'enseignement de la conception orientée objet et de la programmation sont traditionnellement séparés, mais il est important que les étudiants soient capables de produire le code correspondant à un diagramme de classes. UMLChecker automatise le processus de vérification qu'un étudiant a correctement traduit un diagramme UML en code Kotlin, permettant ainsi une auto-correction et des évaluations plus rapides. L'outil a été utilisé en première année d'un BUT d'informatique. Cet outil, basé sur les capacités d'introspection du langage cible et sur la disponibilité d'outil de tests, permet d'intégrer la conception et la programmation UML dans le processus d'apprentissage. Il favorise l'auto-évaluation et l'évaluation continue.