UMLChecker : un outil vérifiant la conformité entre une spécification et du code dans un enseignement de programmation orientée objet - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

UMLChecker : un outil vérifiant la conformité entre une spécification et du code dans un enseignement de programmation orientée objet

Résumé

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.
Fichier principal
Vignette du fichier
poster-ALB-EDv2.pdf (209.34 Ko) Télécharger le fichier
poster-ALB-EDv2 (1).pdf (209.34 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04482134 , version 2 (28-02-2024)
hal-04482134 , version 1 (28-02-2024)

Identifiants

  • HAL Id : hal-04482134 , version 1

Citer

Emmanuel Desmontils, Arnaud Lanoix. UMLChecker : un outil vérifiant la conformité entre une spécification et du code dans un enseignement de programmation orientée objet. 2024. ⟨hal-04482134v1⟩
140 Consultations
22 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More