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
Poster De Conférence 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é

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.
Fichier principal
Vignette du fichier
503007.pdf (258.11 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

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

Identifiants

  • HAL Id : hal-04482134 , version 2

Citer

Arnaud Lanoix Brauer, Emmanuel Desmontils. UMLChecker : un outil vérifiant la conformité entre une spécification et du code dans un enseignement de programmation orientée objet. Mens, Kim; Goletti, Olivier. Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.152-154, 2024. ⟨hal-04482134v2⟩

Collections

TICE DIDAPRO10
114 Consultations
12 Téléchargements

Partager

Gmail Facebook X LinkedIn More