UMLChecker : un outil vérifiant la conformité entre une spécification et du code dans un enseignement de programmation orientée objet
Fiche du document
2024
- handle: 10670/1.pwj6td
- hal: hal-04482134
info:eu-repo/semantics/OpenAccess
Sujets proches
outillage objets petit objetCiter ce document
Arnaud Lanoix Brauer et al., « UMLChecker : un outil vérifiant la conformité entre une spécification et du code dans un enseignement de programmation orientée objet », HALSHS : archive ouverte en Sciences de l’Homme et de la Société, ID : 10670/1.pwj6td
Métriques
Partage / Export
Résumé
Nous présentons UMLChecker, un outil permettant de vérifier la conformité entre des spécifications UML et du code objet. Il est important que les étudiants en informatique soient capables de produire le code correspondant à un diagramme de classes. L'outil automatise le processus de vérification de la correction d'un programme dans un langage à objets selon un diagramme UML. Il a été utilisé en première année de BUT d'informatique. Basé sur les capacités d'introspection du langage cible et sur la disponibilité d'outil de tests, il permet d'intégrer la conception et la programmation UML dans le processus d'apprentissage. Il favorise l'auto-évaluation et l'évaluation continue des étudiants.