Didactique de l'informatique et des STIC
30 janv.-1 févr. 2024 Louvain-la-Neuve (Belgique)
UMLChecker : un outil vérifiant la conformité entre une spécification et du code dans un enseignement de programmation orientée objet
Arnaud Lanoix Brauer  1, 2, *@  , Emmanuel Desmontils  1, 3, *@  
1 : Vérification pour l'Environnement et le LOgiciel
Laboratoire des Sciences du Numérique de Nantes
2 : Institut Universitaire de Technologie - Nantes
Nantes Université - pôle Sciences et technologie
3 : NANTES UNIVERSITÉ - Institut national supérieur du professorat et de l'éducation - Académie de Nantes
Nantes Université
* : Auteur correspondant

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.


Personnes connectées : 1 Vie privée
Chargement...